Вклад участника
13 января 2012
Ковариация случайных величин
Вычисление
+10
Ковариация случайных величин
Вычисление
-168
Теории первого порядка
Нет описания правки
+12 116
Ковариация случайных величин
Нет описания правки
+10
Секвенциальное и интуиционистское исчисление
Нет описания правки
+45
Секвенциальное и интуиционистское исчисление
Нет описания правки
+3576
Теория множеств
Нет описания правки
Теория множеств
Новая страница: « << На главную >>»
1я и 2я теоремы Геделя о неполноте арифметики
Новая страница: « << >>»
Геделева нумерация. Арифметизация доказательств
Новая страница: « << >>»
Примитивно рекурсивные функции
Новая страница: « << >>»
Теории первого порядка
Нет описания правки
+46
Секвенциальное и интуиционистское исчисление
Нет описания правки
+5
Исчисление предикатов
Нет описания правки
+1
Исчисление предикатов
Нет описания правки
+56
Математическая логика
Нет описания правки
+101
Секвенциальное и интуиционистское исчисление
Новая страница: «Странная нумерация...[2]»
Двудольные графы и раскраска в 2 цвета
Нет описания правки
-528
Эргодическая марковская цепь
Нет описания правки
-230
Двудольные графы и раскраска в 2 цвета
Нет описания правки
-1
Эргодическая марковская цепь
Нет описания правки
+2686
Исчисление предикатов
Нет описания правки
-1
Исчисление предикатов
Нет описания правки
+115
Теорема о поглощении
Нет описания правки
Эргодическая марковская цепь
Нет описания правки
+495
Исчисление предикатов
Нет описания правки
-5
Исчисление предикатов
Нет описания правки
+9223
Метод четырёх русских для умножения матриц
Нет описания правки
-1
Метод четырёх русских для умножения матриц
Нет описания правки
+35
Метод четырёх русских для умножения матриц
Нет описания правки
+8
Метод четырёх русских для умножения матриц
Нет описания правки
-2
Лемма о дедукции, полнота исчисления высказываний
Нет описания правки
+3
Лемма о дедукции, полнота исчисления высказываний
Теорема о дедукции
+2398
Алгоритм Хаффмана
Корректность алгоритма Хаффмана
Полные системы функций. Теорема Поста о полной системе функций
Замкнутые классы булевых функций
+6
Неравенство Макмиллана
Нет описания правки
-34
Неравенство Макмиллана
Неравенство Макмиллана
-194
Неравенство Макмиллана
Неравенство Макмиллана
-468
Задача о редакционном расстоянии, алгоритм Вагнера-Фишера
Новая страница: «{{Определение |definition= '''Расстояние Левенштейна''' (также '''редакционное расстояние''' или '''д...»
Дискретная математика и алгоритмы
Динамическое программирование
+5
Задача о редакционном расстоянии
Код получения редакционного предписания
-1813
Теории первого порядка
Удалено содержимое страницы
-7
Алгоритм Форда-Фалкерсона для поиска максимального паросочетания
Корректность алгоритма
-227
Формула полной вероятности
Нет описания правки
+2
Формула полной вероятности
Нет описания правки
+551
Формула Байеса
Добавлена информация про байесовский фильтр
+1860
Теории первого порядка
Новая страница: «gwgrewg»
12 января 2012
Метод четырёх русских для умножения матриц
Пример работы алгоритма
-42
Метод четырёх русских для умножения матриц
Пример работы алгоритма
+78
Задача коммивояжера, ДП по подмножествам
Нет описания правки
+1