Miláček čtenářů je právě vyprodaný
Parametry
- 418 stránek
- 15 hodin čtení
Více o knize
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.
Nákup knihy
Open Logic Project Textbooks: Sets, Logic, Computation, Richard Zacharuk
- Jazyk
- Rok vydání
- 2021
- product-detail.submit-box.info.binding
- (měkká)
Jakmile se objeví, pošleme e-mail.
Doručení
Platební metody
Nikdo zatím neohodnotil.
- Titul
- Open Logic Project Textbooks: Sets, Logic, Computation
- Podtitul
- An Open Introduction to Metalogic
- Jazyk
- anglicky
- Autoři
- Richard Zacharuk
- Vydavatel
- Independently published
- Rok vydání
- 2021
- Vazba
- měkká
- Počet stran
- 418
- ISBN13
- 9798536395509
- Série
- Štítky
- Naučná literatura, Společenské vědy, Učebnice, Technologie & Průmysl, Věda & Matematika, Filosofie, Počítače & Internet, Matematika, Logika
- Anotace
- 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.