Изменения

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

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

10 байт добавлено, 17:20, 2 января 2017

→‎Пример использования теоремы о рекурсии в доказательстве о неразрешимости языка

<code>

<tex>p(x){:}</tex>

'''if''' <tex>r(\mathrm{getSrc()})</tex>

'''return''' 1

'''while''' true

313

правок

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