Математическая логика ПМИ 22/23
Содержание
[убрать]О курсе
Курс по выбору для студентов 2 курса в 1-2 модулях состоит из двух основных частей: теории вычислимых функции и классической логики первого порядка.
Лектор: Дашков Евгений Владимирович
Семинаристы:
| Группа | Преподаватель | Учебный ассистент | classroom | Консультации |
|---|---|---|---|---|
| 1 | Оноприенко Анастасия Александровна Telegram | Георгий Михеенков | ссылка | онлайн, по договорённости в Telegram |
Полезные ссылки
Телеграм-чат курса: https://t.me/joinchat/M0dUGBBjmuJAEs3JmWbU2A
Материалы курса
Лекции
Лекции и семинары Е. Дашкова (записи текущего года)
Конспект по формулам логики предикатов
Конспект по структурам (только определения и список задач --- черновик!)
Семинары
Листки с задачами для семинаров
Домашние задания
| Задание | Срок сдачи |
|---|---|
| ДЗ 1 | 20.09 |
| ДЗ 2 | 04.10 |
| ДЗ 3, задачи 1-7 | 07.11 |
| ДЗ 4 | 01.12 |
| ДЗ 5 | 22.12 |
Срок сдачи задания устанавливается семинаристом группы.
Коллоквиум
Обновлено 12.12.2022
Программа и правила коллоквиума. Коллоквиум предполагается провести на последней учебной неделе. Будет назначена официальная дата, но мы распределим студентов небольшими группами и на несколько окружающих ее дней.
Экзамен
Оценки и аттестация
В течение семестра проводится устный коллоквиум (КОЛ), выдается и проверяется письменное домашнее задание (ДЗ).
Домашнее задание выдается частями, каждую из которых следует сдавать в установленные сроки. Преподаватель вправе потребовать от любого студента "защитить" (т.е. изложить устно, отвечая на возникающие при этом вопросы) решение любой из зачтенных этому студенту задач ДЗ. В случае неуспешной защиты, баллы за соответствующую часть ДЗ могут быть снижены, в т.ч. до нуля.
Оценка КОЛ выставляется по десятибалльной системе без округления (т.е. с максимальной доступной используемым вычислительным средствам точностью). Оценка ДЗ выставляется в долях единицы также без округления, причем она может превосходить единицу засчет "бонусных баллов".
По курсу проводится экзамен, оцениваемый по десятибалльной системе оценкой ЭКЗ. Результирующая оценка Р по дисциплине вычисляется по формуле
Р = ОКРУГЛ ( min (10, 0.35 * ЭКЗ + 0.35 * КОЛ + 3 * ДЗ) ),
причем применяются обычные правила округления, но полуцелые числа округляются вверх
Текущие оценки
Прочие ресурсы
Основная литература
1. Н.К. Верещагин, А. Шень. Вычислимые функции. М.:МЦНМО, 2017.
2. Н.К. Верещагин, А. Шень. Языки и исчисления. М.:МЦНМО, 2017.
