ФП 2MIT осень 2017 — различия между версиями
(→Лекции) |
(→Всякая информация) |
||
| Строка 21: | Строка 21: | ||
* [[Медиа:Sem02.pdf|Семинар и домашнее задание 2]] ('''Дедлайн: 18.09.2017 23:59''') — [[Медиа:Sem02.md.zip | Исходник]] | * [[Медиа:Sem02.pdf|Семинар и домашнее задание 2]] ('''Дедлайн: 18.09.2017 23:59''') — [[Медиа:Sem02.md.zip | Исходник]] | ||
| − | === | + | === Правила игры и прочее === |
==== Сдача домашних заданий ==== | ==== Сдача домашних заданий ==== | ||
| − | Первые три домашних задания сдаются | + | Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит). |
Начиная с четвертого домашнего задания вы будете писать код на хаскеле и дальше будет видно, будете ли вы присылать мне .hs-исходники, или мы придумаем еще какой-либо формат сдачи. Это подводит нас к мысли, что вам понадобится поставить некоторый тулчейн. Как это сделать -- я расскажу позже(или вам расскажут об этом на лекции). | Начиная с четвертого домашнего задания вы будете писать код на хаскеле и дальше будет видно, будете ли вы присылать мне .hs-исходники, или мы придумаем еще какой-либо формат сдачи. Это подводит нас к мысли, что вам понадобится поставить некоторый тулчейн. Как это сделать -- я расскажу позже(или вам расскажут об этом на лекции). | ||
| + | |||
| + | ==== Дедлайны ==== | ||
| + | |||
| + | На вики я пишу мягкий дедлайн до которого мне можно присылать решения, и я постараюсь ответить и, в случае чего, вы можете прислать мне исправления. Жесткий дедлайн, после которого я не смотрю решения -- начало пары. Если вы прислали решение после мягкого дедлайна, то я постараюсь ответить вам в течение дня, но не готов гарантировать, что буду принимать исправления. Решения присланные после жесткого дедлайна -- не оцениваются. | ||
| + | |||
| + | ==== Зачет ==== | ||
| + | |||
| + | Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей: | ||
| + | * Сдать все теоретические домашние задания(ими считаются первые три) | ||
| + | * Получить не менее TBD от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий | ||
| + | * Сдать алгоритм вывода типов(ближе к концу семестра) | ||
| + | |||
| + | Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке. | ||
Версия 19:20, 19 сентября 2017
Содержание
Лекции
Преподаватель: Москвин Д Н. Табличка с баллами
Практика Москвин
Практика Жаворонков
Контакты:
Материалы с занятий и домашние задания:
- Семинар и домашнее задание 1 (Дедлайн: 11.09.2017 23:59) — Исходник (удалите расширение .png)
- Семинар и домашнее задание 2 (Дедлайн: 18.09.2017 23:59) — Исходник
Правила игры и прочее
Сдача домашних заданий
Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит).
Начиная с четвертого домашнего задания вы будете писать код на хаскеле и дальше будет видно, будете ли вы присылать мне .hs-исходники, или мы придумаем еще какой-либо формат сдачи. Это подводит нас к мысли, что вам понадобится поставить некоторый тулчейн. Как это сделать -- я расскажу позже(или вам расскажут об этом на лекции).
Дедлайны
На вики я пишу мягкий дедлайн до которого мне можно присылать решения, и я постараюсь ответить и, в случае чего, вы можете прислать мне исправления. Жесткий дедлайн, после которого я не смотрю решения -- начало пары. Если вы прислали решение после мягкого дедлайна, то я постараюсь ответить вам в течение дня, но не готов гарантировать, что буду принимать исправления. Решения присланные после жесткого дедлайна -- не оцениваются.
Зачет
Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей:
- Сдать все теоретические домашние задания(ими считаются первые три)
- Получить не менее TBD от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий
- Сдать алгоритм вывода типов(ближе к концу семестра)
Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке.
