Различия
Здесь показаны различия между выбранной ревизией и текущей версией данной страницы.
студентам:материалы_для_подготовки_к_экзамену_по_фп 2018/12/31 16:08 | студентам:материалы_для_подготовки_к_экзамену_по_фп 2018/12/31 16:20 текущий | ||
---|---|---|---|
Строка 4: | Строка 4: | ||
Лекции профессора Шоичи Юкиты | Лекции профессора Шоичи Юкиты | ||
- | ===== Функциональное программирование и автоматизация доказательств ===== | + | {{ студентам:Lecture01-what_is_category_theory.ppt}} |
+ | |||
+ | {{ студентам:Lecture02-products.ppt }} | ||
+ | |||
+ | {{ студентам:Lecture03-sums.ppt }} | ||
+ | |||
+ | {{ студентам:Lecture04-distributive.ppt }} | ||
+ | |||
+ | {{ студентам:Lecture05-data_types.ppt }} | ||
+ | |||
+ | {{ студентам:Lecture06-categories_of_functors.ppt }} | ||
+ | |||
+ | {{ студентам:Lecture07-imperative_program.ppt }} | ||
+ | |||
+ | |||
+ | ===== Функциональное программирование и автоматизация доказательств с использованием Coq ===== | ||
+ | [[http://ilyasergey.net/pnp|Лекции профессора Ильи Сергея]] | ||
===== Функциональное программирование на языке Scala ===== | ===== Функциональное программирование на языке Scala ===== |