Вклад участника
26 января 2014
25 января 2014
Нормированные пространства (3 курс)
Нет описания правки
м-11
Участник:Shersh
Список невыполненных квестов: добавлен квест: конспекты по матану
+521
Теорема Хаусдорфа об ε-сетях
Теорема Хаусдорфа
м+8
23 января 2014
Метрические пространства
Нет описания правки
м+80
Метрические пространства
Нет описания правки
+41
Участник:Shersh
Список невыполненных квестов: svg
+6
Участник:Shersh/Оформление
Псевдокод: зелёный цвет, function
+606
21 января 2014
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность двухстековой машины трёхсчётчикой машине
мMeet-in-the-middle
Нет описания правки
мПримеры неразрешимых задач: задача о замощении
Замощение целой плоскости
-5
20 января 2014
Устранение левой рекурсии
Алгоритм устранения произвольной левой рекурсии
мАльтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)
Пример: исправлена бага в примере
+97
19 января 2014
Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками
Примеры: Определение гомоморфизма цепочек
+265
Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками
Примеры
+61
Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками
Примеры
м+6
Замкнутость регулярных языков относительно различных операций
Нет описания правки
м+30
Построение по НКА эквивалентного ДКА, алгоритм Томпсона
Построение эквивалентного ДКА по НКА
м+9
Построение по НКА эквивалентного ДКА, алгоритм Томпсона
Нет описания правки
м+17
Участник:Shersh/Оформление
Псевдокод
м+18
Участник:Shersh/Оформление
Tex: единообразность примеров, добавлена пара
+145
Построение по НКА эквивалентного ДКА, алгоритм Томпсона
Доказательство эквивалентности
мРегулярные языки: два определения и их эквивалентность
Регулярные языки: два определения и их эквивалентность: определение надрегулярного языка - теперь более понятное
+102
Регулярные языки: два определения и их эквивалентность
Регулярные языки: два определения и их эквивалентность
м+4
Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками
Примеры
м+35
12 января 2014
Участник:Shersh/Теорема о рекурсии
Теорема о неподвижной точке
м-128
Участник:Shersh/Теорема о рекурсии
Busy beaver
м+16
Участник:Shersh/Теорема о рекурсии
псевдокод успенского-райса
+81
Участник:Shersh/Теорема о рекурсии
Нет описания правки
м+248
Участник:Shersh/Теорема о рекурсии
универсальный язык: пофиксено доказательство
+132
9 января 2014
Участник:Shersh/Теорема о рекурсии
гёдель
+728
Участник:Shersh/Теорема о рекурсии
успенский и райс
+1365
Участник:Shersh/Теорема о рекурсии
busy beaver
+910
Участник:Shersh/Теорема о рекурсии
Колмогоровская сложность
+289
8 января 2014
30 декабря 2013
28 декабря 2013
Участник:Shersh/Теорема о рекурсии
Нет описания правки
м+11
Участник:Shersh/Теорема о рекурсии
теорема о неподвижной точке
+968
Участник:Shersh/Теорема о рекурсии
Нет описания правки
мУчастник:Shersh/Теорема о рекурсии
гёдель
+595
Участник:Shersh/Теорема о рекурсии
набросок теоремы Успенского-Райса
+449
Участник:Shersh/Теорема о рекурсии
неразрешимость универсального языка
+1612
Участник:Shersh/Теорема о рекурсии
набросок док-ва Колмогоровской сложности
+603
Участник:Shersh/Теорема о рекурсии
начата Колмогоровская сложность
+1077
Участник:Shersh/Теорема о рекурсии
sketch
Участник:Shersh
временная страница с конспектом о рекурсии
+147