История
15 ноября 2016
→Теорема о примитивной рекурсивности вычислимых функций
+24
→Арифметические операции на примитивно рекурсивных функциях
+6
→Сложения
→Рекурсивные функции
-176
Нет описания правки
+12
→Деление
-1
→Работа со списками фиксированной длины
-2
→Основные определения
-1396
→n -местный ноль
+11
→Источники информации
+124
→Арифметические функции и отношения. Их выразимость в формальной арифметике
-12 837
Нет описания правки
+14 237
→Примитивно рекурсивные функции
-1397
Нет описания правки
+1065
Нет описания правки
-12 836
→См. также
+70
→Источники информации
+159
→Операции сравнения
-8
→Сложения
Нет описания правки
+6
→Рекурсивные функции
-575
→Рекурсивные функции
-489
→Рекурсивные функции
-330
→Рекурсивные функции
+6
→Рекурсивные функции
+47
→Рекурсивные функции
+94
6 ноября 2016
→Рекурсивные функции
→Рекурсивные функции
+3
→Рекурсивные функции
+4
→Рекурсивные функции
+2
→Рекурсивные функции
→Рекурсия
-1
Нет описания правки
+34
3 ноября 2016
2 ноября 2016
→Источники ин
+16
→Арифметические функции и отношения. Их выразимость в формальной арифметике
+8
Нет описания правки
+14 785
26 октября 2016
27 января 2012
17 января 2012
→Арифметические функции и отношения. Их выразимость в формальной арифметике.
-1
→Рекурсивные функции.
м-1
