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

Материал из CSC Wiki
Перейти к:навигация, поиск
(Материалы с занятий и домашние задания:)
(Слайды)
Строка 28: Строка 28:
 
[[Медиа:mlc12IFMO2020.pdf|Лекция 12. Неразрешимые множества и их свойства]] 12.05.2020 (вт) 13:40-15:00, online
 
[[Медиа:mlc12IFMO2020.pdf|Лекция 12. Неразрешимые множества и их свойства]] 12.05.2020 (вт) 13:40-15:00, online
  
[[Медиа:mlc13IFMO2020.pdf|Лекция 13. Модели вычислений]] 19.05.2020 (вт) 13:40-15:00, online
+
[[Медиа:mlc13IFMO2020.pdf|Лекция 13. Модели вычислений]] 19.05.2020 (вт) 13:40-15:00, online, Халанский. [[Медиа:mlc13IFMO2020.svg|Картинка с доказательствами по машине Тьюринга]]
  
 
[[Медиа:mlc14IFMO2020.pdf|Лекция 14. Рекурсивные функции]] 26.05.2020 (вт) 13:40-15:00, online
 
[[Медиа:mlc14IFMO2020.pdf|Лекция 14. Рекурсивные функции]] 26.05.2020 (вт) 13:40-15:00, online

Версия 14:17, 19 мая 2020

Лекции

Преподаватель: Москвин Денис Николаевич (λxy.dmoskvinxgmailycom)@.

Слайды

Лекция 1. Логика высказываний 11.02.2020 (вт) 13:40-15:00, Таймс, черные доски

Лекция 2. Полные системы связок 12.02.2020 (ср) 15:20-16:40, Таймс, ауд. 412

Лекция 3. Исчисление высказываний гильбертовского типа 19.02.2020 (ср) 15:20-16:40, Таймс, ауд. 412

Лекция 4. Исчисление высказываний генценовского типа 26.02.2020 (ср) 15:20-16:40, Таймс, ауд. 412

Лекция 5. Интуиционистское исчисление высказываний 04.03.2020 (ср) 15:20-16:40, Таймс, ауд. 412

Лекция 6. Логика предикатов первого порядка 11.03.2020 (ср) 15:20-16:40, Таймс, ауд. 412

Лекция 7. Общезначимые формулы логики предикатов 24.03.2020 (ср) 15:20-16:40, online, Дм.Халанский (слайды прошлогодние)

Лекция 8. Исчисление предикатов гильбертовского типа 07.04.2020 (вт) 13:40-15:00, online

Лекция 9. Теорема Гёделя о полноте исчисления предикатов 14.04.2020 (вт) 13:40-15:00, online

Лекция 10. Секвенциальное исчисление предикатов 21.04.2020 (вт) 13:40-15:00, online

Лекция 11. Вычислимость, разрешимость, перечислимость 28.04.2020 (вт) 13:40-15:00, online

Лекция 12. Неразрешимые множества и их свойства 12.05.2020 (вт) 13:40-15:00, online

Лекция 13. Модели вычислений 19.05.2020 (вт) 13:40-15:00, online, Халанский. Картинка с доказательствами по машине Тьюринга

Лекция 14. Рекурсивные функции 26.05.2020 (вт) 13:40-15:00, online

Литература

Книги перечислены в убывающем порядке важности для изучения курса.

Верещагин Н., Шень А. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. — МЦНМО, 2017. — 240 с.

Верещагин Н., Шень А. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции. — МЦНМО, 2017. — 160 с.

Герасимов А. Курс математической логики и теории вычислимости. — Лема, СПб, 2011. — 284 с.

Верещагин Н., Шень А. Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств. — МЦНМО, 2017. — 112 с.

Колмогоров А. Н., Драгалин А. Г. Математическая логика. — М.:ЛЕНАНД УРСС, 2017. — 234 с.

Колмогоров А. Н., Драгалин А. Г. Математическая логика: Дополнительные главы. — М.:Едиториал УРСС, 2018. — 240 с.

Плиско В. Е., Хаханян В. Х. Интуиционистская логика. — М.: Изд-во при мех.-мат. ф-те МГУ, 2009. — 159 с.

Практика Жаворонков

Жаворонков Эдгар: почта / telegram

Успеваемость

Материалы с занятий и домашние задания:

  • Задание 1 до 24.02.2020 23:59 (мягкий). Для зачета надо набрать 6 из 7 баллов
  • Задание 2 до 02.03.2020 23:59 (мягкий). Для зачета надо набрать 7 из 10 баллов
  • Задание 3 до 09.03.2020 23:59 (мягкий). Для зачета надо набрать 8 из 11 баллов
  • Задание 4 до 16.03.2020 23:59 (мягкий). Для зачета надо набрать 6 из 7 баллов
  • Задание 5 до 24.03.2020 23:59 (мягкий). Для зачета надо набрать 13 из 15 баллов
  • Задание 6 до 07.04.2020 23:59 (мягкий). Для зачета надо решить все задания
  • Задание 7 до 14.04.2020 23:59 (мягкий). Для зачета надо решить все задания
  • Задание 8 до 21.04.2020 23:59 (мягкий). Для зачета надо набрать 7 из 9 баллов
  • Задание 9 до 27.04.2020 23:59 (мягкий). Для зачета надо решить все задания
  • Задание 10 до 12.05.2020 23:59 (мягкий). Для зачета надо набрать 5 из 7 баллов
  • Код с пары 13.05.2020

Правила игры

Сдача домашних заданий

  • На почту с указанием темы (без неё игнорируются)
  • В виде PDF-файлов (LaTeX)

Дедлайны

  • До мягкого дедлайна — можно отправлять исправления, постараюсь ответить
  • После мягкого дедлайна — проверка один раз; не уверен, что буду принимать исправления
  • После жёсткого дедлайна — не оцениваются

Зачет

  • Сдать все домашние задания. ДЗ считается сданным, если набран указанный процент от его максимальной стоимости

Практика Халанский

d.khalansky+logic2020@gmail.com

Формат темы: "Фамилия Имя-Номер задания".

Требования

Набрать не менее 80% суммарно по всем темам.

Материалы

Везде подразумевается задание 0: перечитайте слайды лекции и убедитесь, что все понятия ясны. Если это не так, обращайтесь ко мне за помощью. Некоторые задания проверяют понимание лекционного материала, который не повторялся на практике.

1. задание исходник; конспект исходник

2. задание исходник Haskell-часть; конспект исходник

3. задание исходник Haskell-часть; конспект исходник

4. задание исходник Haskell-часть; конспект исходник

5. задание исходник

6. задание исходник; конспект исходник

7. задание исходник; конспект исходник

8. задание + пояснения исходник

9. задание Определения не такие же, какие были показаны на занятии, потому что нашлась модель чуть удобнее. Теперь все алгоритмы определены как пара из начального состояния и описания шага.

10. задание исходник дополнительные задачи, крайнего срока сдачи нет.