Вклад участника

Перейти к: навигация, поиск

ExileHell

27 ноября 2016

Примитивно рекурсивные функции
‎n-местный ноль
19:45
+54
Примитивно рекурсивные функции
‎Примитивно рекурсивные функции
19:43
-40
Примитивно рекурсивные функции
‎Рекурсивные функции
19:41
+50
Примитивно рекурсивные функции
‎Рекурсивные функции
19:34
Примитивно рекурсивные функции
‎Рекурсивные функции
19:33
+18
Примитивно рекурсивные функции
‎Рекурсивные функции
19:32
+142
Примитивно рекурсивные функции
‎Примитивно рекурсивные функции
19:24
Примитивно рекурсивные функции
‎Примитивно рекурсивные функции
19:21
-8
Примитивно рекурсивные функции
‎Рекурсивные функции
19:21
Примитивно рекурсивные функции
‎Рекурсивные функции
19:20
+48

16 ноября 2016

Примитивно рекурсивные функции
‎n -местный ноль
00:02
+4
Примитивно рекурсивные функции
‎Теорема о примитивной рекурсивности вычислимых функций
00:00
+6
Примитивно рекурсивные функции
‎Теорема о примитивной рекурсивности вычислимых функций
00:00
+6

15 ноября 2016

Примитивно рекурсивные функции
‎См. также
23:58
+71
Примитивно рекурсивные функции
‎Операции сравнения
23:52
-8
Примитивно рекурсивные функции
‎Деление
23:50
Примитивно рекурсивные функции
‎Теорема о примитивной рекурсивности вычислимых функций
23:48
+24
Примитивно рекурсивные функции
‎Арифметические операции на примитивно рекурсивных функциях
23:47
+6
Примитивно рекурсивные функции
‎Сложения
23:44
Примитивно рекурсивные функции
‎Рекурсивные функции
23:43
-176
Примитивно рекурсивные функции
Нет описания правки
23:34
+12
Примитивно рекурсивные функции
‎Деление
23:29
-1
Примитивно рекурсивные функции
‎Работа со списками фиксированной длины
23:23
-2
Примитивно рекурсивные функции
‎Основные определения
23:22
-1396
Примитивно рекурсивные функции
‎n -местный ноль
23:20
+11
Примитивно рекурсивные функции
‎Источники информации
23:18
+124
Арифметические функции и отношения. Их выразимость в формальной арифметике
Нет описания правки
23:15
+67
Геделева нумерация. Арифметизация доказательств
Нет описания правки
23:13
+125
Арифметические функции и отношения. Их выразимость в формальной арифметике
Нет описания правки
23:13
+124
Примитивно рекурсивные функции
‎Арифметические функции и отношения. Их выразимость в формальной арифметике
23:13
-12 837
Примитивно рекурсивные функции
Нет описания правки
23:12
+14 237
Примитивно рекурсивные функции
‎Примитивно рекурсивные функции
23:08
-1397
Примитивно рекурсивные функции
Нет описания правки
23:07
+1065
Примитивно рекурсивные функции
Нет описания правки
23:05
-12 836
Арифметические функции и отношения. Их выразимость в формальной арифметике
Новая страница: «Введем обозначение. Будем говорить, что <tex>\alpha (x_1, \dots x_n)</tex> — это формула с <tex>n</tex> своб...»
23:04
Примитивно рекурсивные функции
‎См. также
22:57
+70
Примитивно рекурсивные функции
‎Источники информации
22:55
+159
Примитивно рекурсивные функции
‎Операции сравнения
22:52
-8
Примитивно рекурсивные функции
‎Сложения
22:50
Примитивно рекурсивные функции
Нет описания правки
22:49
+6
Примитивно рекурсивные функции
‎Рекурсивные функции
22:47
-575
Примитивно рекурсивные функции
‎Рекурсивные функции
22:46
-489
Примитивно рекурсивные функции
‎Рекурсивные функции
22:45
-330
Примитивно рекурсивные функции
‎Рекурсивные функции
22:42
+6
Примитивно рекурсивные функции
‎Рекурсивные функции
22:42
+47
Примитивно рекурсивные функции
‎Рекурсивные функции
22:40
+94

6 ноября 2016

Примитивно рекурсивные функции
‎Рекурсивные функции
16:21
Примитивно рекурсивные функции
‎Рекурсивные функции
16:18
+3
Примитивно рекурсивные функции
‎Рекурсивные функции
16:13
+4
Примитивно рекурсивные функции
‎Рекурсивные функции
16:10
+2

50 более старых

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Вклад/ExileHell»

Вклад участника

ExileHell

27 ноября 2016

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

16 ноября 2016

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

15 ноября 2016

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Арифметические функции и отношения. Их выразимость в формальной арифметике

Геделева нумерация. Арифметизация доказательств

Арифметические функции и отношения. Их выразимость в формальной арифметике

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Арифметические функции и отношения. Их выразимость в формальной арифметике

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

6 ноября 2016

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Навигация

Поиск