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

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

Видеолекции (весна 2015)
Программа курса (в т.ч. расписание лекций и контрольных, обновлено 25 апреля)

Конспекты лекций (выкладываются по мере написания)

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

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

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

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