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

Уточнение ключа сортировки
м (категория)
(Уточнение ключа сортировки)
 
Общий вывод: в общем случае для доказательства свойств функций методом индукции может потребоваться применение некоторых [[w:Эвристика|эвристических]] шагов, а именно введение индукционных гипотез. Эвристический шаг — это формулирование утверждения, которое ниоткуда не следует. Таким образом, доказательство свойств функций есть своего рода творчество.
 
[[Категория:Основы функционального программирования|Доказательство свойств функций]]
1019

правок