Математическая логика — различия между версиями
Материал из Wiki - Факультет компьютерных наук
Edashkov (обсуждение | вклад) (→Листки с задачами для семинаров) |
A T G (обсуждение | вклад) |
||
| (не показано 29 промежуточных версии 5 участников) | |||
| Строка 12: | Строка 12: | ||
! Группа !! Преподаватель !! Учебный ассистент || classroom || Чат в телеграм || Консультации | ! Группа !! Преподаватель !! Учебный ассистент || classroom || Чат в телеграм || Консультации | ||
|- | |- | ||
| − | | 1 || [https://www.hse.ru/staff/ansidiana Оноприенко Анастасия Александровна] [https://t.me/ansidiana Telegram] || [https://t.me/vslvskyy | + | | 1 || [https://www.hse.ru/staff/ansidiana Оноприенко Анастасия Александровна] [https://t.me/ansidiana Telegram] || Василевская Юлия [https://t.me/vslvskyy Telegram] || g6m5meu || https://t.me/joinchat/ZeOwa21ph4s4N2Q6 || онлайн, по договорённости в Telegram |
|- | |- | ||
| 2 || Дашков Евгений Владимирович [https://t.me/edashkov Telegram] || Лямзин Алексей [https://t.me/almondflower Telegram] || x6nty3k || https://t.me/joinchat/SpWx9TdiD1E1MzVi || онлайн, по договорённости в Telegram | | 2 || Дашков Евгений Владимирович [https://t.me/edashkov Telegram] || Лямзин Алексей [https://t.me/almondflower Telegram] || x6nty3k || https://t.me/joinchat/SpWx9TdiD1E1MzVi || онлайн, по договорённости в Telegram | ||
|- | |- | ||
| − | | 3 || [https://www.hse.ru/staff/ansidiana Оноприенко Анастасия Александровна] [https://t.me/ansidiana Telegram] || Березовский Валерий || || https://t.me/joinchat/ | + | | 3 || [https://www.hse.ru/staff/ansidiana Оноприенко Анастасия Александровна] [https://t.me/ansidiana Telegram] || Березовский Валерий || eijvv6i || https://t.me/joinchat/ZeOwa21ph4s4N2Q6 || онлайн, по договорённости в Telegram |
|- | |- | ||
| − | | 4 || [https://www.hse.ru/org/persons/218355200 Запрягаев Александр Александрович] [https://t.me/azapryagaev Telegram] || [https://t.me/AtgshkaSan | + | | 4 || [https://www.hse.ru/org/persons/218355200 Запрягаев Александр Александрович] [https://t.me/azapryagaev Telegram] || Шитов Александр [https://t.me/AtgshkaSan Telegram] || 3zbutmx || https://t.me/joinchat/OEXzV66uIoEwYjQy || онлайн, по договорённости в Telegram |
|} | |} | ||
| Строка 25: | Строка 25: | ||
Телеграм-чат курса: https://t.me/joinchat/M0dUGBBjmuJAEs3JmWbU2A | Телеграм-чат курса: https://t.me/joinchat/M0dUGBBjmuJAEs3JmWbU2A | ||
| − | == | + | == Материалы курса == |
=== Лекции === | === Лекции === | ||
| − | [https://drive.google.com/file/d/13QUtHNIkxE402as8tsJgCwewcZag78HV/view?usp=sharing | + | |
| + | [https://www.youtube.com/playlist?list=PLEwK9wdS5g0rCmFF5jX96XItpo7M7lR99 Лекции и семинары Е. Дашкова (записи текущего года)] | ||
| + | |||
| + | [https://drive.google.com/file/d/13QUtHNIkxE402as8tsJgCwewcZag78HV/view?usp=sharing Конспект по вычислимости] | ||
| + | |||
| + | [https://drive.google.com/file/d/1V3QNOfANqZbiacI0d_2aLy8l1gZP0rTc/view?usp=sharing Конспект по формулам логики предикатов] | ||
| + | |||
| + | [https://drive.google.com/file/d/1VfDNhIZHbYnmYljvPyxJavQV48XTtU0E/view?usp=sharing Конспект по структурам (только определения и список задач --- черновик!)] | ||
=== Семинары === | === Семинары === | ||
| Строка 35: | Строка 42: | ||
* [https://drive.google.com/file/d/1-S7QtSCcEoVhMP2cPKFbd_CBfMTzcwmF/view?usp=sharing Листок 2] | * [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/1fQuYusSN_W7HVYfqUH-KHl7flLvMjVWT/view?usp=sharing Листок 5] | ||
| + | |||
| + | * [https://drive.google.com/file/d/1lsjCotr8oE8zvjzlMy48Okp1P8sK2zcM/view?usp=sharing Листок 6] | ||
| + | |||
| + | * [https://drive.google.com/file/d/18O6BKP_11uhfHvsTofYnA5YKtVghHIQK/view?usp=sharing Листок 7] | ||
| + | |||
| + | * [https://drive.google.com/file/d/1GosUHPlXREfC8gx-bxcDrOczLWcNRnR2/view?usp=sharing Листок 8] | ||
| + | |||
| + | * [https://drive.google.com/file/d/17_lDU5nv4qfSAIIzQK_lhcpb4Zp-K971/view?usp=sharing Листок 9] | ||
| + | |||
| + | * [https://drive.google.com/file/d/1J3bdpPuqUGc7aDlUzaf8T3DQ0vxwrX7s/view?usp=sharing Листок 10] | ||
=== Домашние задания === | === Домашние задания === | ||
| Строка 44: | Строка 67: | ||
|- | |- | ||
| [https://drive.google.com/file/d/1tFxzOApeglNB3rwDdsH93_geX11_WQMb/view?usp=sharing ДЗ 1] || 24.09 || 24.09 || 24.09 || 24.09 | | [https://drive.google.com/file/d/1tFxzOApeglNB3rwDdsH93_geX11_WQMb/view?usp=sharing ДЗ 1] || 24.09 || 24.09 || 24.09 || 24.09 | ||
| + | |- | ||
| + | | [https://drive.google.com/file/d/199sk-E-y_Y5V8Bdrtmm3EHT4DLt1TB7Z/view?usp=sharing ДЗ 2] || 08.10 || 10.10 || 08.10 || 08.10 | ||
| + | |- | ||
| + | | [https://drive.google.com/file/d/1CAa7b_1Z12xmQd-_W6nyqYiISY2bBuBq/view?usp=sharing ДЗ 3] || 07.11 || 07.11 || 07.11 || 07.11 | ||
| + | |- | ||
| + | | [https://drive.google.com/file/d/1G3B9gLWi4zmrKjMnhMCPSqG407EXO4nB/view?usp=sharing ДЗ 4] || 21.11 || 21.11 || 21.11 || 21.11 | ||
| + | |- | ||
| + | | [https://drive.google.com/file/d/1ijvsetH9bzQ7KK0dXdxxE9EelPLDo0cb/view?usp=sharing ДЗ 5] || 06.12 || 06.12 || 06.12 || 06.12 | ||
| + | |- | ||
| + | | [https://drive.google.com/file/d/1b4dXAHGjBWxuYEN3Pj7Rv2HdgfBj7SEz/view?usp=sharing ДЗ 6] || 24.12 || 24.12 || 24.12 || 24.12 | ||
|} | |} | ||
| Строка 50: | Строка 83: | ||
=== Коллоквиум === | === Коллоквиум === | ||
| + | [https://drive.google.com/file/d/1Cj0rHYCOWBecConNKGxjyM9jWtpldqSr/view?usp=sharing Программа и правила] коллоквиума. Коллоквиум предполагается провести на последней учебной неделе. Будет назначена официальная дата, но мы распределим студентов небольшими группами и на несколько окружающих ее дней. | ||
=== Экзамен === | === Экзамен === | ||
| − | |||
== Оценки и аттестация == | == Оценки и аттестация == | ||
| Строка 73: | Строка 106: | ||
причем применяются обычные правила округления, но полуцелые числа округляются вверх | причем применяются обычные правила округления, но полуцелые числа округляются вверх | ||
| − | == | + | == Текущие оценки == |
| + | |||
| + | * [https://docs.google.com/spreadsheets/d/1-_-ez6PqiszuYpDarfJQBJm3zXevvNCDkc59wWVC6po Оценки за ДЗ] | ||
| + | |||
| + | == Прочие ресурсы == | ||
* [https://t.me/joinchat/TSVJDOHaWwuZZtTY Группа для обсуждения всех вопросов по курсу.] | * [https://t.me/joinchat/TSVJDOHaWwuZZtTY Группа для обсуждения всех вопросов по курсу.] | ||
Текущая версия на 18:05, 21 декабря 2021
Содержание
О курсе
Курс для студентов 2 курса в 1-2 модулях.
Лектор: Дашков Евгений Владимирович
Семинаристы:
| Группа | Преподаватель | Учебный ассистент | classroom | Чат в телеграм | Консультации |
|---|---|---|---|---|---|
| 1 | Оноприенко Анастасия Александровна Telegram | Василевская Юлия Telegram | g6m5meu | https://t.me/joinchat/ZeOwa21ph4s4N2Q6 | онлайн, по договорённости в Telegram |
| 2 | Дашков Евгений Владимирович Telegram | Лямзин Алексей Telegram | x6nty3k | https://t.me/joinchat/SpWx9TdiD1E1MzVi | онлайн, по договорённости в Telegram |
| 3 | Оноприенко Анастасия Александровна Telegram | Березовский Валерий | eijvv6i | https://t.me/joinchat/ZeOwa21ph4s4N2Q6 | онлайн, по договорённости в Telegram |
| 4 | Запрягаев Александр Александрович Telegram | Шитов Александр Telegram | 3zbutmx | https://t.me/joinchat/OEXzV66uIoEwYjQy | онлайн, по договорённости в Telegram |
Полезные ссылки
Телеграм-чат курса: https://t.me/joinchat/M0dUGBBjmuJAEs3JmWbU2A
Материалы курса
Лекции
Лекции и семинары Е. Дашкова (записи текущего года)
Конспект по формулам логики предикатов
Конспект по структурам (только определения и список задач --- черновик!)
Семинары
Листки с задачами для семинаров
Домашние задания
| Задание | Срок сдачи в группе | |||
|---|---|---|---|---|
| 1 | 2 | 3 | 4 | |
| ДЗ 1 | 24.09 | 24.09 | 24.09 | 24.09 |
| ДЗ 2 | 08.10 | 10.10 | 08.10 | 08.10 |
| ДЗ 3 | 07.11 | 07.11 | 07.11 | 07.11 |
| ДЗ 4 | 21.11 | 21.11 | 21.11 | 21.11 |
| ДЗ 5 | 06.12 | 06.12 | 06.12 | 06.12 |
| ДЗ 6 | 24.12 | 24.12 | 24.12 | 24.12 |
Срок сдачи задания устанавливается семинаристом группы.
Коллоквиум
Программа и правила коллоквиума. Коллоквиум предполагается провести на последней учебной неделе. Будет назначена официальная дата, но мы распределим студентов небольшими группами и на несколько окружающих ее дней.
Экзамен
Оценки и аттестация
В течение семестра проводится устный коллоквиум (КОЛ), выдается и проверяется письменное домашнее задание (ДЗ).
Домашнее задание выдается частями, каждую из которых следует сдавать в установленные сроки. Преподаватель вправе потребовать от любого студента "защитить" (т.е. изложить устно, отвечая на возникающие при этом вопросы) решение любой из зачтенных этому студенту задач ДЗ. В случае неуспешной защиты, баллы за соответствующую часть ДЗ могут быть снижены, в т.ч. до нуля.
Оценка КОЛ выставляется по десятибалльной системе без округления (т.е. с максимальной доступной используемым вычислительным средствам точностью). Оценка ДЗ выставляется в долях единицы также без округления, причем она может превосходить единицу засчет "бонусных баллов".
По курсу проводится экзамен, оцениваемый по десятибалльной системе оценкой ЭКЗ. Результирующая оценка Р по дисциплине вычисляется по формуле
Р = ОКРУГЛ ( min (10, 0.35 * ЭКЗ + 0.35 * КОЛ + 3 * ДЗ) ),
причем применяются обычные правила округления, но полуцелые числа округляются вверх
Текущие оценки
Прочие ресурсы
Основная литература
1. Н.К. Верещагин, А. Шень. Вычислимые функции. М.:МЦНМО, 2017.
2. Н.К. Верещагин, А. Шень. Языки и исчисления. М.:МЦНМО, 2017.
