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

Материал из SEWiki
Перейти к: навигация, поиск

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

Лекции

Практика

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

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

Контакты:

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

Правила игры

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

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

Дедлайны

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

Зачет

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

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