Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 02:48, 16 февраля 2019 (разн. | история) . . (+35) . . Формальные грамматики (→Определения: В правилах слева могут быть и терминалы)
- 16:18, 12 сентября 2016 (разн. | история) . . (0) . . Лямбда-исчисление
- 18:26, 22 января 2015 (разн. | история) . . (+1) . . м Куча Бродала-Окасаки (→Insert: Упс, баг)
- 18:25, 22 января 2015 (разн. | история) . . (-84) . . Куча Бродала-Окасаки (→extractMin: Нормальные обозначения и правильный код)
- 18:11, 22 января 2015 (разн. | история) . . (-32) . . Куча Бродала-Окасаки (→getMin: Нормальные обозначения)
- 18:10, 22 января 2015 (разн. | история) . . (-111) . . Куча Бродала-Окасаки (→Insert: Нормальные обозначения)
- 18:08, 22 января 2015 (разн. | история) . . (-130) . . Куча Бродала-Окасаки (→Merge: Нормальные обозначения)
- 18:04, 22 января 2015 (разн. | история) . . (-132) . . Куча Бродала-Окасаки (→Структура: Нормальные обозначения)
- 16:56, 22 января 2015 (разн. | история) . . (0) . . м Куча Бродала-Окасаки (Не тайпчекалось же, ну)
- 20:05, 28 января 2014 (разн. | история) . . (+456) . . Обсуждение:Декартово дерево (→Приоритет: Новая тема) (текущая)
- 20:04, 28 января 2014 (разн. | история) . . (+10) . . Декартово дерево (→Merge)
- 01:54, 5 января 2014 (разн. | история) . . (+2) . . Участник:Kirelagin (текущая)
- 19:37, 24 июня 2013 (разн. | история) . . (+675) . . Нормальная подгруппа (→Нормальные подгруппы)
- 19:21, 24 июня 2013 (разн. | история) . . (-86) . . Подгруппа (→Нормальные подгруппы)
- 19:17, 24 июня 2013 (разн. | история) . . (-34) . . Конечная группа (→Свойства)
- 18:58, 19 июня 2012 (разн. | история) . . (-31) . . м Интеграл Фейера (Правки Dgerasimov (обсуждение) откачены к версии Sementry)
- 13:07, 5 июня 2012 (разн. | история) . . (+1) . . Теорема Левина
- 13:05, 5 июня 2012 (разн. | история) . . (+30) . . Теорема Левина
- 12:46, 5 июня 2012 (разн. | история) . . (+35) . . Теорема Левина
- 18:25, 4 июня 2012 (разн. | история) . . (+18) . . PS-полнота языка верных булевых формул с кванторами (TQBF)
- 18:23, 4 июня 2012 (разн. | история) . . (+116) . . Интерактивные протоколы. Класс IP. Класс AM
- 18:01, 4 июня 2012 (разн. | история) . . (-11) . . Классы NP, coNP, Σ₁, Π₁
- 16:40, 4 июня 2012 (разн. | история) . . (+19) . . Лемма о соотношении coNP и IP
- 16:16, 4 июня 2012 (разн. | история) . . (-35) . . Лемма о соотношении coNP и IP
- 15:51, 4 июня 2012 (разн. | история) . . (-40) . . Шаблон:Определение
- 15:39, 4 июня 2012 (разн. | история) . . (-97) . . Лемма о соотношении coNP и IP
- 12:33, 4 июня 2012 (разн. | история) . . (+14) . . Арифметизация булевых формул с кванторами
- 10:34, 4 июня 2012 (разн. | история) . . (0) . . Интерактивные протоколы. Класс IP. Класс AM
- 10:27, 4 июня 2012 (разн. | история) . . (0) . . м Интерактивные протоколы. Класс IP. Класс AM
- 01:01, 4 июня 2012 (разн. | история) . . (+86) . . Обсуждение:Интерактивные протоколы. Класс IP. Класс AM
- 00:52, 4 июня 2012 (разн. | история) . . (+795) . . Н Обсуждение:Интерактивные протоколы. Класс IP. Класс AM (Новая страница: «Надо написать, что V хочет установить истину. Надо расставить ссылки (например, на вероят...»)
- 00:52, 4 июня 2012 (разн. | история) . . (-79) . . Интерактивные протоколы. Класс IP. Класс AM (→Класс IP)
- 00:23, 4 июня 2012 (разн. | история) . . (-349) . . Классы RP и coRP
- 22:12, 3 июня 2012 (разн. | история) . . (+754) . . Обсуждение:Сложностные классы. Вычисления с оракулом (→Я не понял, ЭТО зачтено или нет?)
- 22:08, 3 июня 2012 (разн. | история) . . (+683) . . Обсуждение:Теорема Бейкера — Гилла — Соловэя (→Мелкие по сравнению с остальным претензии: Новая тема)
- 22:06, 3 июня 2012 (разн. | история) . . (+575) . . Обсуждение:Теорема Бейкера — Гилла — Соловэя (→Странное ограничение)
- 21:52, 3 июня 2012 (разн. | история) . . (+800) . . Обсуждение:Теорема Карпа — Липтона (→Новое доказательство — новые вопросы!: Новая тема)
- 16:21, 3 июня 2012 (разн. | история) . . (+141) . . Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости (текущая)
- 16:13, 3 июня 2012 (разн. | история) . . (+1) . . м Теорема Ладнера
- 16:13, 3 июня 2012 (разн. | история) . . (+52) . . м Теорема Ладнера
- 16:11, 3 июня 2012 (разн. | история) . . (+15) . . Теорема Ладнера
- 16:10, 3 июня 2012 (разн. | история) . . (-9) . . Теорема Ладнера
- 16:07, 3 июня 2012 (разн. | история) . . (+5) . . Теорема Ладнера
- 16:02, 3 июня 2012 (разн. | история) . . (+96) . . Теорема Ладнера
- 15:27, 3 июня 2012 (разн. | история) . . (+17) . . Обсуждение:Теорема Ладнера
- 15:17, 3 июня 2012 (разн. | история) . . (+103) . . Теорема Ладнера
- 15:15, 3 июня 2012 (разн. | история) . . (-5) . . Теорема Ладнера (Отмена правки 23418 участника Kirelagin (обсуждение))
- 15:09, 3 июня 2012 (разн. | история) . . (+5) . . Теорема Ладнера
- 15:08, 3 июня 2012 (разн. | история) . . (+496) . . Обсуждение:Теорема Ладнера
- 14:54, 3 июня 2012 (разн. | история) . . (+429) . . Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)