Вклад участника
10 мая 2012
Теоремы о коллапсе полиномиальной иерархии
Теорема о коллапсе полиномиальной иерархии при совпадении \Sigma_i и \Sigma_{i+1}
м+5
Теоремы о коллапсе полиномиальной иерархии
Теорема о коллапсе полиномиальной иерархии при совпадении \Sigma_i и \Sigma_{i+1}
+5
Теоремы о коллапсе полиномиальной иерархии
Теорема о коллапсе полиномиальной иерархии при совпадении \Sigma_i и \Pi_i
+520
15 апреля 2012
11 апреля 2012
Теоремы о коллапсе полиномиальной иерархии
Теорема о коллапсе полиномиальной иерархии при совпадении \Sigma_i и \Sigma_{i+1}
м-4
Теоремы о коллапсе полиномиальной иерархии
Теорема о коллапсе полиномиальной иерархии при совпадении \Sigma_i и \Pi_i
м-4
Теоремы о коллапсе полиномиальной иерархии
Теорема о коллапсе полиномиальной иерархии при совпадении \Sigma_i и \Pi_i
-13
Теоремы о коллапсе полиномиальной иерархии
Теорема о коллапсе полиномиальной иерархии при совпадении \Sigma_i и \Sigma_{i+1}
м-60
Теоремы о коллапсе полиномиальной иерархии
Теорема о коллапсе полиномиальной иерархии при совпадении \Sigma_i и \Sigma_{i+1}
м+30
Теоремы о коллапсе полиномиальной иерархии
Теорема о коллапсе полиномиальной иерархии при совпадении \Sigma_i и \Sigma_{i+1}
+251
Теоремы о коллапсе полиномиальной иерархии
Нет описания правки
м+45
Теоремы о коллапсе полиномиальной иерархии
Нет описания правки
+614
2 апреля 2012
Теоремы о коллапсе полиномиальной иерархии
Теорема о коллапсе полиномиальной иерархии при совпадении \Sigma_i и \Pi_i
м-42
Теоремы о коллапсе полиномиальной иерархии
Теорема о коллапсе полиномиальной иерархии при совпадении \Sigma_i и \Sigma_{i+1}
м-42
21 декабря 2011
20 декабря 2011
18 декабря 2011
Вычислимые функции
Теорема об униформизации
м-3
Вычислимые функции
Теорема о псевдообратной функции
м-3
Вычислимые функции
Свойства вычислимой функции
м-9
Вычислимые функции
Примеры вычислимых функций
м+22
Вычислимые функции
Основные определения
м-6
Вычислимые функции
Литература
м+1
12 декабря 2011
Вычислимые функции
Свойства вычислимой функции
+486
Вычислимые функции
Теорема о псевдообратной функции
м+33
Вычислимые функции
Теорема об униформизации
м+33
Вычислимые функции
Свойства вычислимой функции
м-365
Вычислимые функции
Основные определения
м+3
Вычислимые функции
Основные определения
м+85
Удаление eps-правил из грамматики
Доказательство корректности
м+15
10 декабря 2011
Вычислимые функции
Теорема о псевдообратной функции
мВычислимые функции
Теорема о псевдообратной функции
+381
Вычислимые функции
Примеры вычислимых функций
м+90
Вычислимые функции
Нет описания правки
+1390
Вычислимые функции
Нет описания правки
м-4
Вычислимые функции
Нет описания правки
+1402
Вычислимые функции
Свойства вычислимой функции
м+626
Вычислимые функции
Нет описания правки
+2693
Вычислимые функции
Нет описания правки
+755
9 декабря 2011
Удаление eps-правил из грамматики
Доказательство корректности
м+1
Удаление eps-правил из грамматики
Доказательство корректности
м+34
8 декабря 2011
Удаление eps-правил из грамматики
Алгоритм поиска ε-порождающих нетерминалов
м+26
Удаление eps-правил из грамматики
Алгоритм поиска ε-порождающих нетерминалов
м-512
Удаление eps-правил из грамматики
Алгоритм поиска ε-порождающих нетерминалов
м-648
7 декабря 2011
6 декабря 2011
Удаление eps-правил из грамматики
Алгоритм удаления ε-правил из грамматики
м+217
Удаление eps-правил из грамматики
Алгоритм удаления ε-правил из грамматики
м+78
23 ноября 2011
Обсуждение:Удаление eps-правил из грамматики
Нет описания правки
+174
Удаление eps-правил из грамматики
Нет описания правки
м+366
Удаление eps-правил из грамматики
Поиск ε-порождающих нетерминалов
м+2
