|
 Название: Mathematical Logic: Exercises and Solutions
Автор: Laszlo Csirmaz, Zalan Gyenis
Издательство: Springer
Год: 2022
Формат: PDF
Страниц: 322
Размер: 10 Mb
Язык: English
This book gathers together a colorful set of problems on classical Mathematical Logic, selected from over 30 years of teaching. The initial chapters start with problems from supporting fields, like set theory (ultrafilter constructions), full-information game theory (strategies), automata, and recursion theory (decidability, Kleene’s theorems). The work then advances toward propositional logic (compactness and completeness, resolution method), followed by first-order logic, including quantifier elimination and the Ehrenfeucht– Fra?ss? game; ultraproducts; and examples for axiomatizability and non-axiomatizability. The Arithmetic part covers Robinson’s theory, Peano’s axiom system, and G?del’s incompleteness theorems. Finally, the book touches universal graphs, tournaments, and the zero-one law in Mathematical Logic.
|
Автор: vitvikvas 15-03-2022, 09:24 | Напечатать |
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
С этой публикацией часто скачивают:
|
|
| |
|
 |
Fundamentals of Advanced Mathematics Название: Fundamentals of Advanced Mathematics Автор: Alberto D. Yazon Издательство: Arcler Press Год: 2020 Формат: PDF Страниц: 260 Размер: 10,9 МБ... |
| |
|
 |
Philosophical and Mathematical Logic Название: Philosophical and Mathematical Logic Автор: Harrie de Swart Издательство: Springer Год: 2018 Страниц: 539 Формат: PDF Размер: 10 Mb Язык:... |
| |
|
| |
|
|
|
|
|
Навигация
Вход на сайт
Реклама
Mathematical Logic: Exercises and Solutions 
