Математическая логика и теория алгоритмов (весна 2017)

Лектор — доц. Д.В. Мусатов

Видеолекции (весна 2015)
Программа курса
Программа экзамена
Пример предварительного теста
Финальные дополнительные задачи перед экзаменом

Задачи с семинаров и для самостоятельного решения, избранные решения

1. Математическая индукция
2. Фундированные и вполне упорядоченные множества
3. Ординалы
4. Лемма Цорна и приложения

Контрольные работы

Табличка с результатами контрольных
распределение по времени написания
к/р №1, тренировочный вариант
к/р №1, основной вариант
к/р №2, тренировочный вариант
к/р №2, основной вариант
к/р №3, тренировочный вариант
к/р №3, основной вариант
к/р №3, дополнительные задачи
к/р №4, тренировочный вариант
к/р №4, основной вариант
к/р №4, дополнительные задачи
к/р №5, тренировочный вариант
к/р №5, основной вариант
к/р №5, дополнительные задачи
к/р №6, тренировочный вариант
к/р №6, основной вариант
к/р №6, дополнительные задачи