Вклад участника
24 января 2012
Теорема о рекурсии
Нет описания правки
+2
Примеры неразрешимых задач: проблема соответствий Поста
Нет описания правки
+45
23 января 2012
Примеры неразрешимых задач: проблема соответствий Поста
Нет описания правки
+67
Примеры неразрешимых задач: проблема соответствий Поста
Нет описания правки
+2
Удаление цепных правил из грамматики
Нет описания правки
-2
Иммунные и простые множества
Нет описания правки
-73
Теорема о рекурсии
Нет описания правки
-27
Теорема о рекурсии
Нет описания правки
+2
Теорема о рекурсии
Нет описания правки
+1
Теорема о рекурсии
Нет описания правки
+45
Теорема о рекурсии
Нет описания правки
+15
Теорема о рекурсии
Нет описания правки
Теорема о рекурсии
Нет описания правки
+19
Теорема о рекурсии
Нет описания правки
+135
Обсуждение:Теорема о рекурсии
Нет описания правки
+89
Вычислимые функции
Нет описания правки
+7183
Вычислимые функции
Нет описания правки
-7129
Свойства перечислимых языков. Теорема Успенского-Райса
Теорема Успенского-Райса
Свойства перечислимых языков. Теорема Успенского-Райса
Теорема Успенского-Райса
+14
3 января 2012
2 января 2012
Свойства перечислимых языков. Теорема Успенского-Райса
Нет описания правки
+6
Свойства перечислимых языков. Теорема Успенского-Райса
Нет описания правки
+178
Свойства перечислимых языков. Теорема Успенского-Райса
Нет описания правки
+177
25 декабря 2011
Характеристика перечислимых множеств через вычислимые функции
Нет описания правки
Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
Нет описания правки
-12
Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
Нет описания правки
Перечислимые языки
Нет описания правки
Разрешимые (рекурсивные) языки
Нет описания правки
Характеристика перечислимых множеств через вычислимые функции
Нет описания правки
+4
Характеристика перечислимых множеств через вычислимые функции
Эквивалентность определений
-2
Характеристика перечислимых множеств через вычислимые функции
Нет описания правки
+90
Характеристика перечислимых множеств через вычислимые функции
Нет описания правки
-147
Характеристика перечислимых множеств через вычислимые функции
Литература
+23
23 декабря 2011
Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
Нет описания правки
-27
Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
Нет описания правки
+15
Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
Литература
+19
Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
Нет описания правки
+8
Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
Нет описания правки
+141
Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
Нет описания правки
-3
Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
Нет описания правки
-3
Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
Нет описания правки
+122
Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
Нет описания правки
+61
Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
Нет описания правки
+15
Перечислимые языки
Нет описания правки
-30
Разрешимые (рекурсивные) языки
Нет описания правки
-4
Разрешимые (рекурсивные) языки
Нет описания правки
Разрешимые (рекурсивные) языки
Нет описания правки
+13
Разрешимые (рекурсивные) языки
Нет описания правки
Разрешимые (рекурсивные) языки
Литература
+31
Разрешимые (рекурсивные) языки
Нет описания правки
+2