Лекторы — к.ф.-м.н. А.Е. Ромащенко и Д.В. Мусатов.
Программа экзаменаСтуденты, получившие 10 баллов на зачёте, имеют право вместо сдачи основной программы экзамена сдать заранее выбранный дополнительный вопрос. Для этого нужно до 11 января включительно прислать на адрес musatych at gmail dot com список дополнительных вопросов из программы, упорядоченный по степени предпочтения. После этого билеты распределяются среди студентов в порядке убывания их суммарного балла на контрольных (без учёта дополнительных задач): лучший студент получает наиболее предпочтительный для него билет, каждый следующий - наиболее предпочтительный из тех, что не взяли до него. Можно подавать неполный список, тогда в случае раздачи всех билетов придётся сдавать основной экзамен. Распределение билетов будет объявлено 12 января.
Задачи для подготовки к контрольной работе № 1:
1. Множества
2. Отображения
3. Мощности множеств
4. Отношения
Контрольная работа №1, вариант для факультета РТ
Дополнительные задачи по к/р №1
Задачи для подготовки к контрольной работе №2:
1. Булевы функции и формулы
2. Исчисление высказываний
3. Общезначимые формулы в языках первого порядка
Контрольная работа №2
Дополнительные задачи по к/р №2
Задачи для подготовки к контрольной работе №3:
1. Выразимость предикатов
2. Автоморфизмы интерпретаций
3. Исчисление предикатов
4. Теория моделей
