ФП 2MIT осень 2017 — различия между версиями

Материал из SEWiki
Перейти к: навигация, поиск
(→‎Практика Москвин)
(→‎Лекции)
 
(не показано 26 промежуточных версий 4 участников)
Строка 2: Строка 2:
 
== Лекции ==
 
== Лекции ==
 
Преподаватель: Москвин Д Н.
 
Преподаватель: Москвин Д Н.
 +
 +
* [[Медиа:Fpc01_170905.pdf|Лекция #1]]
 +
* [[Медиа:Fp02_2020.pdf|Лекция #2]]
 +
* [[Медиа:Fp03_2020.pdf|Лекция #3]]
 +
* [[Медиа:Fp04_2020.pdf|Лекция #4]]
 +
* [[Медиа:Fp05_2020.pdf|Лекция #5]]
 +
* [[Медиа:Fp06_2020.pdf|Лекция #6]]
 +
* [[Медиа:Fp07_2020.pdf|Лекция #7]]
 +
* [[Медиа:Fp08_2020.pdf|Лекция #8]]
 +
* [[Медиа:Fp09_2020.pdf|Лекция #9]]
 +
* [[Медиа:Fp10_2020.pdf|Лекция #10]]
 +
* [[Медиа:Fp11_2020.pdf|Лекция #11]]
 +
* [[Медиа:Fp12_2020.pdf|Лекция #12]]
 +
* [[Медиа:Fp13_2020.pdf|Лекция #13]]
 +
* [[Медиа:Fp14_2020.pdf|Лекция #14]]
 +
* [[Медиа:Fp15_2020.pdf|Лекция #15]]
 +
 +
 +
[[Медиа:fp_exam_2017-2018.pdf|Вопросы к экзамену]]
  
 
== Практика Москвин ==
 
== Практика Москвин ==
 +
 +
[https://docs.google.com/spreadsheets/d/1qVhnZbSLY8lhR_tXqFFru5QcewzfQUmFTFiKTl9DnQE/edit#gid=0 Табличка с баллами]
  
 
== Практика Жаворонков ==
 
== Практика Жаворонков ==
Строка 15: Строка 36:
  
 
=== Материалы с занятий и домашние задания: ===
 
=== Материалы с занятий и домашние задания: ===
−
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн: 11.09.2017 23:59''') — [[Медиа:Sem01.md.png | Исходник]] (удалите расширение .png)
+
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн(мягкий): 11.09.2017 23:59''') — [[Медиа:Sem01.md.zip | Исходник]]
 +
* [[Медиа:Sem02.pdf|Семинар и домашнее задание 2]] ('''Дедлайн(мягкий): 18.09.2017 23:59''') — [[Медиа:Sem02.md.zip | Исходник]]
 +
* [[Медиа:Sem03.pdf|Семинар и домашнее задание 3]] ('''Дедлайн(мягкий): 25.09.2017 23:59''') — [[Медиа:Sem03.md.zip | Исходник]]
 +
* Код с пары 26.09 куда-то потерялся
 +
* [[Медиа:Sem05.zip|Код с пары 03.10]]
 +
* [[Медиа:Sem06.zip|Код с пары 10.10]]
 +
* [[Медиа:Sem07.zip|Код с пары 17.10]]
 +
* [[Медиа:Sem08.zip|Код с пары 24.10]]
 +
* [[Медиа:Sem09.zip|Код с пары 07.11]]
 +
* [[Медиа:Sem10.zip|Код с пары 14.11]]
 +
* [[Медиа:Sem11.zip|Код с пары 21.11]]
 +
* [[Медиа:Sem12.zip|Код с пары 28.11]]
 +
* [[Медиа:Sem13.zip|Код с пары 5.12 -- заготовка]]
 +
* [[Медиа:Sem14.zip|Код с пары 12.12]]
 +
* [[Медиа:Sem15.zip|Код с пары 19.12]]
  
−
=== Всякая информация ===
+
=== Правила игры и прочее ===
 
==== Сдача домашних заданий ====
 
==== Сдача домашних заданий ====
  
−
Первые три домашних задания сдаются преподавателю на почту. Мне не очень принципиален формат, в котором вы присылаете ваши решения, однако я должен иметь возможность ваше решение прочитать. Если у меня возникнут какие-либо вопросы или замечания к вашему решению, то я могу попросить вас на них ответить или соответственно исправить. Исправления можно присылать неограниченное число раз, однако полезно подумать, прежде чем присылать очередное письмо. В противном случае, я не могу гарантировать, что успею проверить все решения до занятия. Разборы домашних заданий будут проводиться по желанию аудитории, при условии что не будут отнимать много времени от практики.
+
Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит).  
 +
 
 +
Начиная с четвертого домашнего задания вы будете писать код на хаскеле и домашние задания будут сдаваться в приватный курс на степике. Там они будут проверяться тестирующей системой и я смогу смотреть ваши посылки. По мере прочтения лекций в курсе будут открываться новые модули с задачами. Модуль открывается сразу после пары и закрывается в начале следующей.
 +
 
 +
==== Дедлайны ====
 +
 
 +
На вики я пишу мягкий дедлайн до которого мне можно присылать решения, и я постараюсь ответить и, в случае чего, вы можете прислать мне исправления. Жесткий дедлайн, после которого я не смотрю решения -- начало пары. Если вы прислали решение после мягкого дедлайна, то я постараюсь ответить вам в течение дня, но не готов гарантировать, что буду принимать исправления. Решения присланные после жесткого дедлайна -- не оцениваются.
 +
 
 +
==== Зачет ====
 +
 
 +
Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей:
 +
* Сдать все теоретические домашние задания(ими считаются первые три)
 +
* Получить не менее 75% от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий
 +
* Сдать алгоритм вывода типов(ближе к концу семестра)
  
−
Начиная с четвертого домашнего задания вы будете писать код на хаскеле и дальше будет видно, будете ли вы присылать мне .hs-исходники, или мы придумаем еще какой-либо формат сдачи. Это подводит нас к мысли, что вам понадобится поставить некоторый тулчейн. Как это сделать -- я расскажу позже(или вам расскажут об этом на лекции).
+
Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке.

Текущая версия на 15:54, 11 января 2018

Лекции

Преподаватель: Москвин Д Н.


Вопросы к экзамену

Практика Москвин

Табличка с баллами

Практика Жаворонков

Табличка с результатами

Контакты:

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

Правила игры и прочее

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

Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит).

Начиная с четвертого домашнего задания вы будете писать код на хаскеле и домашние задания будут сдаваться в приватный курс на степике. Там они будут проверяться тестирующей системой и я смогу смотреть ваши посылки. По мере прочтения лекций в курсе будут открываться новые модули с задачами. Модуль открывается сразу после пары и закрывается в начале следующей.

Дедлайны

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

Зачет

Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей:

  • Сдать все теоретические домашние задания(ими считаются первые три)
  • Получить не менее 75% от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий
  • Сдать алгоритм вывода типов(ближе к концу семестра)

Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке.

Источник — «http://mit.spbau.ru/sewiki/index.php?title=ФП_2MIT_осень_2017&oldid=14424»