http://neerc.ifmo.ru/wiki/index.php?action=history&feed=atom&title=%D0%9E%D0%B1%D1%81%D1%83%D0%B6%D0%B4%D0%B5%D0%BD%D0%B8%D0%B5%3A%D0%A7%D0%B0%D1%81%D1%82%D0%B8%D1%87%D0%BD%D0%BE_%D1%80%D0%B5%D0%BA%D1%83%D1%80%D1%81%D0%B8%D0%B2%D0%BD%D1%8B%D0%B5_%D1%84%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D0%B8Обсуждение:Частично рекурсивные функции - История изменений2026-08-20T01:14:34ZИстория изменений этой страницы в викиMediaWiki 1.30.0http://neerc.ifmo.ru/wiki/index.php?title=%D0%9E%D0%B1%D1%81%D1%83%D0%B6%D0%B4%D0%B5%D0%BD%D0%B8%D0%B5:%D0%A7%D0%B0%D1%81%D1%82%D0%B8%D1%87%D0%BD%D0%BE_%D1%80%D0%B5%D0%BA%D1%83%D1%80%D1%81%D0%B8%D0%B2%D0%BD%D1%8B%D0%B5_%D1%84%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D0%B8&diff=30461&oldid=prevSementry: Новая страница: «:{{tick}} В основных определениях убрать лишние отступы и первое предложение, а также выдели...»2013-01-20T13:03:04Z<p>Новая страница: «:{{tick}} В основных определениях убрать лишние отступы и первое предложение, а также выдели...»</p>
<p><b>Новая страница</b></p><div>:{{tick}} В основных определениях убрать лишние отступы и первое предложение, а также выделить жирным "правилом минимизации". И еще уточни, что в дальнейшем мы будем иногда сравнивать значение функции не только с нулем.<br />
:{{tick}} "неопределена" раздельно<br />
:{{tick}} В общем, примерно те же претензии к орфографии и пунктуации, что и в предыдущем конспекте.<br />
:{{tick}} "Программа вычисляющая частично рекурсивную функцию легко пишется на любом {{err|s=1|t=удобном для читателя}} языке программирования." <br />
:: Ок, только мы тут пишем скорее конспекты, а не книгу =) <br />
:{{tick}} В последней теореме "Оно состоит из последовательных определений функций через предыдущие заканчивая нашей функцией" -- а почему у нас не может быть перекрестной рекурсии?<br />
:{{tick}} Там же, разбить текст доказательства на более мелкие абзацы.<br />
--[[Участник:Sementry|Мейнстер Д.]] 17:03, 20 января 2013 (GST)</div>Sementry