Вклад участника
23 января 2012
Теорема о рекурсии
Нет описания правки
+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
Разрешимые (рекурсивные) языки
Нет описания правки
-14
22 декабря 2011
19 декабря 2011
Перечислимые языки
Нет описания правки
+6
Перечислимые языки
Нет описания правки
+13
Перечислимые языки
Литература
+2
8 ноября 2011
7 ноября 2011
Нормальная форма Хомского
Нет описания правки
+1
Нормальная форма Хомского
Приведение грамматики к нормальной форме Хомского
-1