Математическая логика ПМИ 22/23 — различия между версиями
Edashkov (обсуждение | вклад) (→Прочие ресурсы) |
Ansidiana (обсуждение | вклад) (→Домашние задания) |
||
(не показано 30 промежуточных версии 3 участников) | |||
Строка 10: | Строка 10: | ||
{| class="wikitable" | {| class="wikitable" | ||
|- | |- | ||
− | ! Группа !! Преподаватель !! Учебный ассистент || classroom | + | ! Группа !! Преподаватель !! Учебный ассистент || classroom || Консультации |
|- | |- | ||
− | | 1 || [https://www.hse.ru/staff/ansidiana Оноприенко Анастасия Александровна] [https://t.me/ansidiana Telegram] || | + | | 1 || [https://www.hse.ru/staff/ansidiana Оноприенко Анастасия Александровна] [https://t.me/ansidiana Telegram] || [https://t.me/Kilekirghoff Георгий Михеенков] || [https://classroom.google.com/c/NTQ2MDAyODk2NzE3?hl=ru&cjc=dyhiuyl ссылка] || онлайн, по договорённости в Telegram |
|} | |} | ||
Строка 30: | Строка 30: | ||
[https://drive.google.com/file/d/1VfDNhIZHbYnmYljvPyxJavQV48XTtU0E/view?usp=sharing Конспект по структурам (только определения и список задач --- черновик!)] | [https://drive.google.com/file/d/1VfDNhIZHbYnmYljvPyxJavQV48XTtU0E/view?usp=sharing Конспект по структурам (только определения и список задач --- черновик!)] | ||
+ | |||
+ | [https://www.youtube.com/watch?v=SvmozXjI4LM Лекция 20.10] | ||
+ | |||
+ | [https://drive.google.com/file/d/1vwxklCKg3Pbc-kY7RWbNmpPPzNdFx5yD/view?usp=sharing Доска с лекции 20.10] | ||
+ | |||
+ | [https://www.youtube.com/watch?v=9qHMI2aN0pI Лекция 29.10 (часть 1)] | ||
+ | |||
+ | [https://www.youtube.com/watch?v=jtrjpDBBrx4 Лекция 29.10 (часть 2)] | ||
+ | |||
+ | [https://www.youtube.com/watch?v=cm5tPvKAqLo Лекция 11.11 ] | ||
+ | |||
+ | [https://drive.google.com/file/d/1qZzwPyZlVsNgHN0VgHmG80Zmcbz60PUt/view?usp=sharing Доска с лекции 11.11 ] | ||
+ | |||
+ | [https://www.youtube.com/watch?v=95dImVMsq9k Лекция 18.11] | ||
+ | |||
+ | [https://drive.google.com/file/d/1joC1rDVjMwWnXUK-4D38mDwposOTLewG/view?usp=sharing Доска с лекции 18.11] | ||
=== Семинары === | === Семинары === | ||
Строка 35: | Строка 51: | ||
* [https://drive.google.com/file/d/1zzgaHzo5gbRY2WOzVg33dXyoMWj6xzTD/view?usp=sharing Листок 1] | * [https://drive.google.com/file/d/1zzgaHzo5gbRY2WOzVg33dXyoMWj6xzTD/view?usp=sharing Листок 1] | ||
+ | * [https://drive.google.com/file/d/1-S7QtSCcEoVhMP2cPKFbd_CBfMTzcwmF/view?usp=sharing Листок 2] | ||
+ | |||
+ | * [https://drive.google.com/file/d/1DUaWPdEZUxSdQfLu8V6aYev3iRUakfRh/view?usp=sharing Листок 3] | ||
+ | |||
+ | * [https://drive.google.com/file/d/1wo2iLkWeUXpEVJ7pVRa-ZA4gQRZ6f_tP/view?usp=sharing Листок 4] | ||
+ | |||
+ | * [https://drive.google.com/file/d/1lsjCotr8oE8zvjzlMy48Okp1P8sK2zcM/view?usp=share_link Листок 6] | ||
+ | |||
+ | * [https://drive.google.com/file/d/18O6BKP_11uhfHvsTofYnA5YKtVghHIQK/view?usp=share_link Листок 7] | ||
+ | |||
+ | * [https://drive.google.com/file/d/1GosUHPlXREfC8gx-bxcDrOczLWcNRnR2/view?usp=share_link Листок 8] | ||
+ | |||
+ | * [https://drive.google.com/file/d/17_lDU5nv4qfSAIIzQK_lhcpb4Zp-K971/view?usp=share_link Листок 9] | ||
+ | |||
+ | * [https://drive.google.com/file/d/1J3bdpPuqUGc7aDlUzaf8T3DQ0vxwrX7s/view?usp=share_link Листок 10] | ||
=== Домашние задания === | === Домашние задания === | ||
{| class="wikitable" | {| class="wikitable" | ||
|- | |- | ||
− | ! Задание !! | + | ! Задание !! Срок сдачи |
|- | |- | ||
− | | | + | | [https://drive.google.com/file/d/1tFxzOApeglNB3rwDdsH93_geX11_WQMb/view?usp=sharing ДЗ 1] || 20.09 |
|- | |- | ||
− | | [https://drive.google.com/file/d/ | + | | [https://drive.google.com/file/d/199sk-E-y_Y5V8Bdrtmm3EHT4DLt1TB7Z/view?usp=sharing ДЗ 2] || 04.10 |
+ | |- | ||
+ | | [https://drive.google.com/file/d/1CAa7b_1Z12xmQd-_W6nyqYiISY2bBuBq/view?usp=sharing ДЗ 3, задачи 1-7] || 07.11 | ||
+ | |- | ||
+ | | [https://drive.google.com/file/d/1G3B9gLWi4zmrKjMnhMCPSqG407EXO4nB/view?usp=share_link ДЗ 4] || 01.12 | ||
+ | |- | ||
+ | | [https://drive.google.com/file/d/1ijvsetH9bzQ7KK0dXdxxE9EelPLDo0cb/view?usp=share_link ДЗ 5] || 22.12 | ||
|} | |} | ||
Строка 50: | Строка 87: | ||
=== Коллоквиум === | === Коллоквиум === | ||
− | [https://drive.google.com/file/d/ | + | ''Обновлено 12.12.2022'' |
+ | |||
+ | [https://drive.google.com/file/d/1Ca2bzz492-sofas0f4EiGTc-8cvkUboE/view Программа и правила] коллоквиума. Коллоквиум предполагается провести на последней учебной неделе. Будет назначена официальная дата, но мы распределим студентов небольшими группами и на несколько окружающих ее дней. | ||
=== Экзамен === | === Экзамен === | ||
Строка 75: | Строка 114: | ||
== Текущие оценки == | == Текущие оценки == | ||
− | * [https://docs.google.com/spreadsheets/d/ | + | * [https://docs.google.com/spreadsheets/d/1Tl3W-osBe4q3u3npIBbwdCOgxhPVBi1ZYRZhiZJK5ZY/edit?usp=sharing Таблица] |
== Прочие ресурсы == | == Прочие ресурсы == |
Текущая версия на 13:00, 20 декабря 2022
Содержание
О курсе
Курс по выбору для студентов 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.