Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (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) . . Ковариация случайных величин (→Вычисление)
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)