Математическая логика — различия между версиями
A T G (обсуждение | вклад) м (→О курсе) |
|||
| Строка 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.
