Математическая логика — различия между версиями

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
(О курсе)
 
(не показано 50 промежуточных версии 5 участников)
Строка 12: Строка 12:
 
! Группа !! Преподаватель !! Учебный ассистент || classroom || Чат в телеграм || Консультации
 
! Группа !! Преподаватель !! Учебный ассистент || classroom || Чат в телеграм || Консультации
 
|-
 
|-
| 1 || [https://www.hse.ru/staff/ansidiana Оноприенко Анастасия Александровна] [https://t.me/ansidiana Telegram] || [https://t.me/vslvskyy Василевская Юлия] || g6m5meu || https://t.me/joinchat/4JVat0ZcnuY4YjUy || онлайн, по договорённости в Telegram
+
| 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/4JVat0ZcnuY4YjUy || онлайн, по договорённости в Telegram
+
| 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 Шитов Александр] || 3zbutmx  || [https://t.me/joinchat/OEXzV66uIoEwYjQy Группа 4] || онлайн, по договорённости в Telegram
+
| 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 Конспект по структурам (только определения и список задач --- черновик!)]
  
 
=== Семинары ===
 
=== Семинары ===
 
==== Листки с задачами для семинаров ====
 
==== Листки с задачами для семинаров ====
[https://drive.google.com/file/d/1i-2OA_pQcJ8c5Jbosb6UuFriDhcV0xVn/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/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]
  
 
=== Домашние задания ===
 
=== Домашние задания ===
 +
{| class="wikitable"
 +
|-
 +
! Задание !! colspan="4" | Срок сдачи в группе
 +
|-
 +
| || 1  || 2 || 3 || 4
 +
|-
 +
| [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
 +
|}
  
 +
Срок сдачи задания устанавливается семинаристом группы.
  
 
=== Коллоквиум  ===
 
=== Коллоквиум  ===
  
 +
[https://drive.google.com/file/d/1Cj0rHYCOWBecConNKGxjyM9jWtpldqSr/view?usp=sharing Программа и правила] коллоквиума. Коллоквиум предполагается провести на последней учебной неделе. Будет назначена официальная дата, но мы распределим студентов небольшими группами и на несколько окружающих ее дней.
  
 
=== Экзамен ===
 
=== Экзамен ===
  
 +
== Оценки и аттестация ==
  
=== Итоговая оценка за курс ===
+
В течение семестра проводится устный  коллоквиум (КОЛ), выдается и проверяется письменное домашнее задание (ДЗ).
  
Итог = Округление(min(10, 0.3 * ДЗ + 0.35 * К + 0.35 * Э))
+
Домашнее задание выдается частями, каждую из которых следует сдавать в установленные сроки. Преподаватель вправе
 +
потребовать от любого студента "защитить" (т.е. изложить устно, отвечая на возникающие при этом вопросы) решение
 +
любой из зачтенных этому студенту задач ДЗ. В случае неуспешной защиты, баллы за соответствующую часть ДЗ могут
 +
быть снижены, в т.ч. до нуля.
  
* ДЗ –– средняя оценка за домашние задания
+
Оценка КОЛ выставляется по десятибалльной системе без округления  (т.е. с максимальной доступной используемым вычислительным
 +
средствам точностью). Оценка ДЗ выставляется в долях единицы также без округления, причем она может превосходить единицу засчет
 +
"бонусных баллов".
  
* К –– оценка за коллоквиум
+
По курсу проводится экзамен, оцениваемый по десятибалльной системе оценкой ЭКЗ. Результирующая оценка Р по дисциплине вычисляется по формуле
  
* Э –– письменный экзамен
+
Р = ОКРУГЛ ( min (10, 0.35 * ЭКЗ + 0.35 * КОЛ + 3 * ДЗ) ),
  
Округление арифметическое.
+
причем  применяются обычные правила округления, но полуцелые числа округляются вверх
  
Автоматы не предусмотрены.
+
== Текущие оценки ==
  
== Ресурсы ==
+
* [https://docs.google.com/spreadsheets/d/1-_-ez6PqiszuYpDarfJQBJm3zXevvNCDkc59wWVC6po Оценки за ДЗ]
 +
 
 +
== Прочие ресурсы ==
 +
 
 +
* [https://t.me/joinchat/TSVJDOHaWwuZZtTY Группа для обсуждения всех вопросов по курсу.]
  
 
* [https://drive.google.com/drive/folders/10pGBoYJ8B544pL0WZlq3hWc9cxwGaAg-?usp=sharing Директория с материалами курса]
 
* [https://drive.google.com/drive/folders/10pGBoYJ8B544pL0WZlq3hWc9cxwGaAg-?usp=sharing Директория с материалами курса]
  
* [https://www.youtube.com/watch?v=_xAoOF9_D6M&list=PL1Uob8iPTHGRZB9F2yjqXhGp75g1ZJFk- Видео лекций и некоторых семинаров 2020 г.]
+
* [https://www.youtube.com/playlist?list=PL1Uob8iPTHGRZB9F2yjqXhGp75g1ZJFk- Видео лекций и некоторых семинаров 2020 г.]
  
 
* [http://wiki.cs.hse.ru/DM2-base2020/2021#.D0.9A.D0.BE.D0.BD.D1.81.D0.BF.D0.B5.D0.BA.D1.82.D1.8B_.D1.81.D0.B5.D0.BC.D0.B8.D0.BD.D0.B0.D1.80.D0.BE.D0.B2 Конспекты семинаров Оноприенко А.А. за 2020-2021 учебный год]
 
* [http://wiki.cs.hse.ru/DM2-base2020/2021#.D0.9A.D0.BE.D0.BD.D1.81.D0.BF.D0.B5.D0.BA.D1.82.D1.8B_.D1.81.D0.B5.D0.BC.D0.B8.D0.BD.D0.B0.D1.80.D0.BE.D0.B2 Конспекты семинаров Оноприенко А.А. за 2020-2021 учебный год]
  
== Литература ==
+
== Основная литература ==
  
 
1. Н.К. Верещагин, А. Шень. [https://www.mccme.ru/free-books/shen/shen-logic-part3-5ed.pdf Вычислимые функции]. М.:МЦНМО, 2017.
 
1. Н.К. Верещагин, А. Шень. [https://www.mccme.ru/free-books/shen/shen-logic-part3-5ed.pdf Вычислимые функции]. М.:МЦНМО, 2017.
  
 
2. Н.К. Верещагин, А. Шень. [https://www.mccme.ru/free-books/shen/shen-logic-part2-5ed.pdf Языки и исчисления]. М.:МЦНМО, 2017.
 
2. Н.К. Верещагин, А. Шень. [https://www.mccme.ru/free-books/shen/shen-logic-part2-5ed.pdf Языки и исчисления]. М.:МЦНМО, 2017.
 
3. Ч. Чень, Р. Ли. Математическая логика и автоматическое доказательство теорем. М.: Наука, 1983.
 

Текущая версия на 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.