Вклад участника
25 декабря 2016
17 декабря 2016
Теорема Успенского-Райса
Новая страница: «<tex> A </tex> {{---}} разрешимое семейство языков. <tex> L_A </tex> {{---}} множество программ, удовлетворя...»
Неразрешимость универсального языка
Неразрешимость универсального языка
-73
Неразрешимость универсального языка
Новая страница: «= Неразрешимость универсального языка = {{Утверждение |id=proposalU. |statement=[[Разрешимые (рекурс...»
10 декабря 2016
Примитивно рекурсивные функции
n-местный ноль
Примитивно рекурсивные функции
n-местный ноль
-102
Примитивно рекурсивные функции
Примитивно рекурсивные функции
-8
Примитивно рекурсивные функции
Примитивно рекурсивные функции
+642
Примитивно рекурсивные функции
Операции сравнения
+8
Примитивно рекурсивные функции
Вычитания
мПримитивно рекурсивные функции
Умножения
Примитивно рекурсивные функции
Сложение
+38
Примитивно рекурсивные функции
Примитивно рекурсивные функции
+6
Примитивно рекурсивные функции
Примитивно рекурсивные функции
+6
Примитивно рекурсивные функции
Примитивно рекурсивные функции
+65
Примитивно рекурсивные функции
Теоремы
-5
Примитивно рекурсивные функции
Теорема о примитивной рекурсивности вычислимых функций
+23
Примитивно рекурсивные функции
Деление
+13
Примитивно рекурсивные функции
Деление
-3
Примитивно рекурсивные функции
Работа со списками фиксированной длины
-2
Примитивно рекурсивные функции
Теорема о примитивной рекурсивности вычислимых функций
+5
4 декабря 2016
Примитивно рекурсивные функции
Сложение
-25
Примитивно рекурсивные функции
Сложение
+588
Примитивно рекурсивные функции
Примитивно рекурсивные функции
-205
Примитивно рекурсивные функции
Вычитания
+8
Примитивно рекурсивные функции
Примитивно рекурсивные функции
-2
Примитивно рекурсивные функции
Примитивно рекурсивные функции
+303
Примитивно рекурсивные функции
Источники информации
+108
Примитивно рекурсивные функции
n-местный ноль
-72
Примитивно рекурсивные функции
n-местный ноль
-43
Примитивно рекурсивные функции
Примитивно рекурсивные функции
+6
Примитивно рекурсивные функции
Примитивно рекурсивные функции
-204
Примитивно рекурсивные функции
Арифметические операции на примитивно рекурсивных функциях
+77
Примитивно рекурсивные функции
Арифметические операции на примитивно рекурсивных функциях
-24
Примитивно рекурсивные функции
Рекурсивные функции
-1
Примитивно рекурсивные функции
Рекурсивные функции
+60
27 ноября 2016
Примитивно рекурсивные функции
Деление
-43
Примитивно рекурсивные функции
IF
-81
Примитивно рекурсивные функции
Вычитания
-130
Примитивно рекурсивные функции
Умножения
-57
Примитивно рекурсивные функции
Сложение
Примитивно рекурсивные функции
Сложение
-57
Примитивно рекурсивные функции
n-местный ноль
-91
Примитивно рекурсивные функции
n-местный ноль
+8
Примитивно рекурсивные функции
n-местный ноль
-72
Примитивно рекурсивные функции
Источники информации
+333
Примитивно рекурсивные функции
См. также
-332
Примитивно рекурсивные функции
Источники информации
-24
Примитивно рекурсивные функции
Примитивно рекурсивные функции
-642
Примитивно рекурсивные функции
n-местный ноль
+54
