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

Материал из CSC Wiki
Перейти к:навигация, поиск
(Материалы)
(Материалы с занятий и домашние задания:)
Строка 62: Строка 62:
 
* [[Медиа:Logic-hw04.zip|Задание 4]] до '''16.03.2020 23:59''' (мягкий). Для зачета надо набрать 6 из 7 баллов
 
* [[Медиа:Logic-hw04.zip|Задание 4]] до '''16.03.2020 23:59''' (мягкий). Для зачета надо набрать 6 из 7 баллов
 
* [[Медиа:Logic-hw05.zip|Задание 5]] до '''24.03.2020 23:59''' (мягкий). Для зачета надо набрать 13 из 15 баллов
 
* [[Медиа:Logic-hw05.zip|Задание 5]] до '''24.03.2020 23:59''' (мягкий). Для зачета надо набрать 13 из 15 баллов
 +
* [[Медиа:Logic-hw06.pdf|Задание 5]] до '''31.03.2020 23:59''' (мягкий). Для зачета надо решить все задания
  
 
=== Правила игры ===  
 
=== Правила игры ===  

Версия 16:58, 26 марта 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. Общезначимые формулы логики предикатов 18.03.2020 (ср) 15:20-16:40,

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

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

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

Лекция 11. Вычислимость, разрешимость, перечислимость 15.04.2020 (ср) 15:20-16:40,

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

Лекция 13. Модели вычислений 29.04.2020 (ср) 15:20-16:40,

Лекция 14. Рекурсивные функции 13.05.2020 (ср) 15:20-16:40,

Литература

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

Верещагин Н., Шень А. Лекции по математической логике и теории алгоритмов. Часть 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 баллов
  • Задание 5 до 31.03.2020 23:59 (мягкий). Для зачета надо решить все задания

Правила игры

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

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

Дедлайны

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

Зачет

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

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

d.khalansky+logic2020@gmail.com

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

Требования

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

Материалы

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

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

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

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

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

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