История
15 декабря 2015
8 декабря 2015
9 ноября 2015
6 ноября 2015
→3. Теория вычислимости (проверяется): проверена
-25
→Примеры неразрешимых задач
-587
→Вычислительные формализмы
-1970
→Разрешимые и перечислимые языки
-1109
16 октября 2015
10 октября 2015
6 октября 2015
3 октября 2015
15 сентября 2015
12 сентября 2015
6 сентября 2015
3 сентября 2015
12 января 2015
→Разрешимые и перечислимые языки
-10
→Разрешимые и перечислимые языки
+7
→Разрешимые и перечислимые языки
м+43
→Разрешимые и перечислимые языки
-5
→Вычислительные формализмы
-73
11 января 2015
→2. Контекстно-свободные грамматики
-7
→Вычислительные формализмы
+7
→2. Контекстно-свободные грамматики
+7
→1. Автоматы и регулярные языки
-7
→2. Контекстно-свободные грамматики
+123
→Примеры неразрешимых задач
+7
→Вычислительные формализмы
м+2
→1. Автоматы и регулярные языки
+43