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