Обязательный курс для студентов кафедры математической логики и теории алгоритмов. Часть 1.

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

Лекция 1. Классическая логика высказываний.

Лекция 2. Интуиционистская логика высказываний.

Лекция 3. Свойства интуиционистской логики.

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

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

Лекция 6. Теории с равенством.

Лекция 7. Элиминация кванторов.

Лекция 8. Теорема Тарского-Зайденберга.

Лекция 9. 17-я проблема Гильберта. Теорема Артина.

Лекция 10. Категоричные теории.

Лекция 11. Примитивно рекурсивные функции.

Лекция 12. Рекурсивные функции.