689
правок
Изменения
Новая страница: «:{{tick}} В основных определениях убрать лишние отступы и первое предложение, а также выдели...»
:{{tick}} В основных определениях убрать лишние отступы и первое предложение, а также выделить жирным "правилом минимизации". И еще уточни, что в дальнейшем мы будем иногда сравнивать значение функции не только с нулем.
:{{tick}} "неопределена" раздельно
:{{tick}} В общем, примерно те же претензии к орфографии и пунктуации, что и в предыдущем конспекте.
:{{tick}} "Программа вычисляющая частично рекурсивную функцию легко пишется на любом {{err|s=1|t=удобном для читателя}} языке программирования."
:: Ок, только мы тут пишем скорее конспекты, а не книгу =)
:{{tick}} В последней теореме "Оно состоит из последовательных определений функций через предыдущие заканчивая нашей функцией" -- а почему у нас не может быть перекрестной рекурсии?
:{{tick}} Там же, разбить текст доказательства на более мелкие абзацы.
--[[Участник:Sementry|Мейнстер Д.]] 17:03, 20 января 2013 (GST)
:{{tick}} "неопределена" раздельно
:{{tick}} В общем, примерно те же претензии к орфографии и пунктуации, что и в предыдущем конспекте.
:{{tick}} "Программа вычисляющая частично рекурсивную функцию легко пишется на любом {{err|s=1|t=удобном для читателя}} языке программирования."
:: Ок, только мы тут пишем скорее конспекты, а не книгу =)
:{{tick}} В последней теореме "Оно состоит из последовательных определений функций через предыдущие заканчивая нашей функцией" -- а почему у нас не может быть перекрестной рекурсии?
:{{tick}} Там же, разбить текст доказательства на более мелкие абзацы.
--[[Участник:Sementry|Мейнстер Д.]] 17:03, 20 января 2013 (GST)
