История
1 сентября 2022
20 марта 2019
10 марта 2019
→Строительные блоки рекурсивных функций
+1
→Строительные блоки рекурсивных функций
+3
Нет описания правки
+76
12 июня 2018
10 декабря 2016
→Деление
м-55
→IF
м+31
переименовал Примитивно-рекурсивные функции в Примитивно рекурсивные функции
м→Вычитания
+3
→Операции сравнения
-1
→Вычитания
+1
→Умножения
-1
→n-местный ноль
+1
→n-местный ноль
+21
→n-местный ноль
+179
→Деление
+11
→IF
-2
→Деление
→Деление
+3
→Деление
-2
→IF
→Деление
-2
→Деление
-1
→Деление
+6
→Сложение
→Рекурсивные функции
+79
→Арифметические операции на примитивно рекурсивных функциях
-79
→Примитивно рекурсивные функции
м+2
→Примитивно рекурсивные функции
+36
→n-местный ноль
→n-местный ноль
-102
→Примитивно рекурсивные функции
-8
→Примитивно рекурсивные функции
+642
→Операции сравнения
+8
→Вычитания
м→Умножения
→Сложение
+38
→Примитивно рекурсивные функции
+6
→Примитивно рекурсивные функции
+6
→Примитивно рекурсивные функции
+65
→Теоремы
-5
→Теорема о примитивной рекурсивности вычислимых функций
+23
→Деление
+13
→Деление
-3
→Работа со списками фиксированной длины
-2
→Теорема о примитивной рекурсивности вычислимых функций
+5