Вклад участника
20 октября 2010
Теорема Понтрягина-Куратовского
Нет описания правки
+10 309
Теорема Понтрягина-Куратовского
Разбор случаев взаимного положения a, b, c, d, u1, u2, v1, v2
+2082
19 октября 2010
Участник:Арбузов Иван
Новая страница: «числа Арбузова рулят»
Обсуждение участника:Rybak
Новая страница: «Fisher is a ball!»
Рефлексивное отношение
Источники
+2
Рефлексивное отношение
Источники
+46
16 октября 2010
Обсуждение:Заглавная страница
Новая страница: «самая крутая заглавная страница в мире, ИМХО»
Участник:192.168.0.2
Новая страница: «ЭТО ТЫ! IT'S YOU! Wake up, %username%. Matrix have you.»
Обсуждение участника:192.168.0.2
Новая страница: «ахахахаха айпишник-то у всех такой»
Специальные формы КНФ
Нет описания правки
+70
Дискретная математика и алгоритмы
Нет описания правки
Полином Жегалкина
Нет описания правки
-3
Полином Жегалкина
Нет описания правки
+22
Полином Жегалкина
Нет описания правки
+340
Полином Жегалкина
Нет описания правки
-32
15 октября 2010
Решение уравнений в регулярных выражениях
Нет описания правки
+33
Решение уравнений в регулярных выражениях
Нет описания правки
+218
Рефлексивное отношение
Нет описания правки
+694
Каскадный сумматор
Нет описания правки
+3
Каскадный сумматор
Нет описания правки
+2280
Каскадный сумматор
Нет описания правки
-92
Каскадный сумматор
Нет описания правки
+232
14 октября 2010
Удаление бесполезных символов из грамматики
Нет описания правки
+442
Гамильтоновы графы
Нет описания правки
+555
Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками
Нет описания правки
+1
Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками
Нет описания правки
-11
Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками
Нет описания правки
+11
Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками
Нет описания правки
+34
Решение уравнений в регулярных выражениях
Решение системы уравнений в регулярных выражениях
Решение уравнений в регулярных выражениях
Решение уравнений в регулярных выражениях
+128
Интерпретация булевых формул с кванторами как игр для двух игроков
Нет описания правки
+17
Интерпретация булевых формул с кванторами как игр для двух игроков
Нет описания правки
+208
Интерпретация булевых формул с кванторами как игр для двух игроков
Нет описания правки
+8
Интерпретация булевых формул с кванторами как игр для двух игроков
Нет описания правки
+2548
Удаление длинных правил из грамматики
Новая страница: «== Удаление длинных правил из грамматики == Задача удаления длинных правил из грамматики в…»
Матрица Кирхгофа
добавлен источник
+286
Матрица инцидентности графа
добавлен источник
+286
Циклическое пространство графа
Нет описания правки
Матрица инцидентности графа
изменено обозначение элемента матрицы
+41
Циклическое пространство графа
Нет описания правки
-20
Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками
Нет описания правки
+1
Реализация булевой функции схемой из функциональных элементов
Нет описания правки
-16
Дискретная математика и алгоритмы
Булевы функции
+122
Теорема Редеи-Камиона
Нет описания правки
-30
Мост, эквивалентные определения
Нет описания правки
+103
Отношение рёберной двусвязности
Нет описания правки
+107
Основные определения теории графов
Для ориентированного графа
+108
Граф компонент рёберной двусвязности
Нет описания правки
+126
13 октября 2010
Дерево Уоллеса
math → tex
-74
Подсчёт числа остовных деревьев с помощью матрицы Кирхгофа
Нет описания правки
-6
