Вклад участника
(новейшие | старейшие) Просмотреть (100 более новых | 100 более старых) (20 | 50 | 100 | 250 | 500)
- 01:50, 5 июня 2012 (разн. | история) . . (+433) . . Схемная сложность и класс P/poly
- 01:40, 5 июня 2012 (разн. | история) . . (+670) . . Схемная сложность и класс P/poly
- 22:28, 4 июня 2012 (разн. | история) . . (+149) . . Схемная сложность и класс P/poly (→Теоремы)
- 22:26, 4 июня 2012 (разн. | история) . . (+148) . . Схемная сложность и класс P/poly (→Теоремы)
- 22:10, 4 июня 2012 (разн. | история) . . (+765) . . Схемная сложность и класс P/poly (→Теоремы)
- 21:16, 4 июня 2012 (разн. | история) . . (+98) . . Схемная сложность и класс P/poly (→Определения)
- 16:51, 31 мая 2012 (разн. | история) . . (-8) . . Схемная сложность и класс P/poly (→Определения)
- 16:48, 31 мая 2012 (разн. | история) . . (+135) . . Схемная сложность и класс P/poly (→Теоремы)
- 16:24, 31 мая 2012 (разн. | история) . . (+544) . . Схемная сложность и класс P/poly
- 18:49, 27 мая 2012 (разн. | история) . . (+508) . . Схемная сложность и класс P/poly
- 02:30, 17 мая 2012 (разн. | история) . . (-2) . . Схемная сложность и класс P/poly (→Теоремы)
- 02:30, 17 мая 2012 (разн. | история) . . (-6) . . Схемная сложность и класс P/poly (→Теоремы)
- 02:29, 17 мая 2012 (разн. | история) . . (+111) . . Схемная сложность и класс P/poly
- 01:21, 17 мая 2012 (разн. | история) . . (+13) . . Схемная сложность и класс P/poly
- 01:18, 17 мая 2012 (разн. | история) . . (-7) . . Схемная сложность и класс P/poly
- 01:17, 17 мая 2012 (разн. | история) . . (+483) . . Схемная сложность и класс P/poly
- 01:04, 17 мая 2012 (разн. | история) . . (-43) . . Схемная сложность и класс P/poly (→Теоремы)
- 00:58, 17 мая 2012 (разн. | история) . . (-5) . . Схемная сложность и класс P/poly
- 00:57, 17 мая 2012 (разн. | история) . . (-530) . . Схемная сложность и класс P/poly
- 00:52, 17 мая 2012 (разн. | история) . . (+802) . . Схемная сложность и класс P/poly
- 22:19, 24 апреля 2012 (разн. | история) . . (+230) . . Схемная сложность и класс P/poly (→Теоремы)
- 21:10, 24 апреля 2012 (разн. | история) . . (-1) . . Схемная сложность и класс P/poly (→Определения)
- 21:08, 24 апреля 2012 (разн. | история) . . (-6) . . Схемная сложность и класс P/poly (→Теоремы)
- 21:06, 24 апреля 2012 (разн. | история) . . (+1) . . Схемная сложность и класс P/poly (→Определения)
- 21:05, 24 апреля 2012 (разн. | история) . . (+28) . . Схемная сложность и класс P/poly (→Определения)
- 17:57, 14 апреля 2012 (разн. | история) . . (+11) . . Схемная сложность и класс P/poly (→Теоремы)
- 17:56, 14 апреля 2012 (разн. | история) . . (+1) . . Схемная сложность и класс P/poly (→Теоремы)
- 17:54, 14 апреля 2012 (разн. | история) . . (-44) . . Схемная сложность и класс P/poly (→Теоремы)
- 17:53, 14 апреля 2012 (разн. | история) . . (0) . . Схемная сложность и класс P/poly (→Теоремы)
- 17:52, 14 апреля 2012 (разн. | история) . . (+26) . . Схемная сложность и класс P/poly
- 17:51, 14 апреля 2012 (разн. | история) . . (+507) . . Схемная сложность и класс P/poly (→Теоремы)
- 17:32, 14 апреля 2012 (разн. | история) . . (+60) . . Схемная сложность и класс P/poly (→Теоремы)
- 17:25, 14 апреля 2012 (разн. | история) . . (+53) . . Схемная сложность и класс P/poly (→Теоремы)
- 17:24, 14 апреля 2012 (разн. | история) . . (-78) . . Схемная сложность и класс P/poly
- 17:20, 14 апреля 2012 (разн. | история) . . (+115) . . Схемная сложность и класс P/poly (→Теоремы)
- 17:12, 14 апреля 2012 (разн. | история) . . (+124) . . Схемная сложность и класс P/poly (→Теоремы)
- 17:10, 14 апреля 2012 (разн. | история) . . (+237) . . Схемная сложность и класс P/poly (→Теоремы)
- 16:42, 14 апреля 2012 (разн. | история) . . (+47) . . Схемная сложность и класс P/poly (→Определения)
- 16:35, 14 апреля 2012 (разн. | история) . . (-120) . . Схемная сложность и класс P/poly (→Определения)
- 16:32, 14 апреля 2012 (разн. | история) . . (+212) . . Схемная сложность и класс P/poly (→Определения)
- 16:21, 14 апреля 2012 (разн. | история) . . (+533) . . Схемная сложность и класс P/poly
- 16:12, 14 апреля 2012 (разн. | история) . . (+700) . . Н Схемная сложность и класс P/poly (Новая страница: «{{Определение |definition= <tex>P/poly=\{L | \forall n </tex> существует логическая схема <tex> C_n </tex> с <tex> n </tex> ...»)
- 11:37, 24 января 2012 (разн. | история) . . (0) . . Линейный клеточный автомат, эквивалентность МТ (→Эквивалентность линейного клеточного автомата машине Тьюринга)
- 11:33, 24 января 2012 (разн. | история) . . (+6) . . Линейный клеточный автомат, эквивалентность МТ (→Эквивалентность линейного клеточного автомата машине Тьюринга)
- 11:27, 24 января 2012 (разн. | история) . . (0) . . Линейный клеточный автомат, эквивалентность МТ (→Другое определение линейного клеточного автомата)
- 10:59, 24 января 2012 (разн. | история) . . (-42) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность двухсчётчиковой машины МТ)
- 10:54, 24 января 2012 (разн. | история) . . (+6) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
- 08:32, 24 января 2012 (разн. | история) . . (+6) . . Нормальная форма Хомского
- 07:10, 24 января 2012 (разн. | история) . . (+1) . . Теорема о рекурсии
- 07:10, 24 января 2012 (разн. | история) . . (+3) . . Теорема о рекурсии
- 06:27, 24 января 2012 (разн. | история) . . (+9) . . Примеры неразрешимых задач: однозначность грамматики
- 06:24, 24 января 2012 (разн. | история) . . (+135) . . Стековые машины, эквивалентность двухстековой машины МТ
- 05:18, 24 января 2012 (разн. | история) . . (0) . . Теорема Райса-Шапиро (→Теорема Райса-Шапиро)
- 05:16, 24 января 2012 (разн. | история) . . (+1) . . Теорема Райса-Шапиро (→Теорема Райса-Шапиро)
- 05:13, 24 января 2012 (разн. | история) . . (0) . . Теорема Райса-Шапиро (→Теорема Райса-Шапиро)
- 04:33, 24 января 2012 (разн. | история) . . (+33) . . Возможность порождения формальной грамматикой произвольного перечислимого языка (→Построение грамматики по МТ)
- 04:32, 24 января 2012 (разн. | история) . . (+2) . . Возможность порождения формальной грамматикой произвольного перечислимого языка (→Построение грамматики по МТ)
- 04:31, 24 января 2012 (разн. | история) . . (+1) . . Возможность порождения формальной грамматикой произвольного перечислимого языка (→Теорема)
- 04:25, 24 января 2012 (разн. | история) . . (+1) . . Возможность порождения формальной грамматикой произвольного перечислимого языка
- 04:20, 24 января 2012 (разн. | история) . . (+70) . . Теорема Райса-Шапиро (→Теорема Райса-Шапиро)
- 04:12, 24 января 2012 (разн. | история) . . (+52) . . Теорема Райса-Шапиро (→Теорема Райса-Шапиро)
- 04:05, 24 января 2012 (разн. | история) . . (-12) . . Теорема Райса-Шапиро (→Теорема Райса-Шапиро)
- 04:01, 24 января 2012 (разн. | история) . . (+9) . . Теорема Райса-Шапиро (→Теорема Райса-Шапиро)
- 03:59, 24 января 2012 (разн. | история) . . (0) . . Теорема Райса-Шапиро (→Теорема Райса-Шапиро)
- 03:58, 24 января 2012 (разн. | история) . . (0) . . Теорема Райса-Шапиро (→Теорема Райса-Шапиро)
- 03:52, 24 января 2012 (разн. | история) . . (+10) . . Теорема Райса-Шапиро (→Лемма о перечислимости свойства перечислимого множества образцов)
- 02:49, 24 января 2012 (разн. | история) . . (+8) . . Теорема Райса-Шапиро (→Теорема Райса-Шапиро)
- 02:42, 24 января 2012 (разн. | история) . . (-7) . . Теорема Райса-Шапиро (→Лемма о перечислимости свойства образца)
- 02:38, 24 января 2012 (разн. | история) . . (+24) . . Стековые машины, эквивалентность двухстековой машины МТ
- 00:49, 24 января 2012 (разн. | история) . . (+328) . . Нормальная форма Хомского
- 00:10, 24 января 2012 (разн. | история) . . (-14) . . Нормальная форма Хомского
- 00:05, 24 января 2012 (разн. | история) . . (+2) . . Теорема о рекурсии
- 00:02, 24 января 2012 (разн. | история) . . (+45) . . Примеры неразрешимых задач: проблема соответствий Поста
- 23:57, 23 января 2012 (разн. | история) . . (+67) . . Примеры неразрешимых задач: проблема соответствий Поста
- 23:30, 23 января 2012 (разн. | история) . . (+2) . . Примеры неразрешимых задач: проблема соответствий Поста
- 23:10, 23 января 2012 (разн. | история) . . (-2) . . Удаление цепных правил из грамматики
- 05:24, 23 января 2012 (разн. | история) . . (-73) . . Иммунные и простые множества
- 05:07, 23 января 2012 (разн. | история) . . (-27) . . Теорема о рекурсии
- 05:01, 23 января 2012 (разн. | история) . . (+2) . . Теорема о рекурсии
- 04:56, 23 января 2012 (разн. | история) . . (+1) . . Теорема о рекурсии
- 04:52, 23 января 2012 (разн. | история) . . (+45) . . Теорема о рекурсии
- 04:50, 23 января 2012 (разн. | история) . . (+15) . . Теорема о рекурсии
- 04:47, 23 января 2012 (разн. | история) . . (0) . . Теорема о рекурсии
- 04:46, 23 января 2012 (разн. | история) . . (+19) . . Теорема о рекурсии
- 04:45, 23 января 2012 (разн. | история) . . (+135) . . Теорема о рекурсии
- 04:29, 23 января 2012 (разн. | история) . . (+89) . . Обсуждение:Теорема о рекурсии
- 03:34, 23 января 2012 (разн. | история) . . (+7183) . . Вычислимые функции
- 03:33, 23 января 2012 (разн. | история) . . (-7129) . . Вычислимые функции
- 02:40, 23 января 2012 (разн. | история) . . (0) . . Свойства перечислимых языков. Теорема Успенского-Райса (→Теорема Успенского-Райса)
- 01:59, 23 января 2012 (разн. | история) . . (+14) . . Свойства перечислимых языков. Теорема Успенского-Райса (→Теорема Успенского-Райса)
- 02:15, 3 января 2012 (разн. | история) . . (+10) . . Свойства перечислимых языков. Теорема Успенского-Райса
- 10:57, 2 января 2012 (разн. | история) . . (+6) . . Свойства перечислимых языков. Теорема Успенского-Райса
- 10:53, 2 января 2012 (разн. | история) . . (+178) . . Свойства перечислимых языков. Теорема Успенского-Райса
- 10:26, 2 января 2012 (разн. | история) . . (+177) . . Свойства перечислимых языков. Теорема Успенского-Райса
- 11:00, 25 декабря 2011 (разн. | история) . . (0) . . Характеристика перечислимых множеств через вычислимые функции
- 10:55, 25 декабря 2011 (разн. | история) . . (-12) . . Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
- 10:50, 25 декабря 2011 (разн. | история) . . (0) . . Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
- 10:43, 25 декабря 2011 (разн. | история) . . (0) . . Перечислимые языки
- 10:35, 25 декабря 2011 (разн. | история) . . (0) . . Разрешимые (рекурсивные) языки
- 10:17, 25 декабря 2011 (разн. | история) . . (+4) . . Характеристика перечислимых множеств через вычислимые функции
(новейшие | старейшие) Просмотреть (100 более новых | 100 более старых) (20 | 50 | 100 | 250 | 500)