Функциональное программирование 2021: различия между версиями
Перейти к навигации
Перейти к поиску
Добавлена ссылка на плейлист с записями лекций и семинаров |
|||
| (не показано 30 промежуточных версий 4 участников) | |||
| Строка 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 | |||
== Материалы == | == Материалы == | ||
| Строка 29: | Строка 66: | ||
[http://learnyouahaskell.com/ Learn You a Haskell for Great Good] | [http://learnyouahaskell.com/ Learn You a Haskell for Great Good] | ||
[https:// | [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:// | [https://mathtrielhighschool.files.wordpress.com/2011/08/number-theory.pdf/ Basic Simple Type Theory] | ||
[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://github.com/serokell/hse-haskell-course-src/ Слайды семинаров] | |||
== Контакты == | == Контакты == | ||
| Строка 50: | Строка 89: | ||
Даниил Рогозин | |||
почта: daniel.rogozin@serokell.io | почта: daniel.rogozin@serokell.io | ||
| Строка 56: | Строка 95: | ||
телефон (для телеграма): +7-925-623-11-78 | телефон (для телеграма): +7-925-623-11-78 | ||
[https://github.com/DanielRrr/ GitHub] | |||
Телеграм | Телеграм-чат по курсу: | ||
https://t.me/joinchat/ | https://t.me/joinchat/RmMffsy1ZZgwZTli | ||
Текущая версия от 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