Функциональное программирование 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
 == Материалы ==
@@ Строка 7: / Строка 44: @@
 [http://www.mi.ras.ru/~sk/lehre/fp_hse2018/ страница курса 2018 г.]
-=== Контакты ===
+=== Полезные ресурсы и материалы ===
+==== Базовые ресурсы ====
+[https://www.haskell.org/ Сайт языка]
+[https://docs.haskellstack.org/en/stable/README/ Haskell Tool Stack]
+[https://www.haskell.org/cabal/ Информация про Cabal]
+[https://www.haskell.org/hoogle/ Hoogle]
+[https://hackage.haskell.org/ Hackage]
+[http://hackage.haskell.org/package/base/ Стандартная библиотека языка Haskell на Hackage]
+[https://github.com/serokell/serokell-util/blob/master/serokell-style.md/ Общие рекомендации по написанию кода]
+==== Книги и статьи ====
+[http://learnyouahaskell.com/ Learn You a Haskell for Great Good]
+[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://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/ Слайды семинаров]
+== Контакты ==
 [http://www.mi-ras.ru/~sk/ Степан Кузнецов]
 почта: sk@mi-ras.ru
-Даня Рогозин
+Даниил Рогозин
 почта: daniel.rogozin@serokell.io
-телефон (для телеграма): +7-925-278-50-73
+телефон (для телеграма): +7-925-623-11-78
+[https://github.com/DanielRrr/ GitHub]
+Телеграм-чат по курсу:
+https://t.me/joinchat/RmMffsy1ZZgwZTli

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

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

Содержание

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

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

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

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

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

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

Материалы

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

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

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

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

Контакты

Навигация

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

Пространства имён

Варианты

Просмотры

Действия

Поиск

Навигация

Инструменты