Вклад участника
(новейшие | старейшие) Просмотреть (100 более новых | 100 более старых) (20 | 50 | 100 | 250 | 500)
- 01:42, 15 января 2012 (разн. | история) . . (+59) . . Алгоритм поиска блокирующего потока в ациклической сети (→Жадный Алгоритм)
- 01:41, 15 января 2012 (разн. | история) . . (+14) . . Алгоритм поиска блокирующего потока в ациклической сети (→Жадный Алгоритм)
- 01:39, 15 января 2012 (разн. | история) . . (+10) . . Алгоритм поиска блокирующего потока в ациклической сети (→Идея)
- 01:34, 15 января 2012 (разн. | история) . . (+38) . . Алгоритм поиска блокирующего потока в ациклической сети (→Подробное описание)
- 01:32, 15 января 2012 (разн. | история) . . (+3) . . Алгоритм поиска блокирующего потока в ациклической сети (→Удаляющий обход)
- 01:25, 15 января 2012 (разн. | история) . . (-61) . . Алгоритм поиска блокирующего потока в ациклической сети (→Жадный Алгоритм)
- 01:23, 15 января 2012 (разн. | история) . . (-14) . . Алгоритм поиска блокирующего потока в ациклической сети (→Жадный Алгоритм)
- 00:18, 15 января 2012 (разн. | история) . . (+44) . . Бинарное отношение (→Степень отношений)
- 22:28, 14 января 2012 (разн. | история) . . (+3) . . Теоремы Карзанова о числе итераций алгоритма Диница в сети с целочисленными пропускными способностями (→Определения)
- 22:08, 14 января 2012 (разн. | история) . . (+32) . . Циркуляция потока
- 21:43, 14 января 2012 (разн. | история) . . (-37) . . Примеры неразрешимых задач: однозначность грамматики
- 21:41, 14 января 2012 (разн. | история) . . (+12) . . Примеры неразрешимых задач: однозначность грамматики
- 21:32, 14 января 2012 (разн. | история) . . (+272) . . Иммунные и простые множества
- 17:36, 14 января 2012 (разн. | история) . . (-44) . . Двудольные графы и раскраска в 2 цвета
- 10:41, 14 января 2012 (разн. | история) . . (0) . . Лемма о дедукции, полнота исчисления высказываний (ОЧЕВИДНАЯ ОПЕЧАТКА ЖЕ)
- 09:26, 14 января 2012 (разн. | история) . . (+1) . . Двудольные графы и раскраска в 2 цвета (→Теорема Кенига)
- 09:25, 14 января 2012 (разн. | история) . . (+329) . . Двудольные графы и раскраска в 2 цвета
- 09:08, 14 января 2012 (разн. | история) . . (+1074) . . Двудольные графы и раскраска в 2 цвета (→Теорема Кенига)
- 08:03, 14 января 2012 (разн. | история) . . (-1034) . . Тестовая страница
- 07:37, 14 января 2012 (разн. | история) . . (-1) . . Матричный умножитель
- 07:36, 14 января 2012 (разн. | история) . . (-24) . . Матричный умножитель
- 07:16, 14 января 2012 (разн. | история) . . (+1190) . . Теорема Райса-Шапиро (→Теорема Райса-Шапиро)
- 07:16, 14 января 2012 (разн. | история) . . (-146) . . Исчисление предикатов (→Исчисление предикатов)
- 07:07, 14 января 2012 (разн. | история) . . (+714) . . Н Решение задач по логике (Новая страница: «== Вывод утверждений из аксиом == Докажем, что <tex>a\&b \rightarrow b\&a</tex>. По теореме о дедукции, если...»)
- 07:07, 14 января 2012 (разн. | история) . . (+49) . . Математическая логика
- 06:15, 14 января 2012 (разн. | история) . . (+146) . . Исчисление предикатов
- 05:05, 14 января 2012 (разн. | история) . . (+164) . . Алгоритм Форда-Фалкерсона для поиска максимального паросочетания (→Идея алгоритма)
- 04:39, 14 января 2012 (разн. | история) . . (+2) . . Алгоритм Форда-Фалкерсона для поиска максимального паросочетания (→Идея алгоритма)
- 03:05, 14 января 2012 (разн. | история) . . (+3) . . Двудольные графы и раскраска в 2 цвета
- 02:55, 14 января 2012 (разн. | история) . . (-146) . . Задача коммивояжера, ДП по подмножествам (→Динамическое программирование по подмножествам (по маскам))
- 02:48, 14 января 2012 (разн. | история) . . (+5) . . Представление функции класса DM с помощью медианы (→Ссылки)
- 02:47, 14 января 2012 (разн. | история) . . (+133) . . Представление функции класса DM с помощью медианы (→Ссылки)
- 02:24, 14 января 2012 (разн. | история) . . (-5) . . Представление функции класса DM с помощью медианы (→Ссылки)
- 01:55, 14 января 2012 (разн. | история) . . (+141) . . Представление функции класса DM с помощью медианы
- 01:49, 14 января 2012 (разн. | история) . . (+19) . . Представление функции класса DM с помощью медианы
- 01:42, 14 января 2012 (разн. | история) . . (+443) . . Двудольные графы и раскраска в 2 цвета
- 01:31, 14 января 2012 (разн. | история) . . (-7) . . Представление функции класса DM с помощью медианы
- 01:00, 14 января 2012 (разн. | история) . . (+3) . . Геделева нумерация. Арифметизация доказательств
- 00:59, 14 января 2012 (разн. | история) . . (-14) . . Геделева нумерация. Арифметизация доказательств
- 00:57, 14 января 2012 (разн. | история) . . (-28) . . Геделева нумерация. Арифметизация доказательств
- 00:55, 14 января 2012 (разн. | история) . . (+1234) . . Геделева нумерация. Арифметизация доказательств
- 00:43, 14 января 2012 (разн. | история) . . (+5902) . . Геделева нумерация. Арифметизация доказательств
- 23:58, 13 января 2012 (разн. | история) . . (+116) . . Представление функции класса DM с помощью медианы
- 23:46, 13 января 2012 (разн. | история) . . (+2686) . . Геделева нумерация. Арифметизация доказательств
- 23:16, 13 января 2012 (разн. | история) . . (-1) . . Арифметическое кодирование (→Определение)
- 23:15, 13 января 2012 (разн. | история) . . (+2) . . Арифметическое кодирование (→Определение)
- 23:14, 13 января 2012 (разн. | история) . . (-25) . . Примитивно рекурсивные функции
- 22:50, 13 января 2012 (разн. | история) . . (+281) . . Примитивно рекурсивные функции
- 22:39, 13 января 2012 (разн. | история) . . (+14 998) . . Примитивно рекурсивные функции
- 22:07, 13 января 2012 (разн. | история) . . (+10) . . Ковариация случайных величин (→Вычисление)
- 22:06, 13 января 2012 (разн. | история) . . (-168) . . Ковариация случайных величин (→Вычисление)
- 22:02, 13 января 2012 (разн. | история) . . (+12 116) . . Теории первого порядка
- 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) . . Задача коммивояжера, ДП по подмножествам (→Варианты решения)
(новейшие | старейшие) Просмотреть (100 более новых | 100 более старых) (20 | 50 | 100 | 250 | 500)