courses:functional_programming:materials
Differences
This shows you the differences between two versions of the page.
|
courses:functional_programming:materials [2018/09/15 17:21] vnikolenko |
courses:functional_programming:materials [2022/12/10 09:08] |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Учебные материалы ====== | ||
| - | ===== λ-исчисление и типы ===== | ||
| - | === Литература === | ||
| - | * Ламбда-исчисление, его синтаксис и семантика, Барендрегт Х., Изд: Мир, (1985) | ||
| - | * Introduction to Lambda Calculus. Henk Barendregt, Erik Barendsen | ||
| - | * [[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) | ||
| - | * Типы в языках программирования, Пирс Б., Изд: Лямбда пресс, Добросвет (2012) | ||
| - | === Видео === | ||
| - | * [[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)]] | ||
| - | ===== Haskell ===== | ||
| - | === Литература === | ||
| - | * Изучай Haskell во имя добра!, Липовача М., Изд: ДМК Пресс (2012) | ||
| - | * [[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://github.com/ruHaskell/ruhaskell/wiki/Translation|Перевод терминов, имён и названий]] | ||
| - | === Видео === | ||
| - | * [[https://www.youtube.com/watch?v=7BPQ-gpXKt4&list=PLlb7e2G7aSpRDR44HMNqDHYgrAOPp7QLr|CSCenter. Функциональное программирование. Москвин Д.Н.]] | ||
| - | * [[https://stepik.org/course/75|Stepik. Функциональное программирование на языке Haskell. Москвин Д.Н.]] | ||
| - | * [[https://stepik.org/course/693|Stepik. Функциональное программирование на языке Haskell (часть 2). Москвин Д.Н.]] | ||
| - | ===== Scala, Java, Python... ===== | ||
| - | * [[https://www.coursera.org/learn/progfun1|Coursera. Functional Programming Principles in Scala. Odersky M.]] | ||
| - | * [[https://stepik.org/course/1595|Stepik. Java. Functional programming]] | ||
| - | * [[https://stepik.org/course/2057|Stepik. Python. Functional Programming]] | ||
| - | | ||
| - | ===== LaTeX ===== | ||
| - | > Может пригодиться при оформлении решений ДЗ по λ-исчислению | ||
| - | |||
| - | * [[https://www.overleaf.com/|Overleaf. Онлайн-редактор]] | ||
| - | * [[http://www.ccas.ru/voron/download/voron05latex.pdf|LaTeX в примерах, Воронцов К.В.]] | ||
| - | * [[http://www.mccme.ru/free-books/llang/newllang.pdf|Набор и вёрстка в системе LaTeX, Львовский С.М.]] | ||
| - | * [[https://en.wikibooks.org/wiki/LaTeX|Wiki-книга о LaTeX c кучей примеров(англ.)]] | ||
| - | * [[https://iq.hse.ru/latex/|Видео курса по LaTeX от ВШЭ.]] | ||
| - | ===== Для повышения уровня математической культуры и общего развития ===== | ||
| - | > Темы, затронутые на лекциях, но не относящиеся напрямую к предмету курса(или относящие, но этого пока нет в курсе) | ||
| - | |||
| - | * [[https://www.youtube.com/watch?v=QfDtuDjDHG8|Аксиоматический метод. Беклемишев Л.Д.]] | ||
| - | * [[https://www.youtube.com/watch?v=c_S_bAdv4A0|Компьютерные доказательства. Беклемишев Л.Д.]] | ||
| - | * [[https://stepik.org/course/104/syllabus|Stepik. Введение в теоретическую информатику. Шень А.Х.]] | ||
| - | * [[https://compsciclub.ru/courses/codes/2017-autumn/classes/|CSClub. Ликбез: коды, исправляющие ошибки. Шень А.Х.]] | ||
| - | * [[https://compsciclub.ru/courses/codes/2017-autumn/classes/|CSClub. Десятая проблема Гильберта. Решение и применения в информатике. Матиясевич Ю.В.]] | ||
| - | | ||
| - | |||
| - | | ||
courses/functional_programming/materials.txt · Last modified: 2022/12/10 09:08 (external edit)
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
