Measuring Power of Algorithms, Computer Programs and Information Automata

4 avg rating
( 1 ratings by Goodreads )
 
9781606923818: Measuring Power of Algorithms, Computer Programs and Information Automata

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.

"synopsis" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Mark Burgin
Published by Nova Science Pub Inc (2010)
ISBN 10: 1606923811 ISBN 13: 9781606923818
New Hardcover Quantity Available: 1
Seller:
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Nova Science Pub Inc, 2010. Hardcover. Book Condition: New. book. Bookseller Inventory # M1606923811

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 25.64
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

2.

Mark Burgin
Published by Nova Science Pub Inc (2010)
ISBN 10: 1606923811 ISBN 13: 9781606923818
New Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Nova Science Pub Inc, 2010. Hardcover. Book Condition: New. Bookseller Inventory # DADAX1606923811

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 28.54
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

3.

Mark Burgin
Published by Nova Science Publishers Inc, United States (2010)
ISBN 10: 1606923811 ISBN 13: 9781606923818
New Hardcover Quantity Available: 1
Seller:
The Book Depository US
(London, United Kingdom)
Rating
[?]

Book Description Nova Science Publishers Inc, United States, 2010. Hardback. Book Condition: New. UK ed.. Language: English . Brand New Book. 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. Bookseller Inventory # AAG9781606923818

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 86.93
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Mark Burgin
Published by Nova Science Publishers Inc, United States (2010)
ISBN 10: 1606923811 ISBN 13: 9781606923818
New Hardcover Quantity Available: 1
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description Nova Science Publishers Inc, United States, 2010. Hardback. Book Condition: New. UK ed.. Language: English . Brand New Book. 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. Bookseller Inventory # AAG9781606923818

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 87.56
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

5.

Mark Burgin
Published by Nova Science Publishers Inc
ISBN 10: 1606923811 ISBN 13: 9781606923818
New Hardcover Quantity Available: 2
Seller:
THE SAINT BOOKSTORE
(Southport, United Kingdom)
Rating
[?]

Book Description Nova Science Publishers Inc. Hardcover. Book Condition: New. New copy - Usually dispatched within 2 working days. Bookseller Inventory # B9781606923818

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 88.94
Convert Currency

Add to Basket

Shipping: US$ 9.15
From United Kingdom to U.S.A.
Destination, Rates & Speeds