Раздел 4 / 16

Страница 1 / 18

6. Лекция 3. Исчисление высказываний

Режим постраничного просмотра

/

На первую страницу

На предыдущую главу

На следующую главу

На последнюю страницу

Озвучивание недоступно

/

Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.

Режим постраничного просмотра

Для продолжения работы требуется 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. Список литературы