Учебные материалы

λ-исчисление и типы

Литература

Ламбда-исчисление, его синтаксис и семантика, Барендрегт Х., Изд: Мир, (1985)

Введение в функциональное программирование. Харрисон Дж.

Lambda-Calculus and Combinators An Introduction(2nd Edition). J. Roger Hindley Jonathan P. Seldin (2008)

Типы в языках программирования, Пирс Б., Изд: Лямбда пресс, Добросвет (2012)

Видео

CSCenter. Функциональное программирование. Москвин Д.Н.

ЛШСМ-2017.Соответствие Карри–Ховарда: от математической логики к программированию. Брагилевский В. (Занятие 2)

Haskell

Литература

Изучай Haskell во имя добра!, Липовача М., Изд: ДМК Пресс (2012)

О Haskell по-человечески (небольшое введение в язык для практиков)

Обзор свежих англоязычных книг по Haskell. Брагилевский В.

Перевод терминов, имён и названий

Видео

CSCenter. Функциональное программирование. Москвин Д.Н.

Stepik. Функциональное программирование на языке Haskell. Москвин Д.Н.

Stepik. Функциональное программирование на языке Haskell (часть 2). Москвин Д.Н.

Scala, Java, Python...

Coursera. Functional Programming Principles in Scala. Odersky M.

Stepik. Java. Functional programming

Stepik. Python. Functional Programming

LaTeX

Может пригодиться при оформлении решений ДЗ по λ-исчислению

Overleaf. Онлайн-редактор

LaTeX в примерах, Воронцов К.В.

Набор и вёрстка в системе LaTeX, Львовский С.М.

Wiki-книга о LaTeX c кучей примеров(англ.)

Видео курса по LaTeX от ВШЭ.

Для повышения уровня математической культуры и общего развития

Темы, затронутые на лекциях, но не относящиеся напрямую к предмету курса(или относящие, но этого пока нет в курсе)

Аксиоматический метод. Беклемишев Л.Д.

Компьютерные доказательства. Беклемишев Л.Д.

Stepik. Введение в теоретическую информатику. Шень А.Х.

CSClub. Ликбез: коды, исправляющие ошибки. Шень А.Х.

CSClub. Десятая проблема Гильберта. Решение и применения в информатике. Матиясевич Ю.В.