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