Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 15:28, 25 января 2014 (разн. | история) . . (+8) . . м Теорема Хаусдорфа об ε-сетях (→Теорема Хаусдорфа)
- 22:49, 23 января 2014 (разн. | история) . . (+80) . . м Метрические пространства
- 22:46, 23 января 2014 (разн. | история) . . (+41) . . Метрические пространства
- 21:21, 23 января 2014 (разн. | история) . . (+6) . . Участник:Shersh (→Список невыполненных квестов: svg)
- 21:19, 23 января 2014 (разн. | история) . . (+606) . . Участник:Shersh/Оформление (→Псевдокод: зелёный цвет, function)
- 21:24, 21 января 2014 (разн. | история) . . (0) . . м Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность двухстековой машины трёхсчётчикой машине)
- 18:48, 21 января 2014 (разн. | история) . . (0) . . м Meet-in-the-middle
- 16:22, 21 января 2014 (разн. | история) . . (-5) . . Примеры неразрешимых задач: задача о замощении (→Замощение целой плоскости)
- 20:01, 20 января 2014 (разн. | история) . . (0) . . м Устранение левой рекурсии (→Алгоритм устранения произвольной левой рекурсии)
- 15:05, 20 января 2014 (разн. | история) . . (+97) . . Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях) (→Пример: исправлена бага в примере)
- 17:51, 19 января 2014 (разн. | история) . . (+265) . . Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками (→Примеры: Определение гомоморфизма цепочек)
- 17:40, 19 января 2014 (разн. | история) . . (+61) . . Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками (→Примеры)
- 17:35, 19 января 2014 (разн. | история) . . (+6) . . м Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками (→Примеры)
- 17:35, 19 января 2014 (разн. | история) . . (+30) . . м Замкнутость регулярных языков относительно различных операций
- 17:10, 19 января 2014 (разн. | история) . . (+9) . . м Построение по НКА эквивалентного ДКА, алгоритм Томпсона (→Построение эквивалентного ДКА по НКА)
- 17:09, 19 января 2014 (разн. | история) . . (+17) . . м Построение по НКА эквивалентного ДКА, алгоритм Томпсона
- 17:01, 19 января 2014 (разн. | история) . . (+18) . . м Участник:Shersh/Оформление (→Псевдокод)
- 17:00, 19 января 2014 (разн. | история) . . (+145) . . Участник:Shersh/Оформление (→Tex: единообразность примеров, добавлена пара)
- 16:52, 19 января 2014 (разн. | история) . . (0) . . м Построение по НКА эквивалентного ДКА, алгоритм Томпсона (→Доказательство эквивалентности)
- 15:16, 19 января 2014 (разн. | история) . . (+102) . . Регулярные языки: два определения и их эквивалентность (→Регулярные языки: два определения и их эквивалентность: определение надрегулярного языка - теперь более понятное)
- 15:10, 19 января 2014 (разн. | история) . . (+4) . . м Регулярные языки: два определения и их эквивалентность (→Регулярные языки: два определения и их эквивалентность)
- 15:04, 19 января 2014 (разн. | история) . . (+35) . . м Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками (→Примеры)
- 14:10, 12 января 2014 (разн. | история) . . (-128) . . м Участник:Shersh/Теорема о рекурсии (→Теорема о неподвижной точке)
- 14:07, 12 января 2014 (разн. | история) . . (+16) . . м Участник:Shersh/Теорема о рекурсии (→Busy beaver)
- 14:05, 12 января 2014 (разн. | история) . . (+81) . . Участник:Shersh/Теорема о рекурсии (псевдокод успенского-райса)
- 13:40, 12 января 2014 (разн. | история) . . (+248) . . м Участник:Shersh/Теорема о рекурсии
- 13:29, 12 января 2014 (разн. | история) . . (+132) . . Участник:Shersh/Теорема о рекурсии (универсальный язык: пофиксено доказательство)
- 17:02, 9 января 2014 (разн. | история) . . (+728) . . Участник:Shersh/Теорема о рекурсии (гёдель)
- 16:35, 9 января 2014 (разн. | история) . . (+1365) . . Участник:Shersh/Теорема о рекурсии (успенский и райс)
- 16:18, 9 января 2014 (разн. | история) . . (+910) . . Участник:Shersh/Теорема о рекурсии (busy beaver)
- 15:53, 9 января 2014 (разн. | история) . . (+289) . . Участник:Shersh/Теорема о рекурсии (→Колмогоровская сложность)
- 17:52, 8 января 2014 (разн. | история) . . (-453) . . Участник:Shersh/Теорема о рекурсии (→Неразрешимость универсального языка)
- 11:09, 30 декабря 2013 (разн. | история) . . (+63) . . Участник:Shersh/Теорема о рекурсии (→Пример: колмогоровская сложность)
- 17:05, 28 декабря 2013 (разн. | история) . . (+11) . . м Участник:Shersh/Теорема о рекурсии
- 16:58, 28 декабря 2013 (разн. | история) . . (+968) . . Участник:Shersh/Теорема о рекурсии (теорема о неподвижной точке)
- 16:43, 28 декабря 2013 (разн. | история) . . (0) . . м Участник:Shersh/Теорема о рекурсии
- 16:42, 28 декабря 2013 (разн. | история) . . (+595) . . Участник:Shersh/Теорема о рекурсии (гёдель)
- 16:30, 28 декабря 2013 (разн. | история) . . (+449) . . Участник:Shersh/Теорема о рекурсии (набросок теоремы Успенского-Райса)
- 16:25, 28 декабря 2013 (разн. | история) . . (+1612) . . Участник:Shersh/Теорема о рекурсии (неразрешимость универсального языка)
- 16:10, 28 декабря 2013 (разн. | история) . . (+603) . . Участник:Shersh/Теорема о рекурсии (набросок док-ва Колмогоровской сложности)
- 15:57, 28 декабря 2013 (разн. | история) . . (+1077) . . Участник:Shersh/Теорема о рекурсии (начата Колмогоровская сложность)
- 15:43, 28 декабря 2013 (разн. | история) . . (+325) . . Н Участник:Shersh/Теорема о рекурсии (sketch)
- 15:41, 28 декабря 2013 (разн. | история) . . (+147) . . Участник:Shersh (временная страница с конспектом о рекурсии)
- 11:03, 26 декабря 2013 (разн. | история) . . (-32) . . Участник:Shersh
- 03:52, 25 декабря 2013 (разн. | история) . . (+7) . . м Формула полной вероятности
- 15:58, 3 декабря 2013 (разн. | история) . . (0) . . м Теорема Холла (→Пояснения к доказательству)
- 15:52, 3 декабря 2013 (разн. | история) . . (0) . . м Теорема Холла
- 02:14, 20 ноября 2013 (разн. | история) . . (+59) . . Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками (пара английских терминов)
- 16:47, 19 ноября 2013 (разн. | история) . . (-2) . . м Участник:Shersh/Оформление
- 16:46, 19 ноября 2013 (разн. | история) . . (-3) . . м Участник:Shersh/Оформление (→Псевдокод)
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)