Zur Startseite gehen
0,00 €*
Cover: 9781108478755 | Mathematical Logic and Computation | Jeremy Avigad | Buch | Gebunden
Dekorationsartikel gehören nicht zum Leistungsumfang.
Mathematical Logic and Computation
Buch von Jeremy Avigad
Sprache: Englisch

87,70 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
A thorough introduction to the fundamental methods and results in mathematical logic, and its foundational role in computer science.
A thorough introduction to the fundamental methods and results in mathematical logic, and its foundational role in computer science.
Über den Autor
Jeremy Avigad is Professor in the Department of Philosophy and the Department of Mathematical Sciences at Carnegie Mellon University. His research interests include mathematical logic, formal verification, automated reasoning, and the philosophy and history of mathematics. He is the Director of the Charles C. Hoskinson Center for Formal Mathematics at Carnegie Mellon University.
Inhaltsverzeichnis
Preface; 1. Fundamentals; 2. Propositional Logic; 3. Semantics of Propositional Logic; 4. First-Order Logic; 5. Semantics of First-Order Logic; 6. Cut Elimination; 7. Properties of First-Order Logic; 8. Primitive Recursion; 9. Primitive Recursive Arithmetic; 10. First-Order Arithmetic; 11. Computability 12. Undecidability and Incompleteness; 13. Finite Types; 14. Arithmetic and Computation; 15. Second-Order Logic and Arithmetic; 16. Subsystems of Second-Order Arithmetic; 17. Foundations; Appendix; References; Notation; Index.
Details
Erscheinungsjahr: 2022
Fachbereich: Grundlagen
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Inhalt: Gebunden
ISBN-13: 9781108478755
ISBN-10: 1108478751
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Avigad, Jeremy
Hersteller: Cambridge University Press
Maße: 260 x 183 x 33 mm
Von/Mit: Jeremy Avigad
Erscheinungsdatum: 24.11.2022
Gewicht: 1,173 kg
Artikel-ID: 121393472
Über den Autor
Jeremy Avigad is Professor in the Department of Philosophy and the Department of Mathematical Sciences at Carnegie Mellon University. His research interests include mathematical logic, formal verification, automated reasoning, and the philosophy and history of mathematics. He is the Director of the Charles C. Hoskinson Center for Formal Mathematics at Carnegie Mellon University.
Inhaltsverzeichnis
Preface; 1. Fundamentals; 2. Propositional Logic; 3. Semantics of Propositional Logic; 4. First-Order Logic; 5. Semantics of First-Order Logic; 6. Cut Elimination; 7. Properties of First-Order Logic; 8. Primitive Recursion; 9. Primitive Recursive Arithmetic; 10. First-Order Arithmetic; 11. Computability 12. Undecidability and Incompleteness; 13. Finite Types; 14. Arithmetic and Computation; 15. Second-Order Logic and Arithmetic; 16. Subsystems of Second-Order Arithmetic; 17. Foundations; Appendix; References; Notation; Index.
Details
Erscheinungsjahr: 2022
Fachbereich: Grundlagen
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Inhalt: Gebunden
ISBN-13: 9781108478755
ISBN-10: 1108478751
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Avigad, Jeremy
Hersteller: Cambridge University Press
Maße: 260 x 183 x 33 mm
Von/Mit: Jeremy Avigad
Erscheinungsdatum: 24.11.2022
Gewicht: 1,173 kg
Artikel-ID: 121393472
Warnhinweis

Ähnliche Produkte

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...