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

Ähnliche Produkte

Taschenbuch
Cover: 9783642418631 | Mathematisches Argumentieren, Begründen und Beweisen | Esther Brunner
Mathematisches Argumentieren, Begründen und Beweisen
Grundlagen, Befunde und Konzepte
EAN: 9783642418631
Sprache: Deutsch
Von/Mit: Esther Brunner

34,99 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783030628109 | Proving It Her Way | Emmy Noether, a Life in Mathematics | Taschenbuch
Proving It Her Way
Emmy Noether, a Life in Mathematics
EAN: 9783030628109
Sprache: Englisch
Von/Mit: Mechthild Koreuber (u. a.)

38,20 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781529744323 | The Dyscalculia Toolkit | Supporting Learning Difficulties in Maths
The Dyscalculia Toolkit
Supporting Learning Difficulties in Maths
EAN: 9781529744323
Sprache: Englisch
Von/Mit: Ronit Bird
Maße: 292 x 208 x 16 mm

63,25 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9789811232275 | TO HALT OR NOT TO HALT? THAT IS THE QUESTION | Cristian S Calude
TO HALT OR NOT TO HALT? THAT IS THE QUESTION
EAN: 9789811232275
Sprache: Englisch
Von/Mit: Cristian S Calude

163,95 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783141261912 | Stark in Mathematik 5. Schülerband. Erweiterte Ausgabe 2021 | Buch
Stark in Mathematik 5. Schulbuch. Erweiterte Ausgabe 2021
EAN: 9783141261912
Sprache: Deutsch
Maße: 260 x 190 x 15 mm

25,50 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9781138121362 | Multilevel Analysis | Techniques and Applications, Third Edition
Multilevel Analysis
Techniques and Applications, Third Edition
EAN: 9781138121362
Sprache: Englisch
Von/Mit: Joop J. Hox (u. a.)

81,10 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781292245171 | Pearson Edexcel International A Level Mathematics Statistics 2...
Pearson Edexcel International A Level Mathematics Statistics 2 Student Book
EAN: 9781292245171
Sprache: Englisch
Von/Mit: Harry Smith (u. a.)

44,40 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780486425641 | Functions and Graphs | I M Gelfand (u. a.) | Taschenbuch | Englisch
Functions and Graphs
EAN: 9780486425641
Sprache: Englisch
Von/Mit: I M Gelfand (u. a.)

19,15 €*

Lieferzeit 1-2 Wochen

Broschüre
Cover: 9783141287622 | Erlebnis Mathematik - Ausgabe N 5. Arbeitsheft mit Lösungen | 80 S.
Erlebnis Mathematik - Ausgabe N 5. Arbeitsheft mit Lösungen
Arbeitsheft mit Medien 5
EAN: 9783141287622
Sprache: Deutsch
Maße: 298 x 212 x 12 mm
Genre: Schule und Lernen

9,95 €*

Lieferzeit 1-2 Werktage

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