|
Books > Computing & IT > General theory of computing > Data structures
|
Buy Now
Measuring Power of Algorithms, Programs & Automata (Hardcover)
Loot Price: R2,386
Discovery Miles 23 860
|
|
|
Measuring Power of Algorithms, Programs & Automata (Hardcover)
Expected to ship within 10 - 15 working days
|
We are living in a world where complexity of systems created and
studied by people grows beyond all imaginable limits. Computers,
their software and their networks are among the most complicated
systems of our time. Science is the only efficient tool for dealing
with this overwhelming complexity. One of the methodologies
developed in science is the axiomatic approach. It proved to be
very powerful in mathematics. In this book, the authors developed
further an axiomatic approach in computer science initiated by
Floyd, Manna, Blum and other researchers. In the traditional
constructive setting, different classes of algorithms (programs,
processes or automata) are studied separately, with some indication
of relations between these classes. In such a way, the constructive
approach gave birth to the theory of Turing machines, theory of
partial recursive functions, theory of finite automata, and other
theories of constructive models of algorithms. The axiomatic
context allows one to research collections of classes of
algorithms, automata, and processes. These classes are united in a
collection by common properties in a form of axioms. As a result,
axiomatic approach goes higher in the hierarchy of computer and
network models, reducing in such a way complexity of their study.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.