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

82,30 €*

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
Seiten: 526
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,175 kg
preigu-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
Seiten: 526
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,175 kg
preigu-id: 121393472
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9783834812124 | Übungsbuch zur numerischen Mathematik | Robert Plato | Taschenbuch
Übungsbuch zur numerischen Mathematik
Aufgaben, Lösungen und Anwendungen
EAN: 9783834812124
Sprache: Deutsch
Von/Mit: Robert Plato

29,99 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9780521062923 | Domains and Lambda-Calculi | Roberto M. Amadio (u. a.) | Taschenbuch
Domains and Lambda-Calculi
EAN: 9780521062923
Sprache: Englisch
Von/Mit: Roberto M. Amadio (u. a.)

78,35 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781603864541 | A Course of Modern Analysis | E. T. Whittaker (u. a.) | Taschenbuch
A Course of Modern Analysis
EAN: 9781603864541
Von/Mit: E. T. Whittaker (u. a.)

38,60 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783642063008 | Design and Analysis of Randomized Algorithms | J. Hromkovic | Buch
Design and Analysis of Randomized Algorithms
Introduction to Design Paradigms
EAN: 9783642063008
Sprache: Englisch
Von/Mit: J. Hromkovic

46,40 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9780999612507 | Intuitive Design | Eight Steps to an Intuitive UI | Everett McKay
Intuitive Design
Eight Steps to an Intuitive UI
EAN: 9780999612507
Sprache: Englisch
Von/Mit: Everett McKay

62,30 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783668995321 | Die Faszination der Zahl Pi. Über die Geschichte und Anwendung von Pi
Die Faszination der Zahl Pi. Über die Geschichte und Anwendung von Pi
EAN: 9783668995321
Sprache: Deutsch
Von/Mit: Charlotte Hielscher

14,99 €*

Lieferzeit 4-7 Werktage

Bundle
Cover: 9783658348182 | Viren in allen Dimensionen | Rafael Ball | Taschenbuch | Book + eBook
Viren in allen Dimensionen
Wie ein Informationscode Viren, Software und Mikroorganismen steuert
EAN: 9783658348182
Sprache: Deutsch
Von/Mit: Rafael Ball

22,99 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9781138859876 | Acoustics and Psychoacoustics | David M. Howard (u. a.) | Taschenbuch
Acoustics and Psychoacoustics
EAN: 9781138859876
Sprache: Englisch
Von/Mit: David M. Howard (u. a.)

81,10 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781803231501 | Azure Synapse Analytics Cookbook | Meenakshi Muralidharan | Buch
Azure Synapse Analytics Cookbook
Implement a limitless analytical platform using effective recipes for Azure Synapse
EAN: 9781803231501
Sprache: Englisch
Von/Mit: Gaurav Agarwal (u. a.)

50,40 €*

Lieferzeit 1-2 Werktage

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