Лектор — Д.В. Мусатов.
Программа курса
Программа экзамена
Перечисленные ниже студенты получают право рассказать следующие дополнительные вопросы.
195
Анзон Дарья - 6
Балобанов Арсений - 2
Гольцова Надежда - 1
Дмитриев Алексей - 3
Заводов Алексей - 8
Кашинская Яна - 16
Машрабов Александр - 13
Осипов Андрей - 9
Осипов Матвей - 4
Смирнов Иван - 14
Тимин Александр - 15
Федюнин Валерий - 7
196
Беляков Дмитрий - 11
Прохорчук Анатолий - 10
197
Антонов Никита - 5
Никитин Александр - 12
Следующие студенты освобождаются от двух задач на экзамене:
117
Афонькин Вадим
Хворов Никита
Цыганов Виталий
Шанцин Иван
195
Решетников Иван
Пилипчук Захар
Машрабов Александр
Кашин Андрей
196
Жилинская Валентина
Кузьмин Александр
Мухин Михаил
Насибуллин Алмаз
Некрасов Андрей
Павлов Константин
Фролов Николай
Хусаенов Тимур
Юшкевич Антон
197
Артыков Акмал
Борин Павел
Дородных Александр
Киреев Тимур
Орлов Никита
Паршина Антонина
Фархутдинов Дамир
Щетинкин Владислав
Следующие студенты освобождаются от одной задачи на экзамене:
117
Ведищева Тамара
Гимбатов Гамзат
Ляпините Лайма
Новосёлова Юля
Сквирский Иван
195
Зетилов Никита
Тропин Андрей
Одилзода Мехрдод
196
Анурин Андрей
Быков Илья
Левшин Николай
Меликов Сергей
Мещерин Илья
Мысин Юрий
Фокина Анна
197
Асташкин Арсений
Полева Валентина
Саликов Александр
Задачи для самостоятельного решения:
Однозначность разбора формул
Пропозициональные формулы и булевы функции
Исчисление высказываний
Теорема о компактности для исчисления высказываний
Формулы первого порядка
Выразимость предикатов
Арифметичность предикатов
Автоморфизмы интерпретаций и
элиминацию кванторов
Теория моделей
Исчисление предикатов
Самостоятельные работы:
Самостоятельная работа №1
Самостоятельная работа №2
Контрольные работы:
Контрольная работа №1
Контрольная работа №2
Зачётные задачи по контрольным работам
Контрольная работа №1
Контрольная работа №2
Контрольная работа №3
