Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Языки и исчисления
13. Лекция 10. Полнота исчисления предикатов
/
/
Для продолжения работы требуется
Registration
Предыдущая страница
Следующая страница
Table of contents
3. Лекция 0. Предисловие
4. Лекция 1. Логика высказываний
5. Лекция 2. Схемы из функциональных элементов
6. Лекция 3. Исчисление высказываний
7. Лекция 4. Контрпример
8. Лекция 5. Языки первого порядка
9. Лекция 6. Выразимость в арифметике
10. Лекция 7. Арифметика Пресбургера
11. Лекция 8. Игра Эренфойхта и понижение мощности
12. Лекция 9. Исчисление предикатов
13. Лекция 10. Полнота исчисления предикатов
14. Лекция 11. Теорема Эрбрана
15. Лекция 12. Теории и модели
16. Лекция 13. Диаграммы
17. Лекция 14. Ультрафильтры и компактность
18. Список литературы
Данный блок поддерживает скрол*