Основы функционального программирования/Доказательство свойств функций: различия между версиями

м
Нет описания правки
м (Шаблон со списком лекций)
м
__TOC__
{{ОФП Содержание}}
 
= Лекция 9. «Доказательство свойств функций» =
 
Формальная задача: пусть имеется набор функций f = <f1, ..., fn>, определённых на областях D = <D1, ..., Dn>. Требуется доказать, что для любого набора значений d имеет место некоторое свойство, т.е.:
271

правка