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

Материал из SEWiki
Перейти к: навигация, поиск
(Лекции)
(Лекции)
Строка 3: Строка 3:
 
== Лекции ==
 
== Лекции ==
  
[[Файл:Mlc01_2018.pdf]]
+
[[Медиа:Mlc01_2018.pdf|Лекция 1]]
  
 
== Практика ==
 
== Практика ==

Версия 13:39, 26 февраля 2018

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

Лекции

Лекция 1

Практика

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

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

Контакты:

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

Правила игры

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

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

Дедлайны

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

Зачет

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

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