Вклад участника
(новейшие | старейшие) Просмотреть (20 более новых | 20 более старых) (20 | 50 | 100 | 250 | 500)
- 22:22, 25 декабря 2016 (разн. | история) . . (-61) . . Разрешимые (рекурсивные) языки (→Примеры неразрешимых множеств)
- 23:53, 17 декабря 2016 (разн. | история) . . (+1492) . . Н Теорема Успенского-Райса (Новая страница: «<tex> A </tex> {{---}} разрешимое семейство языков. <tex> L_A </tex> {{---}} множество программ, удовлетворя...»)
- 23:52, 17 декабря 2016 (разн. | история) . . (-73) . . Неразрешимость универсального языка (→Неразрешимость универсального языка)
- 23:52, 17 декабря 2016 (разн. | история) . . (+1283) . . Н Неразрешимость универсального языка (Новая страница: «= Неразрешимость универсального языка = {{Утверждение |id=proposalU. |statement=[[Разрешимые (рекурс...»)
- 01:04, 10 декабря 2016 (разн. | история) . . (0) . . Примитивно рекурсивные функции (→n-местный ноль)
- 01:03, 10 декабря 2016 (разн. | история) . . (-102) . . Примитивно рекурсивные функции (→n-местный ноль)
- 01:01, 10 декабря 2016 (разн. | история) . . (-8) . . Примитивно рекурсивные функции (→Примитивно рекурсивные функции)
- 00:57, 10 декабря 2016 (разн. | история) . . (+642) . . Примитивно рекурсивные функции (→Примитивно рекурсивные функции)
- 00:50, 10 декабря 2016 (разн. | история) . . (+8) . . Примитивно рекурсивные функции (→Операции сравнения)
- 00:49, 10 декабря 2016 (разн. | история) . . (0) . . м Примитивно рекурсивные функции (→Вычитания)
- 00:48, 10 декабря 2016 (разн. | история) . . (0) . . Примитивно рекурсивные функции (→Умножения)
- 00:48, 10 декабря 2016 (разн. | история) . . (+38) . . Примитивно рекурсивные функции (→Сложение)
- 00:46, 10 декабря 2016 (разн. | история) . . (+6) . . Примитивно рекурсивные функции (→Примитивно рекурсивные функции)
- 00:46, 10 декабря 2016 (разн. | история) . . (+6) . . Примитивно рекурсивные функции (→Примитивно рекурсивные функции)
- 00:45, 10 декабря 2016 (разн. | история) . . (+65) . . Примитивно рекурсивные функции (→Примитивно рекурсивные функции)
- 00:43, 10 декабря 2016 (разн. | история) . . (-5) . . Примитивно рекурсивные функции (→Теоремы)
- 00:43, 10 декабря 2016 (разн. | история) . . (+23) . . Примитивно рекурсивные функции (→Теорема о примитивной рекурсивности вычислимых функций)
- 00:42, 10 декабря 2016 (разн. | история) . . (+13) . . Примитивно рекурсивные функции (→Деление)
- 00:38, 10 декабря 2016 (разн. | история) . . (-3) . . Примитивно рекурсивные функции (→Деление)
- 00:37, 10 декабря 2016 (разн. | история) . . (-2) . . Примитивно рекурсивные функции (→Работа со списками фиксированной длины)
(новейшие | старейшие) Просмотреть (20 более новых | 20 более старых) (20 | 50 | 100 | 250 | 500)