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

☐ В основных определениях убрать лишние отступы и первое предложение, а также выделить жирным "правилом минимизации". И еще уточни, что в дальнейшем мы будем иногда сравнивать значение функции не только с нулем.

☐ "неопределена" раздельно

☐ В общем, примерно те же претензии к орфографии и пунктуации, что и в предыдущем конспекте.

☐ "Программа вычисляющая частично рекурсивную функцию легко пишется на любом удобном для читателя языке программирования."

Ок, только мы тут пишем скорее конспекты, а не книгу =)

☐ В последней теореме "Оно состоит из последовательных определений функций через предыдущие заканчивая нашей функцией" -- а почему у нас не может быть перекрестной рекурсии?

☐ Там же, разбить текст доказательства на более мелкие абзацы.

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