Изменения

Перейти к: навигация, поиск

Теорема о рекурсии

5 байт убрано, 15:21, 8 января 2017

→‎Теорема о рекурсии

...

Тогда вызов <tex>\mathrm{p(x)}</tex> ~~- это~~ — вызов функции <tex>\mathrm{main}</tex> от соответствующего аргумента.

Приведем конструктивное доказательство теоремы.

Анонимный участник

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/59239»