История
4 декабря 2016
→Арифметические операции на примитивно рекурсивных функциях
-24
→Рекурсивные функции
-1
→Рекурсивные функции
+60
→Рекурсивные функции
-17
→Источники информации
+27
→Деление
-314
27 ноября 2016
→Деление
-43
→IF
-81
→Вычитания
-130
→Умножения
-57
→Сложение
→Сложение
-57
→n-местный ноль
-91
→n-местный ноль
+8
→n-местный ноль
-72
→Источники информации
+333
→См. также
-332
→Источники информации
-24
→Примитивно рекурсивные функции
-642
→n-местный ноль
+54
→Примитивно рекурсивные функции
-40
→Рекурсивные функции
+50
→Рекурсивные функции
→Рекурсивные функции
+18
→Рекурсивные функции
+142
→Примитивно рекурсивные функции
→Примитивно рекурсивные функции
-8
→Рекурсивные функции
→Рекурсивные функции
+48
17 ноября 2016
16 ноября 2016
→n -местный ноль
+4
→Теорема о примитивной рекурсивности вычислимых функций
+6
→Теорема о примитивной рекурсивности вычислимых функций
+6
15 ноября 2016
→См. также
+71
→Операции сравнения
-8
→Деление
→Теорема о примитивной рекурсивности вычислимых функций
+24
→Арифметические операции на примитивно рекурсивных функциях
+6
→Сложения
→Рекурсивные функции
-176
Нет описания правки
+12
→Деление
-1
→Работа со списками фиксированной длины
-2
→Основные определения
-1396
→n -местный ноль
+11
→Источники информации
+124
→Арифметические функции и отношения. Их выразимость в формальной арифметике
-12 837
Нет описания правки
+14 237
→Примитивно рекурсивные функции
-1397
Нет описания правки
+1065
