Buch, Englisch, 452 Seiten, Print PDF, Format (B × H): 170 mm x 244 mm, Gewicht: 774 g
An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Buch, Englisch, 452 Seiten, Print PDF, Format (B × H): 170 mm x 244 mm, Gewicht: 774 g
ISBN: 978-0-19-852981-1
Verlag: OUP Oxford
The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course.
Zielgruppe
Year 3 and 4 undergraduates of mathematics, logic, computer science and philosophy.
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik
- Geisteswissenschaften Philosophie Philosophische Logik, Argumentationstheorie
- Mathematik | Informatik Mathematik Mathematik Allgemein Grundlagen der Mathematik
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
Weitere Infos & Material
- Preliminaries
- 1: Propositional Logic
- 2: Structures and First-Order Logic
- 3: Proof Theory
- 4: Properties of First-Order Logic
- 5: First-Order Theories
- 6: Models of Countable Theories
- 7: Computability and Complexity
- 8: The Incompleteness Theorems
- 9: Beyond First-Order Logic
- 10: Finite Model Theory
- Bibliography
- Index
