Вклад участника

Перейти к: навигация, поиск

Zarubkin

15 октября 2010

Доказательство нерегулярности языков: лемма о разрастании
Нет описания правки
00:00
-7

14 октября 2010

8 октября 2010

Интерпретация булевых формул с кванторами как игр для двух игроков
Новая страница: «'''Интерпретация булевых формул с кванторами как игр для двух игроков''' Рассмотрим формул…»
03:58
Доказательство нерегулярности языков: лемма о разрастании
Нет описания правки
03:58
-1326
Доказательство нерегулярности языков: лемма о разрастании
Нет описания правки
03:57
+366
Доказательство нерегулярности языков: лемма о разрастании
Нет описания правки
03:53
+10
Доказательство нерегулярности языков: лемма о разрастании
Нет описания правки
03:52
+13
Доказательство нерегулярности языков: лемма о разрастании
Нет описания правки
03:51
+1914
Доказательство нерегулярности языков: лемма о разрастании
Нет описания правки
03:18
+266

5 октября 2010

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Вклад/Zarubkin»

Навигация