WikiAdmin: Auto-sync from wiki.cs.hse.ru rev 96778 at 2026-06-06T02:33:37Z

2026-06-06T02:27:17Z

Auto-sync from wiki.cs.hse.ru rev 96778 at 2026-06-06T02:33:37Z

← Предыдущая версия		Версия от 05:27, 6 июня 2026
Строка 85:		Строка 85:
	\| [https://drive.google.com/file/d/1NOEAMYdxw1jIZy4EewVssFoediWqK6Ww/view?usp=drive_link ДЗ 6] \|\| 30.04 \|\| 30.04		\| [https://drive.google.com/file/d/1NOEAMYdxw1jIZy4EewVssFoediWqK6Ww/view?usp=drive_link ДЗ 6] \|\| 30.04 \|\| 30.04
	\|-		\|-
	\| [https://drive.google.com/file/d/1B7AozQAYP86jvIlEtQfczjr8wftohQhI/view?usp=drive_link ДЗ 7] \|\| 05.06 \|\| 01.06		\| [https://drive.google.com/file/d/1B7AozQAYP86jvIlEtQfczjr8wftohQhI/view?usp=drive_link ДЗ 7] \|\| 08.06 \|\| 01.06
			\|-
			\| [https://drive.google.com/file/d/1RUr9tUn2_jLN_dCN_50wWiMwbyeAsDkx/view?usp=drive_link ДЗ 8] \|\| \|\|
	<!--		<!--
	\|-
	~~\| [https://drive.google.com/file/d/1RUr9tUn2_jLN_dCN_50wWiMwbyeAsDkx/view?usp=drive_link ДЗ 8] \|\| 19.06 \|\| 19.06~~
	\|-		\|-
	\| [https://drive.google.com/file/d/1CsTZ127bH1Iwf4GKm82VvVBlZbBJ_8cn/view?usp=drive_link ДЗ 9] \|\| - \|\| -		\| [https://drive.google.com/file/d/1CsTZ127bH1Iwf4GKm82VvVBlZbBJ_8cn/view?usp=drive_link ДЗ 9] \|\| - \|\| -

imported>Edashkov: /* Домашние задания */

2026-05-31T19:55:52Z

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

Новая страница

== О курсе ==

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

{| class="wikitable" style="text-align:center"
|-
! Группы !! Группа 1 !! Группа 2
|-
|| Лектор ||colspan="3"| [https://www.hse.ru/org/persons/104695093 Евгений Владимирович Дашков] <br/> [https://t.me/edashkov Telegram]
|-
|| Семинаристы || [https://www.hse.ru/org/persons/104695093 Евгений Владимирович Дашков] <br/> [https://t.me/edashkov Telegram] || [https://www.hse.ru/staff/ansidiana Анастасия Александровна Оноприенко] <br/> [https://t.me/ansidiana Telegram]
|-
|| Ассистент групп || colspan="2"| [https://t.me/ba_tasya Анастасия Баркина]
|-
|| Ассистент лектора || colspan="2"| [https://t.me/Alyona_Chislova Алёна Числова]
|}

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

[https://t.me/+F8J2MDaTsIpmNTEy '''Телеграм-чат курса''']

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

=== Лекции ===

[https://www.youtube.com/playlist?list=PLEwK9wdS5g0rCmFF5jX96XItpo7M7lR99 Лекции и семинары Е. Дашкова (записи прошлого года)]

[https://drive.google.com/file/d/13QUtHNIkxE402as8tsJgCwewcZag78HV/view?usp=sharing Конспект по вычислимости]

[https://drive.google.com/file/d/1V3QNOfANqZbiacI0d_2aLy8l1gZP0rTc/view?usp=sharing Конспект по формулам логики предикатов]

[https://drive.google.com/file/d/1VfDNhIZHbYnmYljvPyxJavQV48XTtU0E/view?usp=sharing Конспект по структурам (только определения и список задач --- черновик!)]

=== Семинары ===

==== Листки с задачами для семинаров ====
* [https://drive.google.com/file/d/1F4r09_TkTqIykYSiNQOWtz3efxcLrbgz/view?usp=drive_link Листок 1]

* [https://drive.google.com/file/d/1DblcKr3YyQw3M6rqqvBzOmg36Lmq5FQF/view?usp=drive_link Листок 2]

* [https://drive.google.com/file/d/1fHNaFRXZPQGWUdLFjlYH7IgC27LhZ5Kc/view?usp=drive_link Листок 3]

* [https://drive.google.com/file/d/19WZDz9pLysz_mvQKnWjNfTLMwUuISeNx/view?usp=drive_link Листок 4]

* [https://drive.google.com/file/d/1fFEFJiU9PqusjS2aNFBQZhnSiI98hc1n/view?usp=drive_link Листок 5]

* [https://drive.google.com/file/d/1aj-q_975UbzH0-ca4bLBmwA_DVQnTO_y/view?usp=drive_link Листок 6]

* [https://drive.google.com/file/d/1YFAc5vvdSvXatl_4fkg5RyiqSJFl5jZA/view?usp=drive_link Листок 7]

* [https://drive.google.com/file/d/1Lx5kUtNn9oN035eF9hGlLRldZqqdOcY-/view?usp=drive_link Листок 8]

* [https://drive.google.com/file/d/1kZP1oLRapBabR5PNAuRByTzlyW5EOgjT/view?usp=drive_link Листок 9]

* [https://drive.google.com/file/d/1zRugcElI6336sJT1evLqc5YVSnNe8SHN/view?usp=drive_link Листок 10]

* [https://drive.google.com/file/d/1ISp0XtJAWR4WPWk-jktf6fAofG3BIn3j/view?usp=drive_link Листок 11]

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

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

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

{| class="wikitable" style="text-align:center"
|-
! Ссылка на классрум !! [https://classroom.google.com/c/ODQwMTc4NTQxOTQ4?cjc=6qe5mu3z Группа 1] !! [https://classroom.google.com/c/ODQwMTc5MjMyNTYw?cjc=7sv6pvkz Группа 2]
|}

'''Сроки сдачи'''
{| class="wikitable"
|-
! Задание !! Группа 1 !! Группа 2
|-
| [https://drive.google.com/file/d/1tFxzOApeglNB3rwDdsH93_geX11_WQMb/view?usp=drive_link ДЗ 1] || 13.02 || 13.02
|-
| [https://drive.google.com/file/d/1FKisUcoKAdQOHVLE44C68TFXpz-N-I-a/view?usp=drive_link ДЗ 2] || 02.03 || 02.03
|-
| [https://drive.google.com/file/d/1VdQAAobRDZIFBuv-Bepf_9TD75Pxq5ZI/view?usp=drive_link ДЗ 3] || 18.03 || 22.03
|-
| [https://drive.google.com/file/d/1Nn2vaWGKYMQKvyQPMtNSSAke9X-XEJWQ/view?usp=drive_link ДЗ 4] || 02.04 || 02.04
|-
| [https://drive.google.com/file/d/174OSQWmdt5MyK3aMChyLSdaLGqVRZHzE/view?usp=drive_link ДЗ 5] || 18.04 || 18.04
|-
| [https://drive.google.com/file/d/1NOEAMYdxw1jIZy4EewVssFoediWqK6Ww/view?usp=drive_link ДЗ 6] || 30.04 || 30.04
|-
| [https://drive.google.com/file/d/1B7AozQAYP86jvIlEtQfczjr8wftohQhI/view?usp=drive_link ДЗ 7] || 05.06 || 01.06

|}

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

=== Коллоквиум ===

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

[https://drive.google.com/file/d/1AYhdzohYkctm6USZpZwMuEwSwu79csZ6/view?usp=drive_link Вопросы и правила коллоквиума.]

=== Экзамен ===

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

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

Предусмотрены оценки за '''домашнее задание''', '''коллоквиум''' и '''экзамен'''.

Итог = Округление(min(0,3 * ДЗ + 0,35 * КОЛ + 0,35 * Э, 10)),

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

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

Автоматы по курсу не предусмотрены.

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

[https://docs.google.com/spreadsheets/d/1n-k_XtC3Y4bFQ_JdOzdD1xvi_OARgUW_0rOYAIYq-n4/edit?usp=sharing '''Общая таблица'''].

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

* [https://drive.google.com/drive/folders/10pGBoYJ8B544pL0WZlq3hWc9cxwGaAg-?usp=sharing Директория с материалами курса прошлого года]

* [https://www.youtube.com/playlist?list=PL1Uob8iPTHGRZB9F2yjqXhGp75g1ZJFk- Видео лекций и некоторых семинаров 2020 г.]

* [http://wiki.cs.hse.ru/DM2-base2020/2021#.D0.9A.D0.BE.D0.BD.D1.81.D0.BF.D0.B5.D0.BA.D1.82.D1.8B_.D1.81.D0.B5.D0.BC.D0.B8.D0.BD.D0.B0.D1.80.D0.BE.D0.B2 Конспекты семинаров Оноприенко А.А. за 2020-2021 учебный год]

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

# Н.К. Верещагин, А. Шень. [https://www.mccme.ru/free-books/shen/shen-logic-part3-5ed.pdf Вычислимые функции]. М.:МЦНМО, 2017.
# Н.К. Верещагин, А. Шень. [https://www.mccme.ru/free-books/shen/shen-logic-part2-5ed.pdf Языки и исчисления]. М.:МЦНМО, 2017.
# В.Н. Крупский. Введение в сложность вычислений. М.: Факториал, 2006.
# В.А. Успенский, Н.К. Верещагин, В.Е. Плиско. Вводный курс математической логики. М.: Физматлит, 2002.

== Дополнительная литература ==

# X. Роджерс. Теория рекурсивных функций и эффективная вычислимость. М.: Мир, 1972.
# S. Arora, B. Barak. Computational Complexity. A modern approach. Cambridge University Press, 2009.
# D. van Dalen. Logic and Structure. 4th ed. Springer, 2008.
# M. Sipser. Introduction to the Theory of Computation. 3rd ed. Cengage Learning, 2012.

Дискретная математика 2 2025/26 - История изменений

WikiAdmin: Auto-sync from wiki.cs.hse.ru rev 96778 at 2026-06-06T02:33:37Z

imported>Edashkov: /* Домашние задания */