Articles liés à Proofs and Algorithms: An Introduction to Logic and...
Synopsis
Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation.
Proofs and Algorithms: Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a proof, a computable function, a model and a set. It presents a series of results, both positive and negative, - Church's undecidability theorem, Gödel’s incompleteness theorem, the theorem asserting the semi-decidability of provability - that have profoundly changed our vision of reasoning, computation, and finally truth itself.
Designed for undergraduate students, this book presents all that philosophers, mathematicians and computer scientists should know about logic.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
Gilles Dowek is a Professor at École Polytechnique. He is also a Researcher at the Laboratoire d'Informatique de l'École Polytechnique and the Institut National de Recherche en Informatique et en Automatique (INRIA). His research concerns the formalization of mathematics and the mechanization of reasoning. His main contribution is a reformulation of the axiomatic method which provides a central role to the notion of computation.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 38,23
EUR 4,61 expédition depuis Royaume-Uni vers France
Destinations, frais et délais
Résultats de recherche pour Proofs and Algorithms: An Introduction to Logic and...
Image d'archives
Proofs and Algorithms: An Introduction to Logic and Computability
Edité par
Springer, 2011
ISBN 10 : 0857291203
ISBN 13 : 9780857291202
Ancien ou d'occasion
Paperback
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less 0.54. N° de réf. du vendeur G0857291203I2N00
Quantité disponible : 1 disponible(s)
Image d'archives
Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780857291202_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Proofs and Algorithms
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 385688149
Quantité disponible : Plus de 20 disponibles
Image d'archives
Proofs and Algorithms : An Introduction to Logic and Computability
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9780857291202
Quantité disponible : 10 disponible(s)
Image d'archives
Proofs and Algorithms: An Introduction to Logic and Computability
Edité par
Springer London Ltd, 2011
ISBN 10 : 0857291203
ISBN 13 : 9780857291202
Neuf
Paperback / softback
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 275. N° de réf. du vendeur C9780857291202
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Proofs and Algorithms: An Introduction to Logic and Computability
Edité par
SPRINGER NATURE Jan 2011, 2011
ISBN 10 : 0857291203
ISBN 13 : 9780857291202
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation.Proofs and Algorithms: Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a proof, a computable function, a model and a set. It presents a series of results, both positive and negative, - Church's undecidability theorem, Gödel's incompleteness theorem, the theorem asserting the semi-decidability of provability - that have profoundly changed our vision of reasoning, computation, and finally truth itself.Designed for undergraduate students, this book presents all that philosophers, mathematicians and computer scientists should know about logic. 156 pp. Englisch. N° de réf. du vendeur 9780857291202
Quantité disponible : 2 disponible(s)
Image d'archives
Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9780857291202
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Proofs and Algorithms : An Introduction to Logic and Computability
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation.Proofs and Algorithms: Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a proof, a computable function, a model and a set. It presents a series of results, both positive and negative, - Church's undecidability theorem, Gödel's incompleteness theorem, the theorem asserting the semi-decidability of provability - that have profoundly changed our vision of reasoning, computation, and finally truth itself.Designed for undergraduate students, this book presents all that philosophers, mathematicians and computer scientists should know about logic. N° de réf. du vendeur 9780857291202
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Proofs and Algorithms: An Introduction to Logic and Computability (Paperback or Softback)
Edité par
Springer 1/14/2011, 2011
ISBN 10 : 0857291203
ISBN 13 : 9780857291202
Neuf
Paperback or Softback
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback or Softback. Etat : New. Proofs and Algorithms: An Introduction to Logic and Computability 0.54. Book. N° de réf. du vendeur BBS-9780857291202
Quantité disponible : 5 disponible(s)
Image fournie par le vendeur
Proofs and Algorithms : An Introduction to Logic and Computability
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 11485538-n
Quantité disponible : Plus de 20 disponibles