Войти
Математика 16 лекций
Введение в математическую логику
Лектор
Плиско Валерий Егорович
#лекции
Механико-математический факультет
IV семестр
2024

Список всех тем лекций

Лекция 1. Элементы теории множеств.

Лекция 2. Алгоритмическая теория множеств.

Лекция 3. Математические модели вычислимости.

Лекция 4. Неразрешимые алгоритмические проблемы.

Лекция 5. Логика высказываний.

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

Лекция 7. Логика предикатов.

Лекция 8. Математические структуры.

Лекция 9. Исчисление предикатов.

Лекция 10. Теорема Гёделя о полноте.

Лекция 11. Элементарные теории.

Лекция 12. Теория моделей.

Лекция 13. Формальная арифметика.

Лекция 14. Интуиционистская логика.

Лекция 15. Теорема Эрбрана.

Лекция 16. Метод резолюций и логическое программирование.