Дискретная математика - 2 (ПМИ) 2023/24 — различия между версиями

Версия 03:59, 12 января 2024

О курсе

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

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

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

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

Лекции

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

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

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

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

Семинары

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

• Листок 1

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

Сроки сдачи

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

Коллоквиум

Экзамен

Оценки и аттестация

В течение семестра проводится устный коллоквиум (КОЛ), выдается и проверяется письменное домашнее задание (ДЗ).

Домашнее задание разделено на несколько частей, которые выдаются примерно раз в одну или две недели и предполагают сдачу в письменном виде в установленные для каждой части сроки. Решение каждой задачи оценивается числом от 0 до 1. Некоторые задачи объявляются бонусными, остальные считаются обязательными. По итогам семестра вычисляется оценка за все домашнее задание в целом как отношение суммы баллов, набранных студентом за все решенные им задачи, к числу обязательных задач в домашнем задании, умноженное на 10.

Преподаватель вправе потребовать от любого студента “защитить” (т.е. изложить устно, отвечая на возникающие при этом вопросы) решение любой из зачтенных этому студенту задач ДЗ. В случае неуспешной защиты, баллы за соответствующую часть ДЗ могут быть снижены, в т.ч. до нуля, по усмотрению преподавателя.

Оценка КОЛ выставляется по десятибалльной системе без округления (т.е. с максимальной доступной используемым вычислительным средствам точностью).

По курсу проводится экзамен, оцениваемый по десятибалльной системе оценкой Э.

Результирующая оценка Р по дисциплине вычисляется по формуле

Р = ОКРУГЛ(МИН(10; 0,35 * Э + 0,35 * КОЛ + 0,3 * ДЗ)),

где ДЗ — это оценка за все домашнее задание в целом, КОЛ — оценка за коллоквиум, Э — оценка за экзамен (см. выше). Эти оценки могут быть нецелыми и приводятся без округления с наибольшей доступной точностью.

Округление производится к ближайшему целому. Полуцелые числа округляются вверх. Автоматы по курсу не предусмотрены.

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

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

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

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

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

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

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

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

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