Раздел 7 / 16

Страница 1 / 19

9. Лекция 6. Выразимость в арифметике

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

/

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

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

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

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

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

/

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

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

Для продолжения работы требуется Регистрация

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

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

Скачать приложение

Языки и исчисления

Оглавление

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. Список литературы