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

Материал из SEWiki
Перейти к: навигация, поиск
(Новая страница: «Преподаватель: Москвин Денис Николаевич ('''dmoskvin@gmail.com''') == Лекции == == Практика ==»)
 
(Практика)
Строка 4: Строка 4:
  
 
== Практика ==
 
== Практика ==
 +
 +
Преподаватель: Жаворонков Эдгар
 +
 +
[https://docs.google.com/spreadsheets/d/12IBjTSbLBJTR2xboGkLPMOz8_RRTLYiUh9JRPdyH6Y4/edit?usp=sharing Успеваемость]
 +
 +
=== Контакты: ===
 +
 +
* [mailto:edzhavoronkov+au-logic-spring2018@gmail.com Почта]
 +
* [https://t.me/EdgarZhavoronkov Telegram]
 +
 +
=== Материалы с занятий и домашние задания: ===
 +
 +
* [[Медиа:TODO.pdf|Листок с занятия и домашнее задание 1]] ('''Дедлайн(мягкий): 20.08.2018 23:59''')
 +
 +
=== Правила игры ===
 +
==== Сдача домашних заданий ====
 +
 +
Домашние задания сдаются мне на почту в виде pdf-файлов. Обратите внимание на электронный адрес, куда необходимо присылать решения. Кроме того, не забывайте указывать тему у писем. Письма без темы будут игнорироваться. Мне не очень принципиально, как вы получили pdf-файл, но все же хочется видеть что-то откомпилированное из LaTeX'а. Кроме того, я, возможно, попрошу написать что-нибудь на хаскеле, но об этом я постараюсь сказать заранее. Занятия проходят один раз в две недели, листки с занятий я выкладываю обычно в течение дня-двух после пары. 
 +
 +
==== Дедлайны ====
 +
 +
На вики я пишу мягкий дедлайн до которого мне можно присылать решения, и я постараюсь ответить и, в случае чего, вы можете прислать мне исправления. Жесткий дедлайн, после которого я не смотрю решения -- начало пары. Если вы прислали решение после мягкого дедлайна, то я постараюсь ответить вам в течение дня, но не готов гарантировать, что буду принимать исправления. Решения присланные после жесткого дедлайна -- не оцениваются.
 +
 +
==== Зачет ====
 +
 +
Критериев получения зачета ровно один:
 +
* Сдать все домашние задания, набрав не менее TBD% от общей суммы баллов

Версия 14:58, 23 февраля 2018

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

Лекции

Практика

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

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

Контакты:

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

Правила игры

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

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

Дедлайны

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

Зачет

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

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