34,70 €*
Versandkostenfrei per Post / DHL
Lieferzeit 4-7 Werktage
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.
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.
Covers elementary topics - proofs, models, recursive functions, Church's theorem
Contains an introduction to more advanced topics - rewriting, lambada-calculus, sequent calculus, automated theorem proving
This book is written for students who have had no exposure to logic before
Includes supplementary material: [...]
| Erscheinungsjahr: | 2011 |
|---|---|
| Genre: | Informatik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Inhalt: |
xii
156 S. |
| ISBN-13: | 9780857291202 |
| ISBN-10: | 0857291203 |
| Sprache: | Englisch |
| Herstellernummer: | 12833764 |
| Einband: | Kartoniert / Broschiert |
| Autor: | Dowek, Gilles |
| Auflage: | 2011 edition |
| Hersteller: |
Springer London
Springer-Verlag London Ltd. |
| Maße: | 238 x 156 x 17 mm |
| Von/Mit: | Gilles Dowek |
| Erscheinungsdatum: | 14.01.2011 |
| Gewicht: | 0,252 kg |
Covers elementary topics - proofs, models, recursive functions, Church's theorem
Contains an introduction to more advanced topics - rewriting, lambada-calculus, sequent calculus, automated theorem proving
This book is written for students who have had no exposure to logic before
Includes supplementary material: [...]
| Erscheinungsjahr: | 2011 |
|---|---|
| Genre: | Informatik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Inhalt: |
xii
156 S. |
| ISBN-13: | 9780857291202 |
| ISBN-10: | 0857291203 |
| Sprache: | Englisch |
| Herstellernummer: | 12833764 |
| Einband: | Kartoniert / Broschiert |
| Autor: | Dowek, Gilles |
| Auflage: | 2011 edition |
| Hersteller: |
Springer London
Springer-Verlag London Ltd. |
| Maße: | 238 x 156 x 17 mm |
| Von/Mit: | Gilles Dowek |
| Erscheinungsdatum: | 14.01.2011 |
| Gewicht: | 0,252 kg |
Ähnliche Produkte
Aktuell nicht verfügbar
Lieferzeit 1-2 Werktage
Lieferzeit 2-4 Werktage
Lieferzeit 1-2 Werktage
Aktuell nicht verfügbar
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Wochen
Aktuell nicht verfügbar
Lieferzeit 1-2 Wochen