Математическая логика 5SE весна 2018

Материал из SEWiki
Версия от 20:48, 23 мая 2018; Moskvin (обсуждение | вклад) (Лекции)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

Лекции

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

Лекция 1. Логика высказываний

Лекция 2. Полные системы связок

Лекция 3. Исчисление высказываний гильбертовского типа

Лекция 4. Исчисление высказываний генценовского типа

Лекция 5. Интуиционистское исчисление высказываний

Лекция 6. Логика предикатов первого порядка

Лекция 7. Общезначимые формулы логики предикатов(версия за 2017 год)

Лекция 8. Исчисление предикатов гильбертовского типа

Лекция 9. Теорема Гёделя о полноте исчисления предикатов

Лекция 10. Секвенциальное исчисление предикатов

Лекция 11. Вычислимость, разрешимость, перечислимость

Практика

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

Таблица результатов

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

Правила игры

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

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

Дедлайны

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

Зачет

  • Сдать все домашние задания, набрав не менее 80% от общей суммы баллов