Дискретная математика - 2 (ПМИ) 2023/24
Содержание
О курсе
Курс по выбору для студентов 2 курса в 1-2 модулях состоит из двух основных частей: теории вычислимых функции и классической логики первого порядка.
Группы | Группа 1 | Группа 2 | Группа 4 |
---|---|---|---|
Лектор | Дашков Евгений Владимирович Telegram | ||
Семинаристы | Дашков Евгений Владимирович Telegram | Оноприенко Анастасия Александровна Telegram | Таламбуца Алексей Леонидович |
Ассистенты | |||
Ассистент лектора |
Полезные ссылки
Материалы курса
Лекции
Лекции и семинары Е. Дашкова (записи прошлого года)
Конспект по формулам логики предикатов
Конспект по структурам (только определения и список задач --- черновик!)
Семинары
Листки с задачами для семинаров
Домашние задания
Сроки сдачи
Задание | Группа 1 | Группа 2 | Группа 4 |
---|---|---|---|
ДЗ 1 | |||
ДЗ 2 | |||
ДЗ 3 | |||
ДЗ 4 | |||
ДЗ 5 |
Срок сдачи задания устанавливается семинаристом группы.
Коллоквиум
Экзамен
Оценки и аттестация
Предусмотрены оценки за домашнее задание, коллоквиум и экзамен.
Итог = Округление(min(0,3 * ДЗ + 0,35 * КОЛ + 0,35 * Э, 10)),
где ДЗ — это оценка за все домашнее задание в целом, КОЛ — оценка за коллоквиум, Э — оценка за экзамен. Эти оценки могут быть нецелыми и приводятся без округления с наибольшей доступной точностью.
Округление производится к ближайшему целому. Полуцелые числа округляются вверх.
Автоматы по курсу не предусмотрены.
Текущие оценки
- [тут будет ссылка на таблицу Ведомость]
Прочие ресурсы
Основная литература
1. Н.К. Верещагин, А. Шень. Вычислимые функции. М.:МЦНМО, 2017.
2. Н.К. Верещагин, А. Шень. Языки и исчисления. М.:МЦНМО, 2017.