Вклад участника
25 июня 2012
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
м-680
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
мPS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
+262
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
+33
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
+169
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
+107
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
м-40
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
м-21
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
+2
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
-52
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
м+4
24 июня 2012
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
+175
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
+503
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
+656
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
+5
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
-8
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
+21
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
м-2
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
м+165
3 мая 2012
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
+66
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
-1
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
+325
1 мая 2012
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
+643
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
+2
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
+7
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
м+141
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
+1
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
м+3
30 апреля 2012
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
-1
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
-10
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
+112
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
м+2
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
+1
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
+1450
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
+1134
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
-11
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
17 апреля 2012
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
+1104
PS-полнота языка верных булевых формул с кванторами (TQBF)
Новая страница: «{{Определение |definition=<tex>TQBF</tex> расшивровывается как True Quantified Boolean Formula. Это язык верных бул...»
27 июня 2011
24 июня 2011
Примеры матроидов
Нет описания правки
+562
Примеры матроидов
Нет описания правки
+1066
Примеры матроидов
Нет описания правки
+582
7 июня 2011
Файл:Z-f.png
загружена новая версия «Файл:Z-f.png»
Z-функция
Нет описания правки
+2
Файл:Z-f.png
Нет описания правки
Z-функция
Нет описания правки
+21
Z-функция
Нет описания правки
+394
Аксиоматизация матроида базами
Нет описания правки
-23