Вклад участника
12 декабря 2013
Перечислимые языки
Нет описания правки
+28
Перечислимые языки
Нет описания правки
+601
Вычислимые функции
Нет описания правки
+804
Разрешимые (рекурсивные) языки
Пример неразрешимого множества
+9
Разрешимые (рекурсивные) языки
Нет описания правки
+38
Разрешимые (рекурсивные) языки
Нет описания правки
+397
Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчёт числа слов)
Нет описания правки
+60
Доказательство нерегулярности языков: лемма о разрастании
Пример нерегулярного языка, для которого выполняется лемма о разрастании
+8
11 декабря 2013
Доказательство нерегулярности языков: лемма о разрастании
Литература
+117
Доказательство нерегулярности языков: лемма о разрастании
Пример нерегулярного языка, для которого выполняется лемма о разрастании
+366
Доказательство нерегулярности языков: лемма о разрастании
Пример нерегулярного языка, для которого выполняется лемма о разрастании
+219
Доказательство нерегулярности языков: лемма о разрастании
Пример нерегулярного языка, для которого выполняется лемма о разрастании
+947
10 декабря 2013
Доказательство нерегулярности языков: лемма о разрастании
Пример нерегулярного языка, для которого выполняется лемма о разрастании
+1966
Доказательство нерегулярности языков: лемма о разрастании
Нет описания правки
-1766
31 марта 2013
Определения и формулировки, 3 семестр, Кохась К.П.
Нет описания правки
+243
Файл:First matan.jpg
Нет описания правки
11 декабря 2012
10 декабря 2012
Лемма о рукопожатиях
Лемма о рукопожатиях
-1
Лемма о рукопожатиях
Регулярный граф
+139
Файл:Reg grap.png
Нет описания правки
Лемма о рукопожатиях
Регулярный граф
+518
Лемма о рукопожатиях
Нет описания правки
+3
9 декабря 2012
Лемма о рукопожатиях
Лемма о рукопожатиях
+615
Файл:Dir grap.png
Нет описания правки
Лемма о рукопожатиях
Лемма о рукопожатиях
+81
Файл:Undir grap.png
Нет описания правки
Лемма о рукопожатиях
Нет описания правки
Лемма о рукопожатиях
Бесконечный граф
+128
Лемма о рукопожатиях
Бесконечный граф
+152
Файл:Inf grap.png
Нет описания правки
Лемма о рукопожатиях
Бесконечный граф
+415
Лемма о рукопожатиях
Регулярный граф
+374
Лемма о рукопожатиях
Лемма о рукопожатиях
+85
Лемма о рукопожатиях
Нет описания правки
+164
10 июня 2012
Несогласованные поддеревья. Реализация массового обновления
Нет описания правки
Несогласованные поддеревья. Реализация массового обновления
Несогласованные поддеревья
Несогласованные поддеревья. Реализация массового обновления
Несогласованные поддеревья
-2
Несогласованные поддеревья. Реализация массового обновления
query
-2
Несогласованные поддеревья. Реализация массового обновления
Массовое обновление
-28
Несогласованные поддеревья. Реализация массового обновления
push
-28
Несогласованные поддеревья. Реализация массового обновления
Нет описания правки
-28
Реализация запроса в дереве отрезков сверху
Пример
Биномиальная куча
extractMin
+8
Файл:BinHeapExampleNew31.png
Нет описания правки
9 июня 2012
Биномиальная куча
decreaseKey
Биномиальная куча
Операции над биномиальными кучами
Реализация запроса в дереве отрезков сверху
Пример
Файл:Image 4.png
Нет описания правки
Реализация запроса в дереве отрезков сверху
Пример
-1
Файл:Image 3.png
Нет описания правки
