Mathematical Logic and Computation

A thorough introduction to the fundamental methods and results in mathematical logic, and its foundational role in computer science.

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.

Über den Autor / die Autorin

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.

Produktdetails

• Autoren: Jeremy Avigad, Jeremy (Carnegie Mellon University Avigad
• Verlag: Cambridge University Press ELT
• Sprache: Englisch
• Produktform: Fester Einband
• Erschienen: 30.09.2022
• EAN: 9781108478755
• ISBN: 978-1-108-47875-5
• Seiten: 450
• Themen: Naturwissenschaften, Medizin, Informatik, Technik > Mathematik > Grundlagen; MATHEMATICS / Logic, Mathematical theory of computation, Mathematical logic, Computer architecture & logic design, Computer architecture and logic design