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