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