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

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
(→‎Листки с задачами для семинаров)
(→‎Оценки и аттестация)
Строка 60: Строка 60:
  
 
== Оценки и аттестация ==
 
== Оценки и аттестация ==
−
 
−
В течение семестра проводится устный коллоквиум (КОЛ), выдается и проверяется письменное домашнее задание (ДЗ).
 
−
 
−
Домашнее задание разделено на несколько частей, которые выдаются примерно раз в одну или две недели и предполагают сдачу в письменном виде в установленные для каждой части сроки. Решение  каждой задачи оценивается числом от 0 до 1.  Некоторые задачи объявляются бонусными, остальные считаются обязательными. По итогам семестра вычисляется оценка за все домашнее задание в целом как отношение суммы баллов, набранных студентом за все решенные им задачи, к числу обязательных задач в домашнем задании, умноженное на 10.
 
−
 
−
Преподаватель вправе потребовать от любого студента “защитить” (т.е. изложить устно, отвечая на возникающие при этом вопросы) решение любой из зачтенных этому студенту задач ДЗ. В случае неуспешной защиты, баллы за соответствующую часть ДЗ могут быть снижены, в т.ч. до нуля, по усмотрению преподавателя.
 
−
 
−
Оценка КОЛ выставляется по десятибалльной системе без округления (т.е. с максимальной доступной используемым вычислительным
 
−
средствам точностью).
 
−
 
−
По курсу проводится экзамен, оцениваемый по десятибалльной системе оценкой Э.
 
−
 
−
Результирующая оценка Р по дисциплине вычисляется по формуле
 
−
 
−
'''<span style="color:#0000FF"> Р = ОКРУГЛ(МИН(10; 0,35 * Э + 0,35 * КОЛ + 0,3 * ДЗ))</span>''',
 
−
 
−
где ДЗ — это оценка за все домашнее задание в целом, КОЛ — оценка за коллоквиум, Э — оценка за экзамен (см. выше). Эти оценки могут быть нецелыми и приводятся без округления с наибольшей доступной точностью.
 
−
 
−
Округление производится к ближайшему целому. Полуцелые числа округляются вверх. Автоматы по курсу не предусмотрены.
 
  
 
== Текущие оценки ==
 
== Текущие оценки ==

Версия 04:00, 12 января 2024

О курсе

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

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

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

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

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

Лекции

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

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

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

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

Семинары

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

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

Сроки сдачи

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

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

Коллоквиум

Экзамен

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

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

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

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

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

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

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

Источник — «http://wiki.cs.hse.ru/index.php?title=Дискретная_математика_-_2_(ПМИ)_2023/24&oldid=82740»