Функциональное программирование 2021 — различия между версиями
(→Контакты) |
(Добавлена ссылка на плейлист с записями лекций и семинаров) |
||
| (не показано 17 промежуточных версии 2 участников) | |||
| Строка 1: | Строка 1: | ||
== Функциональное программирование == | == Функциональное программирование == | ||
| − | Курс по выбору для студентов 4 курса ФКН ВШЭ, | + | Курс по выбору для студентов 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 | ||
== Материалы == | == Материалы == | ||
| Строка 41: | Строка 78: | ||
[https://github.com/serokell/hse-haskell-course-src/ список лекций и литературы в README курса] | [https://github.com/serokell/hse-haskell-course-src/ список лекций и литературы в README курса] | ||
| − | === | + | ==== Материалы занятий ==== |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | [https://github.com/serokell/hse-haskell-course-src/ Слайды семинаров] | |
== Контакты == | == Контакты == | ||
Текущая версия на 11: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
