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

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

ExileHell

15 ноября 2016

Примитивно рекурсивные функции
Нет описания правки
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
Примитивно рекурсивные функции
‎Рекурсивные функции
16:09
Примитивно рекурсивные функции
‎Рекурсия
15:59
-1
Примитивно рекурсивные функции
Нет описания правки
15:56
+34

3 ноября 2016

Теория формальных языков
‎Вычислительные формализмы
01:35
+115
Примитивно рекурсивные функции
‎Источники информации
01:18
+137
Примитивно рекурсивные функции
‎Рекурсивные функции
01:15
+548

2 ноября 2016

Примитивно рекурсивные функции
‎Источники ин
22:58
+16
Примитивно рекурсивные функции
‎Арифметические функции и отношения. Их выразимость в формальной арифметике
22:58
+8
Примитивно рекурсивные функции
Нет описания правки
22:34
+14 785

18 октября 2016

Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчёт числа слов)
Нет описания правки
19:31
+77

11 октября 2016

Обсуждение:Формальные грамматики
Удалено содержимое страницы
17:40
-1055
Формальные грамматики
‎Язык 0^n1^n2^n
17:38
+43
Формальные грамматики
‎Арифметические выражения
17:20
Формальные грамматики
‎Правильные скобочные последовательности
17:13
+240
Формальные грамматики
‎Арифметические выражения
16:49
+162
Формальные грамматики
‎Язык 0^n1^n2^n
16:37
Формальные грамматики
‎Арифметические выражения
16:31
Формальные грамматики
Нет описания правки
16:16
-6
Формальные грамматики
‎Определения
16:08
+50
Формальные грамматики
‎Определения
15:48

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

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

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

ExileHell

15 ноября 2016

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

6 ноября 2016

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

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

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

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

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

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

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

3 ноября 2016

Теория формальных языков

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

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

2 ноября 2016

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

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

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

18 октября 2016

Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчёт числа слов)

11 октября 2016

Обсуждение:Формальные грамматики

Формальные грамматики

Формальные грамматики

Формальные грамматики

Формальные грамматики

Формальные грамматики

Формальные грамматики

Формальные грамматики

Формальные грамматики

Формальные грамматики

Навигация

Поиск