Дискретная математика - 2 (ПМИ) 2023/24

О курсе

Курс по выбору для студентов 2 курса в 1-2 модулях состоит из двух основных частей: теории вычислимых функции и классической логики первого порядка.

Группы	Группа 1	Группа 2	Группа 4
Лектор	Дашков Евгений Владимирович Telegram
Семинаристы	Дашков Евгений Владимирович Telegram	Оноприенко Анастасия Александровна Telegram	Таламбуца Алексей Леонидович
Ассистенты
Ассистент лектора

Полезные ссылки

Телеграм-чат курса

Материалы курса

Лекции

Лекции и семинары Е. Дашкова (записи прошлого года)

Конспект по вычислимости

Конспект по формулам логики предикатов

Конспект по структурам (только определения и список задач --- черновик!)

Семинары

Листки с задачами для семинаров

• Листок 1

Домашние задания

Сроки сдачи

Задание	Группа 1	Группа 2	Группа 4
ДЗ 1
ДЗ 2
ДЗ 3
ДЗ 4
ДЗ 5

Срок сдачи задания устанавливается семинаристом группы.

Текущие оценки

• [тут будет ссылка на таблицу Ведомость]

Прочие ресурсы

• Директория с материалами курса прошлого года

• Видео лекций и некоторых семинаров 2020 г.

• Конспекты семинаров Оноприенко А.А. за 2020-2021 учебный год

Основная литература

1. Н.К. Верещагин, А. Шень. Вычислимые функции. М.:МЦНМО, 2017.

2. Н.К. Верещагин, А. Шень. Языки и исчисления. М.:МЦНМО, 2017.