Различия
Здесь показаны различия между выбранной ревизией и текущей версией данной страницы.
| студентам:материалы_для_подготовки_к_экзамену_по_фп 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 ===== | ||