Обсуждение:Частично рекурсивные функции — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Новая страница: «:{{tick}} В основных определениях убрать лишние отступы и первое предложение, а также выдели...»)
 
(нет различий)

Текущая версия на 16:03, 20 января 2013

В основных определениях убрать лишние отступы и первое предложение, а также выделить жирным "правилом минимизации". И еще уточни, что в дальнейшем мы будем иногда сравнивать значение функции не только с нулем.
"неопределена" раздельно
В общем, примерно те же претензии к орфографии и пунктуации, что и в предыдущем конспекте.
"Программа вычисляющая частично рекурсивную функцию легко пишется на любом удобном для читателя языке программирования."
Ок, только мы тут пишем скорее конспекты, а не книгу =)
В последней теореме "Оно состоит из последовательных определений функций через предыдущие заканчивая нашей функцией" -- а почему у нас не может быть перекрестной рекурсии?
Там же, разбить текст доказательства на более мелкие абзацы.

--Мейнстер Д. 17:03, 20 января 2013 (GST)