Artículos relacionados a Proofs and Algorithms: An Introduction to Logic and...
Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science) - Tapa blanda
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
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.
De la contraportada
Proofs and Algorithms: An Introduction to Logic and Computability
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: An 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."Sobre este título" puede pertenecer a otra edición de este libro.
EUR 20,39
EUR 3,47 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 38,34
EUR 5,21 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Proofs and Algorithms: An Introduction to Logic and...
Imagen de archivo
Proofs and Algorithms: An Introduction to Logic and Computability
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: 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 ref. del artículo: G0857291203I2N00
Cantidad disponible: 1 disponibles
Imagen de archivo
Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9780857291202_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Proofs and Algorithms: An Introduction to Logic and Computability
Publicado por
SPRINGER NATURE Jan 2011, 2011
ISBN 10: 0857291203
ISBN 13: 9780857291202
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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 ref. del artículo: 9780857291202
Cantidad disponible: 2 disponibles
Imagen de archivo
Proofs and Algorithms: An Introduction to Logic and Computability
Publicado por
Springer London Ltd, 2011
ISBN 10: 0857291203
ISBN 13: 9780857291202
Nuevo
Paperback / softback
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 275. Nº de ref. del artículo: C9780857291202
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9780857291202
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Proofs and Algorithms : An Introduction to Logic and Computability
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9780857291202
Cantidad disponible: 10 disponibles
Imagen del vendedor
Proofs and Algorithms : An Introduction to Logic and Computability
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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 ref. del artículo: 9780857291202
Cantidad disponible: 2 disponibles
Imagen del vendedor
Proofs and Algorithms: An Introduction to Logic and Computability (Paperback or Softback)
Publicado por
Springer 1/14/2011, 2011
ISBN 10: 0857291203
ISBN 13: 9780857291202
Nuevo
Paperback or Softback
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback or Softback. Condición: New. Proofs and Algorithms: An Introduction to Logic and Computability 0.54. Book. Nº de ref. del artículo: BBS-9780857291202
Cantidad disponible: 5 disponibles
Imagen del vendedor
Proofs and Algorithms : An Introduction to Logic and Computability
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 11485538-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Proofs and Algorithms
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 385688149
Cantidad disponible: Más de 20 disponibles