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

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