Вклад участника
23 мая 2012
Классы RP и coRP
Теорема об эквивалентности определений
+2167
Классы RP и coRP
Теорема об эквивалентности определений
+876
Классы RP и coRP
Нет описания правки
м+334
Классы RP и coRP
Определения
м+4
Классы RP и coRP
Новая страница: «== Определения == {{Определение |definition= Сложностный класс <tex>\mathrm{RP}</tex> состоит из языков <tex>...»
10 мая 2012
Теоремы о коллапсе полиномиальной иерархии
Теорема о коллапсе полиномиальной иерархии при совпадении \Sigma_i и \Pi_i
м-2
Теоремы о коллапсе полиномиальной иерархии
Теорема о коллапсе полиномиальной иерархии при совпадении \Sigma_i и \Sigma_{i+1}
м+115
Теоремы о коллапсе полиномиальной иерархии
Теорема о коллапсе полиномиальной иерархии при совпадении \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