История
15 января 2017
20 января 2013
→Теорема о примитивной рекурсивности вычислимых функций
+40
→Теорема о примитивной рекурсивности вычислимых функций
+2
Нет описания правки
-28
→Теорема о примитивной рекурсивности вычислимых функций
+100
→Теорема о примитивной рекурсивности вычислимых функций
+59
Нет описания правки
-87
→Теорема о примитивной рекурсивности вычислимых функций
+1
→Теорема о примитивной рекурсивности вычислимых функций
+1206
→Теорема о рекурсии
-4097
19 января 2013
→Работа со списками фиксированной длины
+38
→Арифметические операции на примитивно рекурсивных функциях
+1177
→Примитивно рекурсивные функции
+7273
→Деление
+607
→Арифметические операции на примитивно рекурсивных функциях
+410
18 января 2013
→Деление
→Операции сравнения
+1
→Операции сравнения
+45
→Вычитания
-9
→Вычитания
-24
→Умножения
-26
→Сложения
-30
→n -местный ноль
-8
→Основные определения
+20
→Основные определения
+1
→Основные определения
+2
→Основные определения
+13
→Основные определения
+14
→Основные определения
-6
→Основные определения
+10
й
+733
→Деление
+20
→Деление
+11
→Основные определения
-243
→Основные определения
+243
→Деление
-10
→Основные определения
-2
→Основные определения
+12
→Примитивно рекурсивные функции
+486
→Деление
+169
→Операции сравнения
-1
→n -местный ноль
+30
→n -местный ноль
+10
→n -местный ноль
+122
→n -местный ноль
+75
→Операции сравнения
-8
→Операции сравнения
+165
→Деление
+28
→Основные определения
→Основные определения
+13
