Математическая логика 5SE весна 2018
Содержание
Лекции
Преподаватель: Москвин Денис Николаевич (dmoskvin@gmail.com)
Лекция 2. Полные системы связок
Лекция 3. Исчисление высказываний гильбертовского типа
Лекция 4. Исчисление высказываний генценовского типа
Лекция 5. Интуиционистское исчисление высказываний
Практика
Преподаватель: Жаворонков Эдгар
Контакты:
Материалы с занятий и домашние задания:
- Листок с занятия и домашнее задание 1(tex)(Дедлайн(мягкий): 20.03.2018 23:59)
- Листок с занятия и домашнее задание 2(tex)(Дедлайн(мягкий): 03.04.2018 23:59)
Правила игры
Сдача домашних заданий
Домашние задания сдаются мне на почту в виде pdf-файлов. Обратите внимание на электронный адрес, куда необходимо присылать решения. Кроме того, не забывайте указывать тему у писем. Письма без темы будут игнорироваться. Мне не очень принципиально, как вы получили pdf-файл, но все же хочется видеть что-то откомпилированное из LaTeX'а. Кроме того, я, возможно, попрошу написать что-нибудь на хаскеле, но об этом я постараюсь сказать заранее. Занятия проходят один раз в две недели, листки с занятий я выкладываю обычно в течение дня-двух после пары.
Дедлайны
На вики я пишу мягкий дедлайн до которого мне можно присылать решения, и я постараюсь ответить и, в случае чего, вы можете прислать мне исправления. Жесткий дедлайн, после которого я не смотрю решения -- начало пары. Если вы прислали решение после мягкого дедлайна, то я постараюсь ответить вам в течение дня, но не готов гарантировать, что буду принимать исправления. Решения присланные после жесткого дедлайна -- не оцениваются.
Зачет
Критериев получения зачета ровно один:
- Сдать все домашние задания, набрав не менее TBD% от общей суммы баллов
