Различия

Здесь показаны различия между выбранной ревизией и текущей версией данной страницы.

студентам:материалы_для_подготовки_к_экзамену_по_фп 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 =====