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

м
категория
(Вставлены формулы, взятые с http://roman-dushkin.narod.ru/fp_09.html)
м (категория)
 
Общий вывод: в общем случае для доказательства свойств функций методом индукции может потребоваться применение некоторых [[w:Эвристика|эвристических]] шагов, а именно введение индукционных гипотез. Эвристический шаг — это формулирование утверждения, которое ниоткуда не следует. Таким образом, доказательство свойств функций есть своего рода творчество.
 
[[Категория:Основы функционального программирования]]
401

правка