Вклад участника
20 января 2012
Участник:Sementry/Гайд по vizi
%your_project%-algorithm.xml: предварительная версия
+642
Обсуждение участника:Sementry/Гайд по vizi
Функции (процедуры)
м-6
Обсуждение участника:Sementry/Гайд по vizi
Функции (процедуры)
+10
Обсуждение участника:Sementry/Гайд по vizi
Функции (процедуры): Новая тема
+409
17 января 2012
Обсуждение:Алгоритм Хаффмана
Нет описания правки
м+220
Обсуждение:Алгоритм Хаффмана
Новая страница: «{{tick | ticked = 1}} i != j {{---}} в TeX есть знак неравенства {{tick | ticked = 1}} Пробелы после точки в списках {{t...»
Алгоритм Хаффмана
номер страницы
м-1
Обсуждение:ДНФ
Нет описания правки
м+672
Обсуждение:КНФ
Нет описания правки
м+672
Обсуждение:Полные системы функций. Теорема Поста о полной системе функций
Нет описания правки
м+292
Обсуждение:Полином Жегалкина
Нет описания правки
м+173
Обсуждение:Пороговая функция
Нет описания правки
м+1079
Обсуждение:Определение булевой функции
Нет описания правки
м+1477
Обсуждение:Полином Жегалкина
Нет описания правки
м-203
Обсуждение:Полином Жегалкина
Нет описания правки
м+147
Обсуждение:Суперпозиции
Нет описания правки
м+262
Обсуждение:Суперпозиции
Нет описания правки
м+491
Обсуждение:ДНФ
Нет описания правки
м+441
Обсуждение:КНФ
Нет описания правки
м+441
Обсуждение:Суперпозиции
Нет описания правки
м+299
16 января 2012
Обсуждение участника:Sementry/Гайд по vizi
Переменные: Новая тема
+680
Обсуждение участника:Sementry/Гайд по vizi
Нет описания правки
+442
15 января 2012
Участник:Sementry/Гайд по vizi
Для пользователей Windows
+230
Исчисление предикатов
Аксиомы: я случайно
м-1
Исчисление предикатов
Аксиомы
м+1
14 января 2012
Примитивно рекурсивные функции
Рекурсивные функции.
м+4
Примитивно рекурсивные функции
Рекурсивные функции.
+557
Теории первого порядка
Больше формальности!
+86
Теории первого порядка
Больше формальности!: ололол
+820
Теории первого порядка
Больше формальности!: опечатки
м+2
Теории первого порядка
Больше формальности!
м-431
Теории первого порядка
Больше формальности!
-17
Исчисление предикатов
Правила вывода: очень важная правка http://twitter.com/sementry/status/158011592393490432
+5
Теории первого порядка
Свойства сложения
+77
Теории первого порядка
ололо
+417
Теории первого порядка
Коммутативность сложения
+614
Теории первого порядка
+Заголовок
м+225
Теории первого порядка
Нет описания правки
м+43
Теории первого порядка
Теории первого порядка: добавил лемму
+565
Исчисление предикатов
Итог
м+8
Исчисление предикатов
Исчисление предикатов
+122
Исчисление предикатов
Нет описания правки
м+3
Исчисление предикатов
Аксиомы
-363
Исчисление предикатов
Аксиомы: кококо ручками переделывать из TeX в wiki
+33
Исчисление предикатов
Нет описания правки
+2340
Математическая логика
Нет описания правки
м-30
Математическая логика
Нет описания правки
м+3
Математическая логика
Нет описания правки
+90
Обсуждение:Исчисление высказываний
Нет описания правки
мОбсуждение:Исчисление высказываний
Нет описания правки
м+84