The Foundations of Computability Theory

Note moyenne 0
( 0 avis fournis par Goodreads )
 
9783662448076: The Foundations of Computability Theory

This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical context, emphasizing the motivation for ideas as well as their logical and formal development. In Part I the author introduces computability theory, with chapters on the foundational crisis of mathematics in the early twentieth century, and formalism; in Part II he explains classical computability theory, with chapters on the quest for formalization, the Turing Machine, and early successes such as defining incomputable problems, c.e. (computably enumerable) sets, and developing methods for proving incomputability; in Part III he explains relative computability, with chapters on computation with external help, degrees of unsolvability, the Turing hierarchy of unsolvability, the class of degrees of unsolvability, c.e. degrees and the priority method, and the arithmetical hierarchy.

This is a gentle introduction from the origins of computability theory up to current research, and it will be of value as a textbook and guide for advanced undergraduate and graduate students and researchers in the domains of computability theory and theoretical computer science.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

About the Author :

Prof. Borut Robič received his Ph.D. in Computer Science from the University of Ljubljana in 1993. He is a member of the Faculty of Computer and Information Science of the University of Ljubljana where he leads the Laboratory for Algorithms and Data Structures. He has had guest professorships, fellowships and collaborations with the University of Cambridge, the University of Augsburg, the University of Grenoble, and the Jožef Stefan Institute in Ljubljana. His research interests and teaching experience address algorithms; computability and computational complexity theory; parallel, distributed and grid computing; operating systems; and processor architectures. Prof. Robič coauthored the book "Processor Architecture: From Dataflow to Superscalar and Beyond" (Springer 1999).

Review :

“For the prepared, this is a wonderful blending of history and philosophy, foundations and computation, math and the mystery of the incomplete, undecidable, unknowable, incomputable. ... a willing reader will be happy.” (Benjamin Wells, ACM Computing Reviews, April, 2016)

“The main purpose of this book is to provide the reader with a clear and deep understanding of the foundations of computability theory. This goal is fully achieved, because the book is well-written and its reading is very pleasant. ... It is a good textbook for undergraduate or beginning graduate students in computer science or mathematics, and I suggest to use it.” (Patrizio Cintioli, zbMATH 1339.03001, 2016)

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Acheter neuf Afficher le livre
EUR 51,86

Autre devise

Frais de port : EUR 6,72
De Royaume-Uni vers Etats-Unis

Destinations, frais et délais

Ajouter au panier

Meilleurs résultats de recherche sur AbeBooks

1.

Robic, Borut (Author)
Edité par Springer (2015)
ISBN 10 : 3662448076 ISBN 13 : 9783662448076
Neuf(s) Couverture rigide Quantité : 1
Vendeur
Revaluation Books
(Exeter, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Springer, 2015. Hardcover. État : Brand New. 320 pages. 9.50x6.50x1.00 inches. In Stock. N° de réf. du libraire __3662448076

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 51,86
Autre devise

Ajouter au panier

Frais de port : EUR 6,72
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

2.

Robič, Borut
Edité par Springer (2016)
ISBN 10 : 3662448076 ISBN 13 : 9783662448076
Neuf(s) Paperback Quantité : 1
impression à la demande
Vendeur
Ria Christie Collections
(Uxbridge, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Springer, 2016. Paperback. État : New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. N° de réf. du libraire ria9783662448076_lsuk

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 56,23
Autre devise

Ajouter au panier

Frais de port : EUR 4,33
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

3.

BORUT ROBIč
Edité par Springer (2015)
ISBN 10 : 3662448076 ISBN 13 : 9783662448076
Neuf(s) Couverture rigide Quantité : 10
Vendeur
Herb Tandree Philosophy Books
(Stroud, GLOS, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Springer, 2015. Hardback. État : NEW. 9783662448076 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. N° de réf. du libraire HTANDREE0951829

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 51,88
Autre devise

Ajouter au panier

Frais de port : EUR 8,95
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

4.

Borut Robic
Edité par Springer Berlin Heidelberg, Berlin, Heidelberg
ISBN 10 : 3662448076 ISBN 13 : 9783662448076
Neuf(s) Couverture rigide Quantité : 10
Vendeur
Blackwell's
(Oxford, OX, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Springer Berlin Heidelberg, Berlin, Heidelberg. hardback. État : New. N° de réf. du libraire 9783662448076

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 58,07
Autre devise

Ajouter au panier

Frais de port : EUR 3,36
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

5.

Borut Robic
Edité par Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2015)
ISBN 10 : 3662448076 ISBN 13 : 9783662448076
Neuf(s) Quantité : > 20
impression à la demande
Vendeur
Pbshop
(Wood Dale, IL, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2015. HRD. État : New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du libraire IP-9783662448076

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 62,51
Autre devise

Ajouter au panier

Frais de port : EUR 3,43
Vers Etats-Unis
Destinations, frais et délais

6.

Borut Robi?
Edité par Springer (2015)
ISBN 10 : 3662448076 ISBN 13 : 9783662448076
Neuf(s) Couverture rigide Edition originale Quantité : 1
Vendeur
European-Media-Service Mannheim
(Mannheim, Allemagne)
Evaluation vendeur
[?]

Description du livre Springer, 2015. État : New. N° de réf. du libraire L9783662448076

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 64,19
Autre devise

Ajouter au panier

Frais de port : EUR 3,99
De Allemagne vers Etats-Unis
Destinations, frais et délais

7.

Borut Robic
Edité par Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2015)
ISBN 10 : 3662448076 ISBN 13 : 9783662448076
Neuf(s) Quantité : > 20
impression à la demande
Vendeur
Books2Anywhere
(Fairford, GLOS, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2015. HRD. État : New. New Book. Delivered from our US warehouse in 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND.Established seller since 2000. N° de réf. du libraire IP-9783662448076

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 64,12
Autre devise

Ajouter au panier

Frais de port : EUR 10,07
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

8.

Borut Robic
Edité par Springer-Verlag Gmbh Sep 2015 (2015)
ISBN 10 : 3662448076 ISBN 13 : 9783662448076
Neuf(s) Quantité : 1
Vendeur
Evaluation vendeur
[?]

Description du livre Springer-Verlag Gmbh Sep 2015, 2015. Buch. État : Neu. Neuware - This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical context, emphasizing the motivation for ideas as well as their logical and formal development. In Part I the author introduces computability theory, with chapters on the foundational crisis of mathematics in the early twentieth century, and formalism; in Part II he explains classical computability theory, with chapters on the quest for formalization, the Turing Machine, and early successes such as defining incomputable problems, c.e. (computably enumerable) sets, and developing methods for proving incomputability; in Part III he explains relative computability, with chapters on computation with external help, degrees of unsolvability, the Turing hierarchy of unsolvability, the class of degrees of unsolvability, c.e. degrees and the priority method, and the arithmetical hierarchy. This is a gentle introduction from the origins of computability theory up to current research, and it will be of value as a textbook and guide for advanced undergraduate and graduate students and researchers in the domains of computability theory and theoretical computer science. 331 pp. Englisch. N° de réf. du libraire 9783662448076

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 64,19
Autre devise

Ajouter au panier

Frais de port : EUR 12
De Allemagne vers Etats-Unis
Destinations, frais et délais

9.

Borut Robic
Edité par Springer-Verlag Gmbh Sep 2015 (2015)
ISBN 10 : 3662448076 ISBN 13 : 9783662448076
Neuf(s) Quantité : 1
Vendeur
Rheinberg-Buch
(Bergisch Gladbach, Allemagne)
Evaluation vendeur
[?]

Description du livre Springer-Verlag Gmbh Sep 2015, 2015. Buch. État : Neu. Neuware - This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical context, emphasizing the motivation for ideas as well as their logical and formal development. In Part I the author introduces computability theory, with chapters on the foundational crisis of mathematics in the early twentieth century, and formalism; in Part II he explains classical computability theory, with chapters on the quest for formalization, the Turing Machine, and early successes such as defining incomputable problems, c.e. (computably enumerable) sets, and developing methods for proving incomputability; in Part III he explains relative computability, with chapters on computation with external help, degrees of unsolvability, the Turing hierarchy of unsolvability, the class of degrees of unsolvability, c.e. degrees and the priority method, and the arithmetical hierarchy. This is a gentle introduction from the origins of computability theory up to current research, and it will be of value as a textbook and guide for advanced undergraduate and graduate students and researchers in the domains of computability theory and theoretical computer science. 331 pp. Englisch. N° de réf. du libraire 9783662448076

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 64,19
Autre devise

Ajouter au panier

Frais de port : EUR 17,14
De Allemagne vers Etats-Unis
Destinations, frais et délais

10.

Borut Robic
Edité par Springer-Verlag Gmbh Sep 2015 (2015)
ISBN 10 : 3662448076 ISBN 13 : 9783662448076
Neuf(s) Quantité : 1
Vendeur
Agrios-Buch
(Bergisch Gladbach, Allemagne)
Evaluation vendeur
[?]

Description du livre Springer-Verlag Gmbh Sep 2015, 2015. Buch. État : Neu. Neuware - This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical context, emphasizing the motivation for ideas as well as their logical and formal development. In Part I the author introduces computability theory, with chapters on the foundational crisis of mathematics in the early twentieth century, and formalism; in Part II he explains classical computability theory, with chapters on the quest for formalization, the Turing Machine, and early successes such as defining incomputable problems, c.e. (computably enumerable) sets, and developing methods for proving incomputability; in Part III he explains relative computability, with chapters on computation with external help, degrees of unsolvability, the Turing hierarchy of unsolvability, the class of degrees of unsolvability, c.e. degrees and the priority method, and the arithmetical hierarchy. This is a gentle introduction from the origins of computability theory up to current research, and it will be of value as a textbook and guide for advanced undergraduate and graduate students and researchers in the domains of computability theory and theoretical computer science. 331 pp. Englisch. N° de réf. du libraire 9783662448076

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 64,19
Autre devise

Ajouter au panier

Frais de port : EUR 17,14
De Allemagne vers Etats-Unis
Destinations, frais et délais

autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre