Функциональное программирование 2021: различия между версиями
Pokld (обсуждение | вклад) Нет описания правки |
Добавлена ссылка на плейлист с записями лекций и семинаров |
||
| (не показано 7 промежуточных версий 2 участников) | |||
| Строка 2: | Строка 2: | ||
Курс по выбору для студентов 3 и 4 курса ФКН ВШЭ, 1 и 2 модуль 2021 г. | Курс по выбору для студентов 3 и 4 курса ФКН ВШЭ, 1 и 2 модуль 2021 г. | ||
[https://docs.google.com/spreadsheets/d/1oF8-huXk0nxApTUIu22JCZjBODRMhi8Lbrch1iuhHco/edit?usp=sharing Гугл-таблица по курсу] | |||
== Ссылки на зум-трансляции == | == Ссылки на зум-трансляции == | ||
| Строка 8: | Строка 10: | ||
[https://zoom.us/j/98769502036?pwd=bDZzNGVQc21VMHJpVlZrbDM1OXFpUT09/ Семинар] | [https://zoom.us/j/98769502036?pwd=bDZzNGVQc21VMHJpVlZrbDM1OXFpUT09/ Семинар] | ||
== Ссылка на плейлист с записями лекций и семинаров == | |||
https://www.youtube.com/playlist?list=PLEwK9wdS5g0qy07-ZWYIiLIUEjV61G6E_ | |||
== Домашние задания == | == Домашние задания == | ||
| Строка 13: | Строка 19: | ||
Дедлайн: 7 ноября, 23:59 | Дедлайн: 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 | |||
== Материалы == | == Материалы == | ||
| Строка 55: | Строка 81: | ||
[https://github.com/serokell/hse-haskell-course-src/ Слайды семинаров] | [https://github.com/serokell/hse-haskell-course-src/ Слайды семинаров] | ||
== Контакты == | == Контакты == | ||
Текущая версия от 08:29, 17 января 2022
Функциональное программирование
Курс по выбору для студентов 3 и 4 курса ФКН ВШЭ, 1 и 2 модуль 2021 г.
Ссылки на зум-трансляции
Ссылка на плейлист с записями лекций и семинаров
https://www.youtube.com/playlist?list=PLEwK9wdS5g0qy07-ZWYIiLIUEjV61G6E_
Домашние задания
Первое домашнее задание. Ссылка-приглашение в GitHub Classroom
Дедлайн: 7 ноября, 23:59
Второе домашнее задание. Ссылка-приглашение в GitHub Classroom
Дедлайн: 5 декабря, 23:59
Контрольная работа (take home)
Время начала работы: 16 ноября, 18:00
Крайний срок сдачи работы: 17 ноября, 18:00
Решения присылать на адрес: sk@mi-ras.ru
Итоговый экзамен (take home)
Крайний срок сдачи работы: 28 декабря, 20:00
Решения присылать на адрес: sk@mi-ras.ru
Материалы
Полезные ресурсы и материалы
Базовые ресурсы
Стандартная библиотека языка Haskell на Hackage
Общие рекомендации по написанию кода
Книги и статьи
Learn You a Haskell for Great Good
Programming in Haskell by Graham Hutton
Category Theory for Computer Scientists
Lectures on the Curry-Howard Isomorphism
список лекций и литературы в README курса
Материалы занятий
Контакты
почта: sk@mi-ras.ru
Даниил Рогозин
почта: daniel.rogozin@serokell.io
телефон (для телеграма): +7-925-623-11-78
Телеграм-чат по курсу: https://t.me/joinchat/RmMffsy1ZZgwZTli