Вклад участника
(новейшие | старейшие) Просмотреть (100 более новых | 100 более старых) (20 | 50 | 100 | 250 | 500)
- 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) . . Характеристика перечислимых множеств через вычислимые функции
- 10:06, 25 декабря 2011 (разн. | история) . . (-2) . . Характеристика перечислимых множеств через вычислимые функции (→Эквивалентность определений)
- 10:03, 25 декабря 2011 (разн. | история) . . (+90) . . Характеристика перечислимых множеств через вычислимые функции
- 10:01, 25 декабря 2011 (разн. | история) . . (-147) . . Характеристика перечислимых множеств через вычислимые функции
- 09:25, 25 декабря 2011 (разн. | история) . . (+23) . . Характеристика перечислимых множеств через вычислимые функции (→Литература)
- 10:15, 23 декабря 2011 (разн. | история) . . (-27) . . Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
- 10:10, 23 декабря 2011 (разн. | история) . . (+15) . . Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
- 10:04, 23 декабря 2011 (разн. | история) . . (+19) . . Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций (→Литература)
- 10:04, 23 декабря 2011 (разн. | история) . . (+8) . . Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
- 09:39, 23 декабря 2011 (разн. | история) . . (+141) . . Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
- 09:33, 23 декабря 2011 (разн. | история) . . (-3) . . Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
- 09:17, 23 декабря 2011 (разн. | история) . . (-3) . . Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
- 09:14, 23 декабря 2011 (разн. | история) . . (+122) . . Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
- 08:56, 23 декабря 2011 (разн. | история) . . (+61) . . Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
- 08:55, 23 декабря 2011 (разн. | история) . . (+15) . . Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
- 08:51, 23 декабря 2011 (разн. | история) . . (-30) . . Перечислимые языки
- 08:50, 23 декабря 2011 (разн. | история) . . (-4) . . Разрешимые (рекурсивные) языки
- 08:43, 23 декабря 2011 (разн. | история) . . (0) . . Разрешимые (рекурсивные) языки
- 08:42, 23 декабря 2011 (разн. | история) . . (+13) . . Разрешимые (рекурсивные) языки
- 08:41, 23 декабря 2011 (разн. | история) . . (0) . . Разрешимые (рекурсивные) языки
- 08:39, 23 декабря 2011 (разн. | история) . . (+31) . . Разрешимые (рекурсивные) языки (→Литература)
(новейшие | старейшие) Просмотреть (100 более новых | 100 более старых) (20 | 50 | 100 | 250 | 500)