This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
courses:functional_programming:materials [2018/09/05 12:20] vnikolenko LaTeX-resources |
courses:functional_programming:materials [2018/11/20 10:19] vnikolenko |
||
---|---|---|---|
Line 3: | Line 3: | ||
=== Литература === | === Литература === | ||
* Ламбда-исчисление, его синтаксис и семантика, Барендрегт Х., Изд: Мир, (1985) | * Ламбда-исчисление, его синтаксис и семантика, Барендрегт Х., Изд: Мир, (1985) | ||
+ | * Introduction to Lambda Calculus. Henk Barendregt, Erik Barendsen | ||
* [[https://github.com/funprog-ru/funprog-ru/releases/download/v20150915/intro2fp-20150915.pdf| Введение в функциональное программирование. Харрисон Дж.]] | * [[https://github.com/funprog-ru/funprog-ru/releases/download/v20150915/intro2fp-20150915.pdf| Введение в функциональное программирование. Харрисон Дж.]] | ||
* Lambda-Calculus and Combinators An Introduction(2nd Edition). J. Roger Hindley Jonathan P. Seldin (2008) | * Lambda-Calculus and Combinators An Introduction(2nd Edition). J. Roger Hindley Jonathan P. Seldin (2008) | ||
Line 9: | Line 10: | ||
* [[https://www.youtube.com/watch?v=7BPQ-gpXKt4&list=PLlb7e2G7aSpRDR44HMNqDHYgrAOPp7QLr|CSCenter. Функциональное программирование. Москвин Д.Н.]] | * [[https://www.youtube.com/watch?v=7BPQ-gpXKt4&list=PLlb7e2G7aSpRDR44HMNqDHYgrAOPp7QLr|CSCenter. Функциональное программирование. Москвин Д.Н.]] | ||
* [[http://www.mathnet.ru/php/presentation.phtml?option_lang=rus&presentid=18231|ЛШСМ-2017.Соответствие Карри–Ховарда: от математической логики к программированию. Брагилевский В. (Занятие 2)]] | * [[http://www.mathnet.ru/php/presentation.phtml?option_lang=rus&presentid=18231|ЛШСМ-2017.Соответствие Карри–Ховарда: от математической логики к программированию. Брагилевский В. (Занятие 2)]] | ||
+ | * [[https://www.youtube.com/playlist?list=PL6ZCZFyULOwcrPT_Dui26bZqaIX023zde|МИАН. Спецкурс «Лямбда-исчисление или вычислительная теория доказательств». Кузнецов С.Л.]] | ||
===== Haskell ===== | ===== Haskell ===== | ||
=== Литература === | === Литература === | ||
Line 14: | Line 16: | ||
* [[https://www.ohaskell.guide/|О Haskell по-человечески (небольшое введение в язык для практиков)]] | * [[https://www.ohaskell.guide/|О Haskell по-человечески (небольшое введение в язык для практиков)]] | ||
* [[https://medium.com/@_bravit/%D0%BA%D0%BD%D0%B8%D0%B3%D0%B8-%D0%BF%D0%BE-%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8E-%D0%BD%D0%B0-haskell-%D0%B2%D1%8B%D0%B2%D0%BE%D0%B4%D1%8B-712c1f5b7749|Обзор свежих англоязычных книг по Haskell. Брагилевский В.]] | * [[https://medium.com/@_bravit/%D0%BA%D0%BD%D0%B8%D0%B3%D0%B8-%D0%BF%D0%BE-%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8E-%D0%BD%D0%B0-haskell-%D0%B2%D1%8B%D0%B2%D0%BE%D0%B4%D1%8B-712c1f5b7749|Обзор свежих англоязычных книг по Haskell. Брагилевский В.]] | ||
+ | * [[https://github.com/ruHaskell/ruhaskell/wiki/Translation|Перевод терминов, имён и названий]] | ||
+ | * [[https://wiki.haskell.org/Typeclassopedia | Typeclassopedia (немного устарела)]] | ||
+ | * {{ :courses:functional_programming:Type_Classes_in_Haskell_Tom_Schrijvers.pdf| Презентация о классах типов в Haskell и внутренней реализации через словари}} | ||
+ | * {{ :courses:functional_programming:fold_Hutton.pdf| A tutorial on the universality and expressiveness of fold (Hutton)}} | ||
+ | * [[https://www.schoolofhaskell.com/user/mgsloan/monoids-tour| Monoids Tour (немного устарела, но объяснение доступное с примерами)]] | ||
+ | * {{ :courses:functional_programming:theory_and_practice_of_fusion.pdf| Theory and Practice of Fusion (Ralf Hinze, Thomas Harper, and Daniel W. H. James)}} | ||
+ | * [[http://fprog.ru/2009/issue1/dan-piponi-haskell-monoids-and-their-uses/ | Моноиды в Haskell и их использование (немного устарела, но объяснение доступное с примерами) ]] | ||
+ | * [[https://wiki.haskell.org/Monoid | Monoid (Haskell wiki)]] | ||
=== Видео === | === Видео === | ||
* [[https://www.youtube.com/watch?v=7BPQ-gpXKt4&list=PLlb7e2G7aSpRDR44HMNqDHYgrAOPp7QLr|CSCenter. Функциональное программирование. Москвин Д.Н.]] | * [[https://www.youtube.com/watch?v=7BPQ-gpXKt4&list=PLlb7e2G7aSpRDR44HMNqDHYgrAOPp7QLr|CSCenter. Функциональное программирование. Москвин Д.Н.]] | ||
* [[https://stepik.org/course/75|Stepik. Функциональное программирование на языке Haskell. Москвин Д.Н.]] | * [[https://stepik.org/course/75|Stepik. Функциональное программирование на языке Haskell. Москвин Д.Н.]] | ||
* [[https://stepik.org/course/693|Stepik. Функциональное программирование на языке Haskell (часть 2). Москвин Д.Н.]] | * [[https://stepik.org/course/693|Stepik. Функциональное программирование на языке Haskell (часть 2). Москвин Д.Н.]] | ||
+ | === Код с пар === | ||
+ | * {{ :courses:functional_programming:2018_haskell_2_datatypes.zip |Типы данных, ленивость, списки}} | ||
+ | * {{ :courses:functional_programming:2018_haskell_3_typeClasses.zip|Классы типов}} | ||
+ | * {{ :courses:functional_programming:2018_haskell_4_folds.zip|Свертки, моноиды}} | ||
===== Scala, Java, Python... ===== | ===== Scala, Java, Python... ===== | ||
* [[https://www.coursera.org/learn/progfun1|Coursera. Functional Programming Principles in Scala. Odersky M.]] | * [[https://www.coursera.org/learn/progfun1|Coursera. Functional Programming Principles in Scala. Odersky M.]] | ||
Line 31: | Line 44: | ||
* [[http://www.mccme.ru/free-books/llang/newllang.pdf|Набор и вёрстка в системе LaTeX, Львовский С.М.]] | * [[http://www.mccme.ru/free-books/llang/newllang.pdf|Набор и вёрстка в системе LaTeX, Львовский С.М.]] | ||
* [[https://en.wikibooks.org/wiki/LaTeX|Wiki-книга о LaTeX c кучей примеров(англ.)]] | * [[https://en.wikibooks.org/wiki/LaTeX|Wiki-книга о LaTeX c кучей примеров(англ.)]] | ||
- | * [[https://iq.hse.ru/latex/|Видео курса по LateX от ВШЭ.]] | + | * [[https://iq.hse.ru/latex/|Видео курса по LaTeX от ВШЭ.]] |
+ | * [[https://cremeronline.com/LaTeX/minimaltikz.pdf|A very minimal introduction to TikZ]] | ||
===== Для повышения уровня математической культуры и общего развития ===== | ===== Для повышения уровня математической культуры и общего развития ===== | ||
> Темы, затронутые на лекциях, но не относящиеся напрямую к предмету курса(или относящие, но этого пока нет в курсе) | > Темы, затронутые на лекциях, но не относящиеся напрямую к предмету курса(или относящие, но этого пока нет в курсе) | ||
Line 40: | Line 54: | ||
* [[https://compsciclub.ru/courses/codes/2017-autumn/classes/|CSClub. Ликбез: коды, исправляющие ошибки. Шень А.Х.]] | * [[https://compsciclub.ru/courses/codes/2017-autumn/classes/|CSClub. Ликбез: коды, исправляющие ошибки. Шень А.Х.]] | ||
* [[https://compsciclub.ru/courses/codes/2017-autumn/classes/|CSClub. Десятая проблема Гильберта. Решение и применения в информатике. Матиясевич Ю.В.]] | * [[https://compsciclub.ru/courses/codes/2017-autumn/classes/|CSClub. Десятая проблема Гильберта. Решение и применения в информатике. Матиясевич Ю.В.]] | ||
+ | * [[https://www.youtube.com/watch?v=p2r0OiQlhg0&list=PLGKCrWr6FQjBbIyfEFVwZKI0CSBktRXsx&t=0s&index=30|Математика для всех. Алексей Савватеев. Лекция 4.2. Теорема Брауэра]] | ||
+ | * [[https://www.youtube.com/watch?v=cVbfjKqRR5A|Неподвижные точки(Vsauce)]] | ||
| | ||
| |