Вклад участника
- 00:24, 3 июня 2012 (разн. | история) . . (+349) . . Н Обсуждение:Правило Лаулера (Новая страница: «В коде алгоритма, где N[i] = inf, вроде j должно быть. И кстати, на 379-ой странице Брукера это бы...»)
- 03:23, 4 февраля 2012 (разн. | история) . . (-3382) . . Участник:Kir1251/Аксиомы (Удалено содержимое страницы) (текущая)
- 03:22, 4 февраля 2012 (разн. | история) . . (-1058) . . Участник:Kir1251 (Удалено содержимое страницы) (текущая)
- 03:22, 4 февраля 2012 (разн. | история) . . (+72) . . Конкурс для более удачного URL сайта вики-конспектов
- 17:17, 15 января 2012 (разн. | история) . . (+965) . . Участник:Kir1251
- 08:04, 15 января 2012 (разн. | история) . . (+1684) . . Участник:Kir1251/Аксиомы
- 06:42, 15 января 2012 (разн. | история) . . (-1698) . . Участник:Kir1251 (Содержимое страницы заменено на «Аксиомы по логике(для себя)»)
- 06:42, 15 января 2012 (разн. | история) . . (+1698) . . Н Участник:Kir1251/Аксиомы (Новая страница: «==Список аксиом логики(просто для себя):== =Аксиомы системы исчисления высказываний= <tex> (1) (\...»)
- 06:41, 15 января 2012 (разн. | история) . . (+93) . . Участник:Kir1251
- 04:38, 15 января 2012 (разн. | история) . . (+1698) . . Н Участник:Kir1251 (Новая страница: «==Список аксиом логики(просто для себя):== =Аксиомы системы исчисления высказываний= <tex> (1) (\...»)
- 04:27, 15 января 2012 (разн. | история) . . (+371) . . Н Обсуждение:Теория множеств (Новая страница: «Мне кажется, или в аксиоме равенства вместо & должна быть импликация? В текущем виде она аб...»)
- 04:41, 13 января 2012 (разн. | история) . . (+115) . . м Исчисление предикатов
- 04:37, 13 января 2012 (разн. | история) . . (+198) . . Обсуждение:Лемма о дедукции, полнота исчисления высказываний