Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Языки и исчисления
4. Лекция 1. Логика высказываний
Предыдущая страница
Следующая страница
Оглавление
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. Список литературы
Данный блок поддерживает скрол*