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

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

192.168.0.2 13 января 2012

Ковариация случайных величин
‎Вычисление
22:06
-168
Теории первого порядка
Нет описания правки
22:02
+12 116
Ковариация случайных величин
Нет описания правки
21:56
+10
Секвенциальное и интуиционистское исчисление
Нет описания правки
21:37
+45
Секвенциальное и интуиционистское исчисление
Нет описания правки
21:36
+3576
Теория множеств
Нет описания правки
21:26
Теория множеств
Новая страница: « << На главную >>»
21:26
1я и 2я теоремы Геделя о неполноте арифметики
Новая страница: « << >>»
21:25
Геделева нумерация. Арифметизация доказательств
Новая страница: « << >>»
21:24
Примитивно рекурсивные функции
Новая страница: « << >>»
21:24
Теории первого порядка
Нет описания правки
21:23
+46
Секвенциальное и интуиционистское исчисление
Нет описания правки
21:23
+5
Исчисление предикатов
Нет описания правки
21:22
+1
Исчисление предикатов
Нет описания правки
21:21
+56
Математическая логика
Нет описания правки
21:19
+101
Секвенциальное и интуиционистское исчисление
Новая страница: «Странная нумерация...[2]»
21:18
Двудольные графы и раскраска в 2 цвета
Нет описания правки
10:58
-528
Эргодическая марковская цепь
Нет описания правки
10:24
-230
Двудольные графы и раскраска в 2 цвета
Нет описания правки
10:18
-1
Эргодическая марковская цепь
Нет описания правки
09:43
+2686
Исчисление предикатов
Нет описания правки
09:25
-1
Исчисление предикатов
Нет описания правки
09:24
+115
Теорема о поглощении
Нет описания правки
07:48
Эргодическая марковская цепь
Нет описания правки
07:38
+495
Исчисление предикатов
Нет описания правки
07:08
-5
Исчисление предикатов
Нет описания правки
07:07
+9223
Метод четырёх русских для умножения матриц
Нет описания правки
06:24
-1
Метод четырёх русских для умножения матриц
Нет описания правки
06:20
+35
Метод четырёх русских для умножения матриц
Нет описания правки
06:04
+8
Метод четырёх русских для умножения матриц
Нет описания правки
05:57
-2
Лемма о дедукции, полнота исчисления высказываний
Нет описания правки
05:28
+3
Лемма о дедукции, полнота исчисления высказываний
‎Теорема о дедукции
05:26
+2398
Алгоритм Хаффмана
‎Корректность алгоритма Хаффмана
03:56
Полные системы функций. Теорема Поста о полной системе функций
‎Замкнутые классы булевых функций
03:42
+6
Неравенство Макмиллана
Нет описания правки
03:27
-34
Неравенство Макмиллана
‎Неравенство Макмиллана
03:17
-194
Неравенство Макмиллана
‎Неравенство Макмиллана
02:51
-468
Задача о редакционном расстоянии, алгоритм Вагнера-Фишера
Новая страница: «{{Определение |definition= '''Расстояние Левенштейна''' (также '''редакционное расстояние''' или '''д...»
02:48
Дискретная математика и алгоритмы
‎Динамическое программирование
02:47
+5
Задача о редакционном расстоянии
‎Код получения редакционного предписания
02:43
-1813
Теории первого порядка
Удалено содержимое страницы
01:50
-7
Алгоритм Форда-Фалкерсона для поиска максимального паросочетания
‎Корректность алгоритма
00:45
-227
Формула полной вероятности
Нет описания правки
00:37
+2
Формула полной вероятности
Нет описания правки
00:36
+551
Формула Байеса
Добавлена информация про байесовский фильтр
00:35
+1860
Теории первого порядка
Новая страница: «gwgrewg»
00:32

12 января 2012

Метод четырёх русских для умножения матриц
‎Пример работы алгоритма
23:50
-42
Метод четырёх русских для умножения матриц
‎Пример работы алгоритма
23:49
+78
Задача коммивояжера, ДП по подмножествам
Нет описания правки
23:29
+1
Задача коммивояжера, ДП по подмножествам
‎Варианты решения
23:27
+81

50 более старых

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

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

192.168.0.2

13 января 2012

Ковариация случайных величин

Теории первого порядка

Ковариация случайных величин

Секвенциальное и интуиционистское исчисление

Секвенциальное и интуиционистское исчисление

Теория множеств

Теория множеств

1я и 2я теоремы Геделя о неполноте арифметики

Геделева нумерация. Арифметизация доказательств

Примитивно рекурсивные функции

Теории первого порядка

Секвенциальное и интуиционистское исчисление

Исчисление предикатов

Исчисление предикатов

Математическая логика

Секвенциальное и интуиционистское исчисление

Двудольные графы и раскраска в 2 цвета

Эргодическая марковская цепь

Двудольные графы и раскраска в 2 цвета

Эргодическая марковская цепь

Исчисление предикатов

Исчисление предикатов

Теорема о поглощении

Эргодическая марковская цепь

Исчисление предикатов

Исчисление предикатов

Метод четырёх русских для умножения матриц

Метод четырёх русских для умножения матриц

Метод четырёх русских для умножения матриц

Метод четырёх русских для умножения матриц

Лемма о дедукции, полнота исчисления высказываний

Лемма о дедукции, полнота исчисления высказываний

Алгоритм Хаффмана

Полные системы функций. Теорема Поста о полной системе функций

Неравенство Макмиллана

Неравенство Макмиллана

Неравенство Макмиллана

Задача о редакционном расстоянии, алгоритм Вагнера-Фишера

Дискретная математика и алгоритмы

Задача о редакционном расстоянии

Теории первого порядка

Алгоритм Форда-Фалкерсона для поиска максимального паросочетания

Формула полной вероятности

Формула полной вероятности

Формула Байеса

Теории первого порядка

12 января 2012

Метод четырёх русских для умножения матриц

Метод четырёх русских для умножения матриц

Задача коммивояжера, ДП по подмножествам

Задача коммивояжера, ДП по подмножествам

Навигация

Поиск