Функциональное программирование 2021: различия между версиями

@@ Строка 1: / Строка 1: @@
 == Функциональное программирование ==
-Курс по выбору для студентов 4 курса ФКН ВШЭ, 3-й модуль 2019 г.
+Курс по выбору для студентов 3 и 4 курса ФКН ВШЭ, 1 и 2 модуль 2021 г.
+[https://docs.google.com/spreadsheets/d/1oF8-huXk0nxApTUIu22JCZjBODRMhi8Lbrch1iuhHco/edit?usp=sharing Гугл-таблица по курсу]
+== Ссылки на зум-трансляции ==
+[https://zoom.us/j/93073395443?pwd=RXBkdVJRMW9VMXJGc1BPVXVCTGJlQT09/ Лекция]
+[https://zoom.us/j/98769502036?pwd=bDZzNGVQc21VMHJpVlZrbDM1OXFpUT09/ Семинар]
+== Ссылка на плейлист с записями лекций и семинаров ==
+https://www.youtube.com/playlist?list=PLEwK9wdS5g0qy07-ZWYIiLIUEjV61G6E_
+== Домашние задания ==
+[https://classroom.github.com/a/BGZt9JaU/ Первое домашнее задание. Ссылка-приглашение в GitHub Classroom]
+Дедлайн: 7 ноября, 23:59
+[https://classroom.github.com/a/TuPT8pRz/ Второе домашнее задание. Ссылка-приглашение в GitHub Classroom]
+Дедлайн: 5 декабря, 23:59
+== Контрольная работа (take home) ==
+[https://github.com/serokell/hse-haskell-course-src/blob/master/quiz2021_autumn.pdf/ Контрольная работа, take home]
+Время начала работы: 16 ноября, 18:00
+Крайний срок сдачи работы: 17 ноября, 18:00
+Решения присылать на адрес: sk@mi-ras.ru
+== Итоговый экзамен (take home) ==
+[https://github.com/serokell/hse-haskell-course-src/blob/master/final_exam_2021_autumn.pdf/ Ссылка на задания]
+Крайний срок сдачи работы: 28 декабря, 20:00
+Решения присылать на адрес: sk@mi-ras.ru
 == Материалы ==
@@ Строка 28: / Строка 65: @@
 [http://learnyouahaskell.com/ Learn You a Haskell for Great Good]
-[https://www.ohaskell.guide/ О Haskell по-человечески]
-[https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ Category Theory for Programmers]
 [https://people.southwestern.edu/~potter/HaskellCode/hutton.pdf Programming in Haskell by Graham Hutton]
-=== Домашние работы ===
+[http://book.realworldhaskell.org/read/ Real World Haskell]
-Задания должны быть выложены на приватный репозиторий в гитхабе, куда должен быть дан доступ мне и Ивану, ассистенту курса. Ссылки отправлять по почте или через телеграм. Если кого-то по тем или иным причинам не устраивает гитхаб, то это стоит оговорить отдельно. Желательно слать задания через гитхаб.
+[http://booksdescr.org/item/index.php?md5=0A7FC4A845619F20D0237D08C33D297F/ Category Theory for Computer Scientists]
-[https://github.com/DanielRrr/HSEHaskellCourse/blob/master/01/HW01.hs/ Первая домашняя работа]
+[https://mathtrielhighschool.files.wordpress.com/2011/08/number-theory.pdf/ Basic Simple Type Theory]
-Дедлайн 11 февраля включительно, после дедлайна решения будут закоммичены. При необходимости, разберем решения на семинаре.
+[https://disi.unitn.it/~bernardi/RSISE11/Papers/curry-howard.pdf/ Lectures on the Curry-Howard Isomorphism]
-Результаты проверки можно найти по
+[https://github.com/serokell/hse-haskell-course-src/ список лекций и литературы в README курса]
-[https://docs.google.com/spreadsheets/d/e/2PACX-1vQ4rxFIzvd13brUQ1iYnH9FyOBubhDMYODSZ484qqTEQH0nCB-sukkSXmIsA24Wvv9sKKmDqZQi1qIP/pubhtml?gid=251160832&single=false# ссылке].
-=== Теоретическая контрольная работа ===
+==== Материалы занятий ====
-Теоретическая контрольная работа состоится 20 февраля. Если кто-то не сможет ее написать заранее, просьба сообщить об этом заранее.
+[https://github.com/serokell/hse-haskell-course-src/ Слайды семинаров]
-Для сообщивших заранее контрольная состоится 27 февраля перед лекцией.
 == Контакты ==
@@ Строка 58: / Строка 89: @@
-Даня Рогозин
+Даниил Рогозин
 почта: daniel.rogozin@serokell.io
@@ Строка 68: / Строка 99: @@
-Иван Солянкин
+Телеграм-чат по курсу:
+https://t.me/joinchat/RmMffsy1ZZgwZTli
-почта: imsolyankin<youknowwhat>edu.hse.ru
-telegram: https://t.me/c284d
-github: https://github.com/vanzef
-Телеграм канал по курсу:
-https://t.me/joinchat/Klqc0wmEPmWDU9T9qUrjOQ

Функциональное программирование 2021: различия между версиями

Текущая версия от 08:29, 17 января 2022

Содержание

Функциональное программирование

Ссылки на зум-трансляции

Ссылка на плейлист с записями лекций и семинаров

Домашние задания

Контрольная работа (take home)

Итоговый экзамен (take home)

Материалы

Полезные ресурсы и материалы

Базовые ресурсы

Книги и статьи

Материалы занятий

Контакты

Навигация

Функциональное программирование 2021: различия между версиями

Текущая версия от 08:29, 17 января 2022

Функциональное программирование

Ссылки на зум-трансляции

Ссылка на плейлист с записями лекций и семинаров

Домашние задания

Контрольная работа (take home)

Итоговый экзамен (take home)

Материалы

Полезные ресурсы и материалы

Базовые ресурсы

Книги и статьи

Материалы занятий

Контакты

Навигация

Поиск