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

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

Ateuhh

12 декабря 2016

M-сводимость
‎Свойства
м
11:16
+33

10 декабря 2016

M-сводимость
‎Свойства
м
22:27
-147

8 декабря 2016

7 декабря 2016

M-сводимость
‎Свойства
м
12:23

15 ноября 2016

Исчисление предикатов
‎Интерпретация булевых формул с кванторами как игр для двух игроков
17:38
+51
Интерпретация булевых формул с кванторами как игр для двух игроков
Перенаправление на Исчисление предикатов#Интерпретация булевых формул с кванторами как игр для двух игроков
16:06
-5004
Исчисление предикатов
Нет описания правки
16:02
+5268

13 ноября 2016

12 ноября 2016

9 ноября 2016

2 ноября 2016

31 октября 2016

19 октября 2016

18 октября 2016

17 октября 2016

19 мая 2016

Алгоритм Бойера-Мура
‎Псевдокод
м
09:50
-3

18 мая 2016

50 более старых

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

Навигация