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

Версия 19:21, 21 марта 2018

Лекции

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

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

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

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

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

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

Практика

Преподаватель: Жаворонков Эдгар

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

Контакты:

• Почта
• Telegram

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

• Листок с занятия и домашнее задание 1 (Дедлайн(мягкий): 20.03.2018 23:59)

Правила игры

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

Домашние задания сдаются мне на почту в виде pdf-файлов. Обратите внимание на электронный адрес, куда необходимо присылать решения. Кроме того, не забывайте указывать тему у писем. Письма без темы будут игнорироваться. Мне не очень принципиально, как вы получили pdf-файл, но все же хочется видеть что-то откомпилированное из LaTeX'а. Кроме того, я, возможно, попрошу написать что-нибудь на хаскеле, но об этом я постараюсь сказать заранее. Занятия проходят один раз в две недели, листки с занятий я выкладываю обычно в течение дня-двух после пары.

Дедлайны

На вики я пишу мягкий дедлайн до которого мне можно присылать решения, и я постараюсь ответить и, в случае чего, вы можете прислать мне исправления. Жесткий дедлайн, после которого я не смотрю решения -- начало пары. Если вы прислали решение после мягкого дедлайна, то я постараюсь ответить вам в течение дня, но не готов гарантировать, что буду принимать исправления. Решения присланные после жесткого дедлайна -- не оцениваются.

Зачет

Критериев получения зачета ровно один:

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