Математическая логика — различия между версиями

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
м (О курсе)
Строка 16: Строка 16:
 
| 2 || Дашков Евгений Владимирович [https://t.me/edashkov Telegram] || Лямзин Алексей [https://t.me/almondflower Telegram]  || x6nty3k || https://t.me/joinchat/SpWx9TdiD1E1MzVi  || онлайн, по договорённости в Telegram
 
| 2 || Дашков Евгений Владимирович [https://t.me/edashkov Telegram] || Лямзин Алексей [https://t.me/almondflower Telegram]  || x6nty3k || https://t.me/joinchat/SpWx9TdiD1E1MzVi  || онлайн, по договорённости в Telegram
 
|-
 
|-
| 3 || [https://www.hse.ru/staff/ansidiana Оноприенко Анастасия Александровна] [https://t.me/ansidiana Telegram] || Березовский Валерий  || || https://t.me/joinchat/4JVat0ZcnuY4YjUy || онлайн, по договорённости в Telegram
+
| 3 || [https://www.hse.ru/staff/ansidiana Оноприенко Анастасия Александровна] [https://t.me/ansidiana Telegram] || Березовский Валерий  || eijvv6i || https://t.me/joinchat/4JVat0ZcnuY4YjUy || онлайн, по договорённости в Telegram
 
|-
 
|-
 
| 4 || [https://www.hse.ru/org/persons/218355200 Запрягаев Александр Александрович] [https://t.me/azapryagaev Telegram] || Шитов Александр [https://t.me/AtgshkaSan Telegram] || 3zbutmx  || https://t.me/joinchat/OEXzV66uIoEwYjQy || онлайн, по договорённости в Telegram
 
| 4 || [https://www.hse.ru/org/persons/218355200 Запрягаев Александр Александрович] [https://t.me/azapryagaev Telegram] || Шитов Александр [https://t.me/AtgshkaSan Telegram] || 3zbutmx  || https://t.me/joinchat/OEXzV66uIoEwYjQy || онлайн, по договорённости в Telegram

Версия 10:08, 18 сентября 2021

О курсе

Курс для студентов 2 курса в 1-2 модулях.

Лектор: Дашков Евгений Владимирович


Семинаристы:

Группа Преподаватель Учебный ассистент classroom Чат в телеграм Консультации
1 Оноприенко Анастасия Александровна Telegram Василевская Юлия Telegram g6m5meu https://t.me/joinchat/4JVat0ZcnuY4YjUy онлайн, по договорённости в Telegram
2 Дашков Евгений Владимирович Telegram Лямзин Алексей Telegram x6nty3k https://t.me/joinchat/SpWx9TdiD1E1MzVi онлайн, по договорённости в Telegram
3 Оноприенко Анастасия Александровна Telegram Березовский Валерий eijvv6i https://t.me/joinchat/4JVat0ZcnuY4YjUy онлайн, по договорённости в Telegram
4 Запрягаев Александр Александрович Telegram Шитов Александр Telegram 3zbutmx https://t.me/joinchat/OEXzV66uIoEwYjQy онлайн, по договорённости в Telegram

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

Телеграм-чат курса: https://t.me/joinchat/M0dUGBBjmuJAEs3JmWbU2A

План курса

Лекции

Лекции по вычислимости

Семинары

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

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

Задание Срок сдачи в группе
1 2 3 4
ДЗ 1 24.09 24.09 24.09 24.09

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

Коллоквиум

Экзамен

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

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

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

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

По курсу проводится экзамен, оцениваемый по десятибалльной системе оценкой ЭКЗ. Результирующая оценка Р по дисциплине вычисляется по формуле

Р = ОКРУГЛ ( min (10, 0.35 * ЭКЗ + 0.35 * КОЛ + 3 * ДЗ) ),

причем применяются обычные правила округления, но полуцелые числа округляются вверх

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

Ресурсы

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

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

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