На главную страницу НМУ

В.Б.Шехтман

Теория конечных моделей (спецкурс)

Программа курса

1. Основные понятия теории моделей.
2. Теоретико-модельные игры.
3. Теорема Гайфмана.
4. Закон 0-1.
5. Классы сложности вычислимых функций.
6. Дескриптивная теория сложности.
7. Бисимуляции и модальная логика.
8. Охраняемый фрагмент классической логики.
9. Теорема Трахтенброта.
10. Проблемы замощения и их сложность.
11. Оценки сложности для разрешимых теорий.
12. Неразрешимые проблемы в теории конечных моделей.