Дискретная математика - 2 (ПМИ) 2023/24 — различия между версиями
Материал из Wiki - Факультет компьютерных наук
Edashkov (обсуждение | вклад) (→Листки с задачами для семинаров) |
Edashkov (обсуждение | вклад) (→Оценки и аттестация) |
||
Строка 60: | Строка 60: | ||
== Оценки и аттестация == | == Оценки и аттестация == | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
== Текущие оценки == | == Текущие оценки == |
Версия 04:00, 12 января 2024
Содержание
О курсе
Курс по выбору для студентов 2 курса в 1-2 модулях состоит из двух основных частей: теории вычислимых функции и классической логики первого порядка.
Группы | Группа 1 | Группа 2 | Группа 4 |
---|---|---|---|
Лектор | Дашков Евгений Владимирович Telegram | ||
Семинаристы | Дашков Евгений Владимирович Telegram | Оноприенко Анастасия Александровна Telegram | Таламбуца Алексей Леонидович |
Ассистенты | |||
Ассистент лектора |
Полезные ссылки
Материалы курса
Лекции
Лекции и семинары Е. Дашкова (записи прошлого года)
Конспект по формулам логики предикатов
Конспект по структурам (только определения и список задач --- черновик!)
Семинары
Листки с задачами для семинаров
Домашние задания
Сроки сдачи
Задание | Группа 1 | Группа 2 | Группа 4 |
---|---|---|---|
ДЗ 1 | |||
ДЗ 2 | |||
ДЗ 3 | |||
ДЗ 4 | |||
ДЗ 5 |
Срок сдачи задания устанавливается семинаристом группы.
Коллоквиум
Экзамен
Оценки и аттестация
Текущие оценки
- [тут будет ссылка на таблицу Ведомость]
Прочие ресурсы
Основная литература
1. Н.К. Верещагин, А. Шень. Вычислимые функции. М.:МЦНМО, 2017.
2. Н.К. Верещагин, А. Шень. Языки и исчисления. М.:МЦНМО, 2017.