Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 19:10, 3 июня 2012 (разн. | история) . . (-6) . . PS-полнота языка верных булевых формул с кванторами (TQBF)
- 19:04, 3 июня 2012 (разн. | история) . . (+6) . . PS-полнота языка верных булевых формул с кванторами (TQBF)
- 18:33, 3 июня 2012 (разн. | история) . . (-5) . . Классы L, NL, coNL. NL-полнота задачи о достижимости
- 18:32, 3 июня 2012 (разн. | история) . . (-6) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→NL-полнота)
- 16:53, 3 июня 2012 (разн. | история) . . (-11) . . PS-полнота языка верных булевых формул с кванторами (TQBF)
- 15:53, 3 июня 2012 (разн. | история) . . (+1) . . Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости
- 15:53, 3 июня 2012 (разн. | история) . . (+74) . . Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости
- 15:32, 3 июня 2012 (разн. | история) . . (+129) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 15:30, 3 июня 2012 (разн. | история) . . (-1) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 15:17, 3 июня 2012 (разн. | история) . . (+7) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 15:10, 3 июня 2012 (разн. | история) . . (-11) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 15:09, 3 июня 2012 (разн. | история) . . (-16) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 15:05, 3 июня 2012 (разн. | история) . . (+1) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 15:05, 3 июня 2012 (разн. | история) . . (+1) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 14:39, 3 июня 2012 (разн. | история) . . (+185) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→NL-полнота)
- 14:31, 3 июня 2012 (разн. | история) . . (+330) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 14:25, 3 июня 2012 (разн. | история) . . (+1) . . Классы L, NL, coNL. NL-полнота задачи о достижимости
- 14:24, 3 июня 2012 (разн. | история) . . (+174) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 21:17, 2 июня 2012 (разн. | история) . . (+288) . . Обсуждение:PS-полнота языка верных булевых формул с кванторами (TQBF)
- 20:50, 2 июня 2012 (разн. | история) . . (+698) . . Н Обсуждение:Классы RP и coRP (Новая страница: «Обозначение "программа m" меня убивает. Если программа, то все-таки р, m - это МТ. '''then''' на сл...»)
- 14:29, 1 июня 2012 (разн. | история) . . (+327) . . Обсуждение:PS-полнота языка верных булевых формул с кванторами (TQBF)
- 14:23, 1 июня 2012 (разн. | история) . . (+2) . . Обсуждение:Вероятностные вычисления. Вероятностная машина Тьюринга
- 14:23, 1 июня 2012 (разн. | история) . . (+2) . . Обсуждение:Вероятностные вычисления. Вероятностная машина Тьюринга
- 14:23, 1 июня 2012 (разн. | история) . . (+864) . . Н Обсуждение:Вероятностные вычисления. Вероятностная машина Тьюринга (Новая страница: «Претензии по сути: 1) вступление; я его не очень поняла; что значит, что "программы получаю...»)
- 07:04, 14 мая 2012 (разн. | история) . . (-6) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 18:18, 13 мая 2012 (разн. | история) . . (-5) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 18:17, 13 мая 2012 (разн. | история) . . (+41) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 18:15, 13 мая 2012 (разн. | история) . . (+423) . . Классы L, NL, coNL. NL-полнота задачи о достижимости
- 18:08, 13 мая 2012 (разн. | история) . . (+27) . . Классы L, NL, coNL. NL-полнота задачи о достижимости
- 17:32, 13 мая 2012 (разн. | история) . . (-100) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 17:30, 13 мая 2012 (разн. | история) . . (+57) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 17:25, 13 мая 2012 (разн. | история) . . (+4464) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 19:42, 30 апреля 2012 (разн. | история) . . (+895) . . Обсуждение:Сложностные классы. Вычисления с оракулом
- 19:31, 30 апреля 2012 (разн. | история) . . (+2) . . Обсуждение:PS-полнота языка верных булевых формул с кванторами (TQBF)
- 19:31, 30 апреля 2012 (разн. | история) . . (+1534) . . Н Обсуждение:PS-полнота языка верных булевых формул с кванторами (TQBF) (Новая страница: «Претензии по содержанию * Формулировка леммы 2 не совсем корректна. "Для любого L из PS след...»)
- 13:50, 30 апреля 2012 (разн. | история) . . (+2487) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 20:39, 29 апреля 2012 (разн. | история) . . (+592) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 20:20, 29 апреля 2012 (разн. | история) . . (+7738) . . Н Классы L, NL, coNL. NL-полнота задачи о достижимости (Новая страница: «{{Определение |definition='''Класс <tex>L</tex>''' — множество языков, разрешимых на детерминированно...»)
- 05:36, 23 января 2012 (разн. | история) . . (-1464) . . Детерминированные автоматы с магазинной памятью
- 05:33, 23 января 2012 (разн. | история) . . (+77) . . МП-автоматы, допуск по пустому стеку и по допускающему состоянию, эквивалентность
- 05:30, 23 января 2012 (разн. | история) . . (+177) . . Автоматы с магазинной памятью (→Недетерминированный автомат с магазинной памятью)
- 05:18, 23 января 2012 (разн. | история) . . (+18) . . Лемма Огдена
- 05:14, 23 января 2012 (разн. | история) . . (0) . . Лемма Огдена
- 04:59, 23 января 2012 (разн. | история) . . (-3) . . Примеры неразрешимых задач: однозначность грамматики
- 04:52, 23 января 2012 (разн. | история) . . (+137) . . Примеры неразрешимых задач: однозначность грамматики
- 01:53, 23 января 2012 (разн. | история) . . (0) . . Удаление бесполезных символов из грамматики (→Достижимые и недостижимые нетерминалы)
- 01:35, 23 января 2012 (разн. | история) . . (+5) . . Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
- 01:29, 23 января 2012 (разн. | история) . . (-19) . . Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
- 01:25, 23 января 2012 (разн. | история) . . (+18) . . Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
- 01:23, 23 января 2012 (разн. | история) . . (+5) . . Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
