Математическая логика — различия между версиями
Материал из Wiki - Факультет компьютерных наук
Edashkov (обсуждение | вклад) (→Домашние задания) |
Edashkov (обсуждение | вклад) (→Домашние задания) |
||
Строка 37: | Строка 37: | ||
{| class="wikitable" | {| class="wikitable" | ||
|- | |- | ||
− | ! Задание | + | ! Задание | rowspan="2" | Срок |
|- | |- | ||
| || 1 || 2 || 3 || 4 | | || 1 || 2 || 3 || 4 |
Версия 03:04, 10 сентября 2021
Содержание
О курсе
Курс для студентов 2 курса в 1-2 модулях.
Лектор: Дашков Евгений Владимирович
Семинаристы:
Группа | Преподаватель | Учебный ассистент | classroom | Чат в телеграм | Консультации |
---|---|---|---|---|---|
1 | Оноприенко Анастасия Александровна Telegram | Василевская Юлия | g6m5meu | https://t.me/joinchat/4JVat0ZcnuY4YjUy | онлайн, по договорённости в Telegram |
2 | Дашков Евгений Владимирович Telegram | Лямзин Алексей Telegram | x6nty3k | https://t.me/joinchat/SpWx9TdiD1E1MzVi | онлайн, по договорённости в Telegram |
3 | Оноприенко Анастасия Александровна Telegram | Березовский Валерий | https://t.me/joinchat/4JVat0ZcnuY4YjUy | онлайн, по договорённости в Telegram | |
4 | Запрягаев Александр Александрович Telegram | Шитов Александр | 3zbutmx | Группа 4 | онлайн, по договорённости в Telegram |
Полезные ссылки
Телеграм-чат курса: https://t.me/joinchat/M0dUGBBjmuJAEs3JmWbU2A
План курса
Лекции
Семинары
Листки с задачами для семинаров
Домашние задания
rowspan="2" | Срок | ||||
---|---|---|---|---|
1 | 2 | 3 | 4 | |
ДЗ 1 | 24.09 | 24.09 | 24.09 | 24.09 |
Коллоквиум
Экзамен
Итоговая оценка за курс
Итог = Округление(min(10, 0.3 * ДЗ + 0.35 * К + 0.35 * Э))
- ДЗ –– средняя оценка за домашние задания
- К –– оценка за коллоквиум
- Э –– письменный экзамен
Округление арифметическое.
Автоматы не предусмотрены.
Ресурсы
Литература
1. Н.К. Верещагин, А. Шень. Вычислимые функции. М.:МЦНМО, 2017.
2. Н.К. Верещагин, А. Шень. Языки и исчисления. М.:МЦНМО, 2017.
3. Ч. Чень, Р. Ли. Математическая логика и автоматическое доказательство теорем. М.: Наука, 1983.