Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 00:06, 13 ноября 2016 (разн. | история) . . (+1) . . м Доказательство нерегулярности языков: лемма о разрастании (→Пример языка, удовлетворяющего лемме в общем виде)
- 17:19, 11 ноября 2016 (разн. | история) . . (-10) . . Участник:Shersh/Тикеты к 5ому терму (→Разрешимые и перечислимые языки)
- 17:13, 11 ноября 2016 (разн. | история) . . (-5) . . Участник:Shersh/Тикеты к 5ому терму (→Минимизация ДКА)
- 17:35, 10 ноября 2016 (разн. | история) . . (+1) . . Доказательство нерегулярности языков: лемма о разрастании (→Лемма о разрастании в общем виде)
- 22:37, 6 ноября 2016 (разн. | история) . . (-5) . . Участник:Shersh/Тикеты к 5ому терму (→Базовые понятия о грамматиках)
- 22:37, 6 ноября 2016 (разн. | история) . . (0) . . м Замкнутость КС-языков относительно различных операций (→Источники информации)
- 19:38, 1 ноября 2016 (разн. | история) . . (-5) . . Участник:Shersh/Тикеты к 5ому терму (→Опровержение контекстно-свободности языка)
- 13:36, 1 ноября 2016 (разн. | история) . . (+45) . . м Участник:Shersh/Тикеты к 5ому терму (→Разрешимые и перечислимые языки)
- 13:36, 1 ноября 2016 (разн. | история) . . (+7) . . Участник:Shersh/Тикеты к 5ому терму (→Базовые понятия о грамматиках)
- 11:32, 1 ноября 2016 (разн. | история) . . (+22) . . Участник:Shersh/Тикеты к 5ому терму (→Разрешимые и перечислимые языки)
- 11:24, 1 ноября 2016 (разн. | история) . . (+15) . . м Участник:Shersh/Тикеты к 5ому терму (→Минимизация ДКА)
- 00:08, 1 ноября 2016 (разн. | история) . . (-45) . . Участник:Shersh/Тикеты к 5ому терму (→Разрешимые и перечислимые языки)
- 00:06, 1 ноября 2016 (разн. | история) . . (-7) . . Участник:Shersh/Тикеты к 5ому терму (→Базовые понятия о грамматиках)
- 00:06, 1 ноября 2016 (разн. | история) . . (-7) . . Участник:Shersh/Тикеты к 5ому терму (→Разрешимые и перечислимые языки)
- 00:05, 1 ноября 2016 (разн. | история) . . (-15) . . Участник:Shersh/Тикеты к 5ому терму (→Разрешимые и перечислимые языки)
- 00:05, 1 ноября 2016 (разн. | история) . . (-15) . . Участник:Shersh/Тикеты к 5ому терму (→Минимизация ДКА)
- 13:20, 21 октября 2016 (разн. | история) . . (-5) . . Участник:Shersh/Тикеты к 3ему терму (→1. Основные определения теории графов)
- 22:35, 20 октября 2016 (разн. | история) . . (-5) . . Участник:Shersh/Тикеты к 3ему терму (→1. Основные определения теории графов)
- 21:49, 20 октября 2016 (разн. | история) . . (-5) . . м Участник:Shersh/Тикеты к 3ему терму (→1. Основные определения теории графов)
- 21:48, 20 октября 2016 (разн. | история) . . (-52) . . м Теорема о существовании простого пути в случае существования пути (→Теорема о существовании простого пути в случае существования пути)
- 17:58, 19 октября 2016 (разн. | история) . . (-5) . . м Участник:Shersh/Тикеты к 5ому терму (→Регулярные языки и ДКА)
- 17:56, 19 октября 2016 (разн. | история) . . (+30) . . м Детерминированные конечные автоматы (→См. также)
- 16:23, 19 октября 2016 (разн. | история) . . (+7) . . Участник:Shersh/Тикеты к 5ому терму (→Опровержение контекстно-свободности языка)
- 16:21, 19 октября 2016 (разн. | история) . . (+7) . . Участник:Shersh/Тикеты к 5ому терму (→Вычислительные формализмы)
- 16:21, 19 октября 2016 (разн. | история) . . (-7) . . м Участник:Shersh/Тикеты к 5ому терму (→Свойства конечных автоматов)
- 17:24, 16 октября 2016 (разн. | история) . . (+45) . . Участник:Shersh/Тикеты к 5ому терму (→Разрешимые и перечислимые языки)
- 17:24, 16 октября 2016 (разн. | история) . . (+7) . . Участник:Shersh/Тикеты к 5ому терму (→Базовые понятия о грамматиках)
- 22:08, 15 октября 2016 (разн. | история) . . (-701) . . Участник:Shersh/Тикеты к 5ому терму (→Примеры неразрешимых задач)
- 22:05, 15 октября 2016 (разн. | история) . . (-2130) . . Участник:Shersh/Тикеты к 5ому терму (→Вычислительные формализмы)
- 22:04, 15 октября 2016 (разн. | история) . . (-794) . . Участник:Shersh/Тикеты к 5ому терму (→Разрешимые и перечислимые языки)
- 21:55, 15 октября 2016 (разн. | история) . . (+15) . . м Участник:Shersh/Тикеты к 5ому терму (→Минимизация ДКА)
- 21:54, 15 октября 2016 (разн. | история) . . (+22) . . м Участник:Shersh/Тикеты к 5ому терму (→Разрешимые и перечислимые языки)
- 21:48, 15 октября 2016 (разн. | история) . . (+7) . . м Участник:Shersh/Тикеты к 5ому терму (→Нормальные формы КС-грамматик)
- 21:48, 15 октября 2016 (разн. | история) . . (+7) . . м Участник:Shersh/Тикеты к 5ому терму (→Минимизация ДКА)
- 22:02, 11 октября 2016 (разн. | история) . . (-5) . . Участник:Shersh/Тикеты к 5ому терму (→Базовые понятия о грамматиках)
- 22:01, 11 октября 2016 (разн. | история) . . (+4) . . м Формальные грамматики (→Обозначения)
- 21:40, 10 октября 2016 (разн. | история) . . (-5) . . Участник:Shersh/Тикеты к 5ому терму (→Свойства конечных автоматов)
- 02:48, 28 сентября 2016 (разн. | история) . . (+7) . . Участник:Shersh/Тикеты к 5ому терму (→Свойства конечных автоматов)
- 02:48, 28 сентября 2016 (разн. | история) . . (+7) . . Участник:Shersh/Тикеты к 5ому терму (→Базовые понятия о грамматиках)
- 22:13, 23 сентября 2016 (разн. | история) . . (-2) . . м Теорема о нижней оценке для сортировки сравнениями (→Следствия)
- 19:31, 22 сентября 2016 (разн. | история) . . (+35) . . Участник:Shersh/Тикеты ко 2ому терму (→11. Алгоритмы поиска)
- 19:30, 22 сентября 2016 (разн. | история) . . (-18) . . Участник:Shersh/Тикеты ко 2ому терму (→Сортировки на сравнениях)
- 19:30, 22 сентября 2016 (разн. | история) . . (-491) . . Участник:Shersh/Тикеты ко 2ому терму (→Сортировки на сравнениях)
- 19:29, 22 сентября 2016 (разн. | история) . . (-87) . . Участник:Shersh/Тикеты ко 2ому терму (→5. Поисковые структуры данных)
- 19:28, 22 сентября 2016 (разн. | история) . . (-1327) . . Участник:Shersh/Тикеты ко 2ому терму (→3. Приоритетные очереди)
- 19:27, 22 сентября 2016 (разн. | история) . . (+42) . . Участник:Shersh/Тикеты ко 2ому терму (→1. Амортизационный анализ)
- 19:25, 22 сентября 2016 (разн. | история) . . (-1856) . . Участник:Shersh/Тикеты к 1ому терму (→8. Теория вероятностей)
- 19:23, 22 сентября 2016 (разн. | история) . . (+23) . . Участник:Shersh/Тикеты к 1ому терму (→3. Схемы из функциональных элементов)
- 19:22, 22 сентября 2016 (разн. | история) . . (+89) . . Участник:Shersh/Тикеты к 1ому терму (→2. Булевы функции)
- 19:20, 22 сентября 2016 (разн. | история) . . (-7) . . м Участник:Shersh/Тикеты к 1ому терму (→1. Отношения)
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)