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

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

Kir1251

3 июня 2012

Обсуждение:Правило Лаулера
Новая страница: «В коде алгоритма, где N[i] = inf, вроде j должно быть. И кстати, на 379-ой странице Брукера это бы...»
00:24

4 февраля 2012

15 января 2012

Участник:Kir1251
Нет описания правки
17:17
+965
Участник:Kir1251/Аксиомы
Нет описания правки
08:04
+1684
Участник:Kir1251
Содержимое страницы заменено на «Аксиомы по логике(для себя)»
06:42
-1698
Участник:Kir1251/Аксиомы
Новая страница: «==Список аксиом логики(просто для себя):== =Аксиомы системы исчисления высказываний= <tex> (1) (\...»
06:42
Участник:Kir1251
Нет описания правки
06:41
+93
Участник:Kir1251
Новая страница: «==Список аксиом логики(просто для себя):== =Аксиомы системы исчисления высказываний= <tex> (1) (\...»
04:38
Обсуждение:Теория множеств
Новая страница: «Мне кажется, или в аксиоме равенства вместо & должна быть импликация? В текущем виде она аб...»
04:27

13 января 2012

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

Навигация