Математическая логика: различия между версиями
Перейти к навигации
Перейти к поиску
Нет описания правки |
Ansidiana (обсуждение | вклад) Нет описания правки |
||
| Строка 12: | Строка 12: | ||
! Группа !! Преподаватель !! Учебный ассистент || classroom || Чат в телеграм || Консультации | ! Группа !! Преподаватель !! Учебный ассистент || classroom || Чат в телеграм || Консультации | ||
|- | |- | ||
| 1 || [https://www.hse.ru/staff/ansidiana Оноприенко Анастасия Александровна] || [https://t.me/vslvskyy Василевская Юлия] || g6m5meu || | | 1 || [https://www.hse.ru/staff/ansidiana Оноприенко Анастасия Александровна] || [https://t.me/vslvskyy Василевская Юлия] || g6m5meu |https://t.me/joinchat/4JVat0ZcnuY4YjUy| | ||
|| | |онлайн, по договорённости в Telegram| | ||
|- | |- | ||
| 2 || Дашков Евгений Владимирович || Лямзин Алексей || || || | | 2 || Дашков Евгений Владимирович || Лямзин Алексей || || || | ||
|- | |- | ||
| 3 || Оноприенко Анастасия Александровна || Березовский Валерий || || || | | 3 || [https://www.hse.ru/staff/ansidiana Оноприенко Анастасия Александровна] || Березовский Валерий || |https://t.me/joinchat/4JVat0ZcnuY4YjUy| |онлайн, по договорённости в Telegram| | ||
|- | |- | ||
| 4 || [https://www.hse.ru/org/persons/218355200 Запрягаев Александр Александрович] [https://t.me/azapryagaev Telegram] || [https://t.me/AtgshkaSan Шитов Александр] || 3zbutmx || [https://t.me/joinchat/OEXzV66uIoEwYjQy Группа 4] || онлайн, по договорённости в Telegram | | 4 || [https://www.hse.ru/org/persons/218355200 Запрягаев Александр Александрович] [https://t.me/azapryagaev Telegram] || [https://t.me/AtgshkaSan Шитов Александр] || 3zbutmx || [https://t.me/joinchat/OEXzV66uIoEwYjQy Группа 4] || онлайн, по договорённости в Telegram | ||
Версия от 15:09, 7 сентября 2021
О курсе
Курс для студентов 2 курса в 1-2 модулях.
Лектор: Дашков Евгений Владимирович
Семинаристы:
| Группа | Преподаватель | Учебный ассистент | classroom | Чат в телеграм | Консультации |
|---|---|---|---|---|---|
| 1 | Оноприенко Анастасия Александровна | Василевская Юлия | https://t.me/joinchat/4JVat0ZcnuY4YjUy%7C | ||
| 2 | Дашков Евгений Владимирович | Лямзин Алексей | |||
| 3 | Оноприенко Анастасия Александровна | Березовский Валерий | https://t.me/joinchat/4JVat0ZcnuY4YjUy%7C |онлайн, по договорённости в Telegram| | ||
| 4 | Запрягаев Александр Александрович Telegram | Шитов Александр | 3zbutmx | Группа 4 | онлайн, по договорённости в Telegram |
Полезные ссылки
Телеграм-чат курса: https://t.me/joinchat/M0dUGBBjmuJAEs3JmWbU2A
План курса
Лекции
Семинары
Листки с задачами для семинаров
Домашние задания
Коллоквиум
Экзамен
Итоговая оценка за курс
Итог = Округление(min(10, 0.3 * ДЗ + 0.35 * К + 0.35 * Э))
- ДЗ –– средняя оценка за домашние задания
- К –– оценка за коллоквиум
- Э –– письменный экзамен
Округление арифметическое.
Автоматы не предусмотрены.
Ресурсы
Литература
1. Н.К. Верещагин, А. Шень. Вычислимые функции. М.:МЦНМО, 2017.
2. Н.К. Верещагин, А. Шень. Языки и исчисления. М.:МЦНМО, 2017.
3. Ч. Чень, Р. Ли. Математическая логика и автоматическое доказательство теорем. М.: Наука, 1983.