Список всех тем лекций
Лекция 1. Элементы теории множеств.
Лекция 2. Алгоритмическая теория множеств.
Лекция 3. Математические модели вычислимости.
Лекция 4. Неразрешимые алгоритмические проблемы.
Лекция 5. Логика высказываний.
Лекция 6. Исчисление высказываний.
Лекция 7. Логика предикатов.
Лекция 8. Математические структуры.
Лекция 9. Исчисление предикатов.
Лекция 10. Теорема Гёделя о полноте.
Лекция 11. Элементарные теории.
Лекция 12. Теория моделей.
Лекция 13. Формальная арифметика.
Лекция 14. Интуиционистская логика.
Лекция 15. Теорема Эрбрана.
Лекция 16. Метод резолюций и логическое программирование.
