Вклад участника
14 декабря 2014
Свойства перечислимых языков. Теорема Успенского-Райса
Теорема Успенского-Райса
Свойства перечислимых языков. Теорема Успенского-Райса
Свойства языков
-89
Свойства перечислимых языков. Теорема Успенского-Райса
Свойства языков
+11
Свойства перечислимых языков. Теорема Успенского-Райса
Свойства языков
+22
Свойства перечислимых языков. Теорема Успенского-Райса
Теорема Успенского-Райса
+11
Свойства перечислимых языков. Теорема Успенского-Райса
Теорема Успенского-Райса
+9
Свойства перечислимых языков. Теорема Успенского-Райса
Теорема Успенского-Райса
+20
Свойства перечислимых языков. Теорема Успенского-Райса
Теорема Успенского-Райса
+23
Свойства перечислимых языков. Теорема Успенского-Райса
Теорема Успенского-Райса
-18
Свойства перечислимых языков. Теорема Успенского-Райса
Теорема Успенского-Райса
-67
Свойства перечислимых языков. Теорема Успенского-Райса
Теорема Успенского-Райса
-1
Свойства перечислимых языков. Теорема Успенского-Райса
Теорема Успенского-Райса
29 ноября 2014
Детерминированные конечные автоматы
Алгоритм
+354
Детерминированные конечные автоматы
Псевдокод
+5
Детерминированные конечные автоматы
Псевдокод
+5
11 июня 2012
QpmtnCmax
Доказательство корректности алгоритма
+1007
QpmtnCmax
Алгоритм построения расписания
-1
QpmtnCmax
Доказательство корректности алгоритма
-1
QpmtnCmax
Алгоритм построения расписания
+8
QpmtnCmax
Доказательство корректности алгоритма
+7
QpmtnCmax
Нет описания правки
+78