Wir senden dir das abgebildete Buch
Parameter
- 418 Seiten
- 15 Lesestunden
Mehr zum Buch
A textbook on the semantics, proof theory, and metatheory of first-order logic. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic. It is based on the Open Logic project, and available for free download at slc.openlogicproject.org.
Buchkauf
Open Logic Project Textbooks: Sets, Logic, Computation, Richard Zacharuk
- Sprache
- Erscheinungsdatum
- 2021
- product-detail.submit-box.info.binding
- (Paperback),
- Buchzustand
- Gebraucht - Sehr gut
- Preis
- € 11,49
Keiner hat bisher bewertet.
- Titel
- Open Logic Project Textbooks: Sets, Logic, Computation
- Untertitel
- An Open Introduction to Metalogic
- Sprache
- Englisch
- Autor*innen
- Richard Zacharuk
- Verlag
- Independently published
- Erscheinungsdatum
- 2021
- Einband
- Paperback
- Seitenzahl
- 418
- ISBN13
- 9798536395509
- Reihe
- Schlagwörter
- Lehrbücher, Wissenschaft & Mathematik, Philosophie, Computer & Internet, Mathematik, Logik
- Beschreibung
- A textbook on the semantics, proof theory, and metatheory of first-order logic. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic. It is based on the Open Logic project, and available for free download at slc.openlogicproject.org.