ФП 5SE осень 2020 — различия между версиями

Материал из CSC Wiki
Перейти к:навигация, поиск
(Материалы с занятий и домашние задания:)
(Слайды)
(не показано 5 промежуточных версий 3 участников)
Строка 7: Строка 7:
 
=== Слайды ===
 
=== Слайды ===
  
[[Медиа:Fpc01IFMO2020.pdf|Лекция 1. Лямбда-исчисление]] 07.09.2020 (пн) 16:20-17:40 online
+
[[Медиа:Fpc01IFMO2020.pdf|Лекция 1. Лямбда-исчисление]] 07.09.2020 (пн) 14:40-16:00 online
  
[[Медиа:Fpc02IFMO2020.pdf|Лекция 2. Рекурсия и редукция]] 14.09.2020 (пн) 16:20-17:40 online
+
[[Медиа:Fpc02IFMO2020.pdf|Лекция 2. Рекурсия и редукция]] 14.09.2020 (пн) 14:40-16:00 online
  
[[Медиа:Fpc03IFMO2020.pdf|Лекция 3. Просто типизированное лямбда-исчисление]] 21.09.2020 (пн) 16:20-17:40 online
+
[[Медиа:Fpc03IFMO2020.pdf|Лекция 3. Просто типизированное лямбда-исчисление]] 21.09.2020 (пн) 14:40-16:00 online
  
[[Медиа:Fpc04IFMO2020.pdf|Лекция 4. Введение в Haskell]] 28.09.2020 (пн) 16:20-17:40 online
+
[[Медиа:Fpc04IFMO2020.pdf|Лекция 4. Введение в Haskell]] 28.09.2020 (пн) 14:40-16:00 online
 +
([https://gist.github.com/deniok/a6883602c323d3237293492ca9319115 исходный код со слайдов])
  
[[Медиа:Fpc05IFMO2020.pdf|Лекция 5. Программирование на Haskell]] 05.10.2020 (пн) 16:20-17:40 online
+
[[Медиа:Fpc05IFMO2020.pdf|Лекция 5. Типы данных]] 05.10.2020 (пн) 14:40-'''16:40''' online
 +
([https://gist.github.com/deniok/43e48f8eea5c4766cda72afc7800f1cf исходный код со слайдов])
  
[[Медиа:Fpc06IFMO2020.pdf|Лекция 6. Классы типов]]  12.10.2020 (пн) 16:20-17:40 online
+
[[Медиа:Fpc06IFMO2020.pdf|Лекция 6. Классы типов]]  12.10.2020 (пн) 14:40-16:00 online
  
[[Медиа:Fpc07IFMO2020.pdf|Лекция 7. Свертки]]  19.10.2020 (пн) 16:20-17:40 online
+
[[Медиа:Fpc07IFMO2020.pdf|Лекция 7. Свертки]]  19.10.2020 (пн) 14:40-16:00 online
  
[[Медиа:Fpc08IFMO2020.pdf|Лекция 8. Аппликативные функторы]] 26.10.2020 (пн) 16:20-17:40 online
+
[[Медиа:Fpc08IFMO2020.pdf|Лекция 8. Аппликативные функторы]] 26.10.2020 (пн) 14:40-16:00 online
  
[[Медиа:Fpc09IFMO2020.pdf|Лекция 9. Использование аппликативных функторов]] 02.11.2020 (пн) 16:20-17:40 online
+
[[Медиа:Fpc09IFMO2020.pdf|Лекция 9. Использование аппликативных функторов]] 02.11.2020 (пн) 14:40-16:00 online
  
[[Медиа:Fpc10IFMO2020.pdf|Лекция 10. Монады]] 09.11.2020 (пн) 16:20-17:40 online
+
[[Медиа:Fpc10IFMO2020.pdf|Лекция 10. Монады]] 09.11.2020 (пн) 14:40-16:00 online
  
[[Медиа:Fpc11IFMO2020.pdf|Лекция 11. Стандартные монады]] 16.11.2020 (пн) 16:20-17:40 online
+
[[Медиа:Fpc11IFMO2020.pdf|Лекция 11. Стандартные монады]] 16.11.2020 (пн) 14:40-16:00 online
  
[[Медиа:Fpc12IFMO2020.pdf|Лекция 12. Трансформеры монад]]  23.11.2020 (пн) 16:20-17:40 online
+
[[Медиа:Fpc12IFMO2020.pdf|Лекция 12. Трансформеры монад]]  23.11.2020 (пн) 14:40-16:00 online
  
[[Медиа:Fpc13IFMO2020.pdf|Лекция 13. Алгоритм вывода типов]] 30.11.2020 (пн) 16:20-17:40 online
+
[[Медиа:Fpc13IFMO2020.pdf|Лекция 13. Алгоритм вывода типов]] 30.11.2020 (пн) 14:40-16:00 online
  
[[Медиа:Fpc14IFMO2020.pdf|Лекция 14. Рекурсивные типы]] 07.12.2020 (пн) 16:20-17:40 online
+
[[Медиа:Fpc14IFMO2020.pdf|Лекция 14. Рекурсивные типы]] 07.12.2020 (пн) 14:40-16:00 online
  
[[Медиа:Fpc15IFMO2020.pdf|Лекция 15. Молнии и линзы]] 14.12.2020 (пн) 16:20-17:40 online
+
[[Медиа:Fpc15IFMO2020.pdf|Лекция 15. Молнии и линзы]] 14.12.2020 (пн) 14:40-16:00 online
  
 
== Дополнительные материалы ==
 
== Дополнительные материалы ==
Строка 78: Строка 80:
  
 
* Первые три -- мне на почту. Формат -- pdf(LaTeX)
 
* Первые три -- мне на почту. Формат -- pdf(LaTeX)
* TBD
+
* Следующие -- в приватный курс на степике. Укажите при регистрации(если еще не) свои натсоящие имя и фамилию. Ссылка-инвайт на курс -- [https://stepik.org/invitation/d90aeb4000a467a9754d7f5e6216401d7a44cdb0/ тык]
  
 
==== Дедлайны ====
 
==== Дедлайны ====
Строка 99: Строка 101:
  
 
* [[Медиа:FP2020Khalansky03.pdf|задание]] [[Медиа:FP2020Khalansky03.tex|исходник]]; [[Медиа:FP2020Khalansky03Slides.pdf|презентация]] [[Медиа:FP2020Khalansky03Slides.tex|исходник]]. На зачёт нужно сделать 13 задач. Дополнительные задачи придумаю, если кто-то не решит эти.
 
* [[Медиа:FP2020Khalansky03.pdf|задание]] [[Медиа:FP2020Khalansky03.tex|исходник]]; [[Медиа:FP2020Khalansky03Slides.pdf|презентация]] [[Медиа:FP2020Khalansky03Slides.tex|исходник]]. На зачёт нужно сделать 13 задач. Дополнительные задачи придумаю, если кто-то не решит эти.
 +
 +
* [[Медиа:FP2020Khalansky04Slides.pdf|презентация]] [[Медиа:FP2020Khalansky04Slides.tex|исходник]]. Приглашение в github classroom: https://classroom.github.com/a/7eSkgKXr

Версия 19:03, 28 сентября 2020

Лекции

Преподаватель: Москвин Денис Николаевич dmoskvin@gmail.com

Пожалуйста, указывайте в теме письма FPIFMOJB.


Слайды

Лекция 1. Лямбда-исчисление 07.09.2020 (пн) 14:40-16:00 online

Лекция 2. Рекурсия и редукция 14.09.2020 (пн) 14:40-16:00 online

Лекция 3. Просто типизированное лямбда-исчисление 21.09.2020 (пн) 14:40-16:00 online

Лекция 4. Введение в Haskell 28.09.2020 (пн) 14:40-16:00 online (исходный код со слайдов)

Лекция 5. Типы данных 05.10.2020 (пн) 14:40-16:40 online (исходный код со слайдов)

Лекция 6. Классы типов 12.10.2020 (пн) 14:40-16:00 online

Лекция 7. Свертки 19.10.2020 (пн) 14:40-16:00 online

Лекция 8. Аппликативные функторы 26.10.2020 (пн) 14:40-16:00 online

Лекция 9. Использование аппликативных функторов 02.11.2020 (пн) 14:40-16:00 online

Лекция 10. Монады 09.11.2020 (пн) 14:40-16:00 online

Лекция 11. Стандартные монады 16.11.2020 (пн) 14:40-16:00 online

Лекция 12. Трансформеры монад 23.11.2020 (пн) 14:40-16:00 online

Лекция 13. Алгоритм вывода типов 30.11.2020 (пн) 14:40-16:00 online

Лекция 14. Рекурсивные типы 07.12.2020 (пн) 14:40-16:00 online

Лекция 15. Молнии и линзы 14.12.2020 (пн) 14:40-16:00 online

Дополнительные материалы

Полезные ссылки

Hoogle

Typeclassopedia

Haskell 2010 Language Report

Learn You a Haskell for Great Good!

Полезными могут оказаться конспекты лекций по теоретической и практической частям курса. Это расширенные версии слайдов, с дополнительными примерами и рассуждениями. (Предупреждение: они неполные и представляют собой раннюю альфу!)

Книги

Практика Жаворонков

Почта

Телега

Таблица с успеваемостью

Материалы с занятий и домашние задания:

Правила игры и прочее

Сдача домашних заданий

  • Первые три -- мне на почту. Формат -- pdf(LaTeX)
  • Следующие -- в приватный курс на степике. Укажите при регистрации(если еще не) свои натсоящие имя и фамилию. Ссылка-инвайт на курс -- тык

Дедлайны

  • Мягкий -- указан в строке с соответствующим заданием. Если присылаете до него -- я смотрю, отвечаю и можно один раз прислать исправления.
  • Жесткий -- наступает в момент начала пары. Присылать после мягкого, но до жесткого дедлайна можно и нужно, я не снижаю баллы, но не гарантирую, что буду принимать исправления

Практика Халанский

Почта Таблица с успеваемостью

Дедлайн — начало лекции. Обещаю отвечать в течение троих суток с момента получения письма. Для зачёта необходимо набрать указанный минимум для каждой темы, кроме, возможно, двух, а также выполнить курсовую работу (будет доступна позднее).

В рейтинг идут задачи из блока "Основные задания"; эти задачи принимаются только в срок. Задачи из блока "Дополнительные задания" принимаются совершенно когда угодно, но в рейтинге не участвуют.