Дискретная математика - 2 (ПМИ) 2023/24 — различия между версиями
Edashkov (обсуждение | вклад) (→Оценки и аттестация) |
Edashkov (обсуждение | вклад) (→Оценки и аттестация) |
||
Строка 60: | Строка 60: | ||
== Оценки и аттестация == | == Оценки и аттестация == | ||
+ | |||
+ | Предусмотрены оценки за '''домашнее задание''', '''коллоквиум''' и '''экзамен'''. | ||
+ | |||
+ | Итог = Округление(min(0,3 * ДЗ + 0,35 * КОЛ + 0,35 * Э, 10)), | ||
+ | |||
+ | где ДЗ — это оценка за все домашнее задание в целом, КОЛ — оценка за коллоквиум, Э — оценка за экзамен. Эти оценки могут быть нецелыми и приводятся без округления с наибольшей доступной точностью. | ||
+ | |||
+ | Округление производится к ближайшему целому. Полуцелые числа округляются вверх. | ||
+ | |||
+ | Автоматы по курсу не предусмотрены. | ||
== Текущие оценки == | == Текущие оценки == |
Версия 04:03, 12 января 2024
Содержание
О курсе
Курс по выбору для студентов 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.