Вклад участника
(новейшие | старейшие) Просмотреть (250 более новых | 250 более старых) (20 | 50 | 100 | 250 | 500)
- 18:01, 17 января 2012 (разн. | история) . . (+18) . . Алгоритм поиска блокирующего потока в ациклической сети (→Алгоритм узкого места)
- 17:08, 17 января 2012 (разн. | история) . . (-25) . . Эквивалентность состояний ДКА
- 17:04, 17 января 2012 (разн. | история) . . (+1) . . Автоматы с eps-переходами. Eps-замыкание (→Эквивалентность автоматов с переходами по строкам и НКА. Eps-замыкание)
- 17:04, 17 января 2012 (разн. | история) . . (+1) . . Автоматы с eps-переходами. Eps-замыкание (→Эквивалентность автоматов с переходами по строкам и НКА. Eps-замыкание)
- 16:46, 17 января 2012 (разн. | история) . . (+1) . . Построение по НКА эквивалентного ДКА, алгоритм Томпсона (→Доказательство эквивалентности)
- 11:23, 17 января 2012 (разн. | история) . . (-12) . . Использование обхода в глубину для топологической сортировки (→Постановка задачи)
- 11:03, 17 января 2012 (разн. | история) . . (-131) . . Обход в глубину, цвета вершин (→Реализация)
- 10:58, 17 января 2012 (разн. | история) . . (-348) . . Регулярные языки: два определения и их эквивалентность (→Литература)
- 10:57, 17 января 2012 (разн. | история) . . (-11) . . Регулярные языки: два определения и их эквивалентность
- 10:54, 17 января 2012 (разн. | история) . . (-110) . . Использование обхода в глубину для поиска компонент сильной связности (→Доказательство корректности алгоритма)
- 10:50, 17 января 2012 (разн. | история) . . (+53) . . Использование обхода в глубину для поиска компонент сильной связности (→Доказательство корректности алгоритма)
- 10:23, 17 января 2012 (разн. | история) . . (0) . . Двудольные графы и раскраска в 2 цвета
- 09:20, 17 января 2012 (разн. | история) . . (-27) . . Доказательство нерегулярности языков: лемма о разрастании (→Литература)
- 09:19, 17 января 2012 (разн. | история) . . (-92) . . Алгоритм Джонсона
- 09:17, 17 января 2012 (разн. | история) . . (-20) . . Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n)) (→Литература)
- 09:17, 17 января 2012 (разн. | история) . . (+1034) . . Алгоритм Джонсона
- 09:15, 17 января 2012 (разн. | история) . . (-10) . . Детерминированные конечные автоматы (→Литература)
- 09:12, 17 января 2012 (разн. | история) . . (-26) . . Недетерминированные конечные автоматы (→Литература)
- 09:08, 17 января 2012 (разн. | история) . . (+106) . . Произвольно вычерчиваемые из заданной вершины графы
- 09:00, 17 января 2012 (разн. | история) . . (-2) . . Детерминированные конечные автоматы (→Литература)
- 09:00, 17 января 2012 (разн. | история) . . (+220) . . Произвольно вычерчиваемые из заданной вершины графы
- 08:59, 17 января 2012 (разн. | история) . . (-17) . . Детерминированные конечные автоматы
- 08:56, 17 января 2012 (разн. | история) . . (-7) . . Схема алгоритма Диница (→Асимптотика алгоритма)
- 08:51, 17 января 2012 (разн. | история) . . (-28) . . Обход в ширину
- 08:49, 17 января 2012 (разн. | история) . . (+101) . . Алгоритм Флойда
- 08:40, 17 января 2012 (разн. | история) . . (+1) . . Отношение рёберной двусвязности (→См. также)
- 08:33, 17 января 2012 (разн. | история) . . (+33) . . Отношение рёберной двусвязности (→Реберная двусвязность)
- 08:33, 17 января 2012 (разн. | история) . . (+491) . . Алгоритм Куна для поиска максимального паросочетания
- 08:26, 17 января 2012 (разн. | история) . . (0) . . Отношение рёберной двусвязности (→Реберная двусвязность)
- 08:26, 17 января 2012 (разн. | история) . . (+2) . . Алгоритм Куна для поиска максимального паросочетания (→Релизация)
- 08:26, 17 января 2012 (разн. | история) . . (+82) . . Отношение связности, компоненты связности (→Источники)
- 08:25, 17 января 2012 (разн. | история) . . (+32) . . Отношение рёберной двусвязности (→Реберная двусвязность)
- 08:24, 17 января 2012 (разн. | история) . . (+69) . . Алгоритм Куна для поиска максимального паросочетания (→Алгоритм)
- 08:18, 17 января 2012 (разн. | история) . . (-2) . . Отношение рёберной двусвязности (→Реберная двусвязность)
- 08:17, 17 января 2012 (разн. | история) . . (-176) . . Отношение рёберной двусвязности
- 08:16, 17 января 2012 (разн. | история) . . (+1) . . Отношение рёберной двусвязности (→См. также)
- 08:16, 17 января 2012 (разн. | история) . . (+154) . . Отношение рёберной двусвязности (→См. также)
- 08:15, 17 января 2012 (разн. | история) . . (-1) . . Отношение рёберной двусвязности (→Реберная двусвязность)
- 08:10, 17 января 2012 (разн. | история) . . (+1) . . Отношение рёберной двусвязности (→Реберная двусвязность)
- 08:02, 17 января 2012 (разн. | история) . . (-40) . . Отношение рёберной двусвязности (→Реберная двусвязность)
- 08:00, 17 января 2012 (разн. | история) . . (-20) . . Отношение рёберной двусвязности (→Реберная двусвязность)
- 07:49, 17 января 2012 (разн. | история) . . (+708) . . Отношение рёберной двусвязности
- 07:25, 17 января 2012 (разн. | история) . . (+4) . . Поиск потока минимальной стоимости методом дополнения вдоль путей минимальной стоимости (→Идея)
- 07:25, 17 января 2012 (разн. | история) . . (+221) . . Поиск потока минимальной стоимости методом дополнения вдоль путей минимальной стоимости (→Идея)
- 07:23, 17 января 2012 (разн. | история) . . (+303) . . Формула Уитни
- 07:15, 17 января 2012 (разн. | история) . . (+9) . . Матрица Татта и связь с размером максимального паросочетания в двудольном графе (→Матрица Эдмондса)
- 07:14, 17 января 2012 (разн. | история) . . (+70) . . Сведение задачи о назначениях к задаче о потоке минимальной стоимости
- 07:14, 17 января 2012 (разн. | история) . . (+97) . . Поиск потока минимальной стоимости методом дополнения вдоль путей минимальной стоимости
- 06:30, 17 января 2012 (разн. | история) . . (-267) . . Матрица Татта и связь с размером максимального паросочетания в двудольном графе (→Матрица Татта)
- 06:23, 17 января 2012 (разн. | история) . . (-2) . . Алгоритм Форда-Фалкерсона для поиска максимального паросочетания (→Идея алгоритма)
- 06:22, 17 января 2012 (разн. | история) . . (+168) . . Алгоритм Форда-Фалкерсона для поиска максимального паросочетания (→Корректность алгоритма)
- 06:13, 17 января 2012 (разн. | история) . . (-26) . . Алгоритм Форда-Фалкерсона для поиска максимального паросочетания (→Корректность алгоритма)
- 06:11, 17 января 2012 (разн. | история) . . (+149) . . Алгоритм Форда-Фалкерсона для поиска максимального паросочетания (→Псевдокод)
- 06:07, 17 января 2012 (разн. | история) . . (+797) . . Алгоритм Форда-Фалкерсона для поиска максимального паросочетания (→Корректность алгоритма)
- 06:05, 17 января 2012 (разн. | история) . . (+18) . . Теорема Клини (совпадение классов автоматных и регулярных языков)
- 05:57, 17 января 2012 (разн. | история) . . (0) . . Недетерминированные конечные автоматы (→Процесс допуска)
- 05:52, 17 января 2012 (разн. | история) . . (-21) . . Отношение рёберной двусвязности (→Реберная двусвязность)
- 05:49, 17 января 2012 (разн. | история) . . (+9) . . Регулярные языки: два определения и их эквивалентность
- 05:38, 17 января 2012 (разн. | история) . . (0) . . Алгоритм Форда-Фалкерсона для поиска максимального паросочетания (→Идея алгоритма)
- 05:05, 17 января 2012 (разн. | история) . . (+6) . . Алгоритм Форда-Фалкерсона для поиска максимального паросочетания (→Псевдокод)
- 05:04, 17 января 2012 (разн. | история) . . (+8) . . Алгоритм Форда-Фалкерсона для поиска максимального паросочетания (→Литература)
- 04:25, 17 января 2012 (разн. | история) . . (0) . . Произвольно вычерчиваемые из заданной вершины графы
- 02:54, 17 января 2012 (разн. | история) . . (+4) . . Алгоритм масштабирования потока (→Оценка времени работы)
- 02:52, 17 января 2012 (разн. | история) . . (-4) . . Теоремы Карзанова о числе итераций алгоритма Диница в сети с целочисленными пропускными способностями (→Теоремы)
- 02:45, 17 января 2012 (разн. | история) . . (-35) . . Двудольные графы и раскраска в 2 цвета (→Раскраска в 2 цвета)
- 02:28, 17 января 2012 (разн. | история) . . (+126) . . Двудольные графы и раскраска в 2 цвета
- 02:04, 17 января 2012 (разн. | история) . . (+21) . . Иммунные и простые множества
- 02:02, 17 января 2012 (разн. | история) . . (+56) . . Схема алгоритма Диница
- 01:56, 17 января 2012 (разн. | история) . . (-29) . . Теоремы Карзанова о числе итераций алгоритма Диница в сети с целочисленными пропускными способностями
- 01:55, 17 января 2012 (разн. | история) . . (+1) . . Алгоритм поиска блокирующего потока в ациклической сети (→Жадный Алгоритм)
- 01:55, 17 января 2012 (разн. | история) . . (-13) . . Алгоритм поиска блокирующего потока в ациклической сети (→Удаляющий обход)
- 01:18, 17 января 2012 (разн. | история) . . (+11) . . Двудольные графы и раскраска в 2 цвета
- 01:02, 17 января 2012 (разн. | история) . . (-21) . . Двудольные графы и раскраска в 2 цвета
- 00:35, 17 января 2012 (разн. | история) . . (+1) . . Алгоритм масштабирования потока
- 17:59, 16 января 2012 (разн. | история) . . (+5082) . . Преобразование Барроуза-Уилера (→Обратное преобразование)
- 10:34, 16 января 2012 (разн. | история) . . (-33) . . Задача о порядке перемножения матриц (→Перебор всех вариантов)
- 10:32, 16 января 2012 (разн. | история) . . (+474) . . Задача о порядке перемножения матриц
- 10:26, 16 января 2012 (разн. | история) . . (+1640) . . Задача о порядке перемножения матриц
- 04:57, 16 января 2012 (разн. | история) . . (+46) . . Кратчайший путь в ациклическом графе
- 19:57, 15 января 2012 (разн. | история) . . (+6) . . Транзитивное отношение (→Примеры нетранзитивных отношений)
- 19:20, 15 января 2012 (разн. | история) . . (-23) . . Алгоритм поиска блокирующего потока в ациклической сети (→Удаляющий обход)
- 19:15, 15 января 2012 (разн. | история) . . (+9) . . Алгоритм поиска блокирующего потока в ациклической сети (→Удаляющий обход)
- 19:12, 15 января 2012 (разн. | история) . . (+50) . . Алгоритм поиска блокирующего потока в ациклической сети (→Жадный Алгоритм)
- 19:05, 15 января 2012 (разн. | история) . . (+69) . . Алгоритм поиска блокирующего потока в ациклической сети (→Подробное описание)
- 19:01, 15 января 2012 (разн. | история) . . (+69) . . Алгоритм поиска блокирующего потока в ациклической сети (→Идея)
- 19:00, 15 января 2012 (разн. | история) . . (+50) . . Алгоритм поиска блокирующего потока в ациклической сети (→Подробное описание)
- 18:54, 15 января 2012 (разн. | история) . . (+100) . . Алгоритм поиска блокирующего потока в ациклической сети (→Жадный Алгоритм)
- 08:25, 15 января 2012 (разн. | история) . . (-22) . . Двудольные графы и раскраска в 2 цвета
- 08:24, 15 января 2012 (разн. | история) . . (+113) . . Двудольные графы и раскраска в 2 цвета (→Теорема Кенига)
- 08:18, 15 января 2012 (разн. | история) . . (+266) . . Двудольные графы и раскраска в 2 цвета
- 07:02, 15 января 2012 (разн. | история) . . (0) . . Умножение перестановок, обратная перестановка, группа перестановок (→Пример)
- 06:01, 15 января 2012 (разн. | история) . . (+1) . . Двудольные графы и раскраска в 2 цвета
- 05:16, 15 января 2012 (разн. | история) . . (+1) . . Двудольные графы и раскраска в 2 цвета
- 05:07, 15 января 2012 (разн. | история) . . (-2) . . Правильные скобочные последовательности
- 03:33, 15 января 2012 (разн. | история) . . (-46) . . Правильные скобочные последовательности
- 02:54, 15 января 2012 (разн. | история) . . (+8) . . Правильные скобочные последовательности
- 02:44, 15 января 2012 (разн. | история) . . (-2993) . . Правильные скобочные последовательности
- 02:19, 15 января 2012 (разн. | история) . . (+69) . . Математическая логика
- 02:16, 15 января 2012 (разн. | история) . . (+736) . . Исчисление предикатов (→Аксиомы)
- 01:43, 15 января 2012 (разн. | история) . . (+47) . . Алгоритм поиска блокирующего потока в ациклической сети (→Удаляющий обход)
- 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) . . Задача коммивояжера, ДП по подмножествам (→Варианты решения)
- 23:19, 12 января 2012 (разн. | история) . . (-231) . . Задача коммивояжера, ДП по подмножествам
- 23:03, 12 января 2012 (разн. | история) . . (+8) . . Задача коммивояжера, ДП по подмножествам
- 22:36, 12 января 2012 (разн. | история) . . (-1937) . . Метод четырёх русских для умножения матриц
- 22:29, 12 января 2012 (разн. | история) . . (0) . . Метод четырёх русских для умножения матриц (→Пример работы алгоритма)
- 22:28, 12 января 2012 (разн. | история) . . (+962) . . Метод четырёх русских для умножения матриц (→Пример работы алгоритма)
- 22:26, 12 января 2012 (разн. | история) . . (+46) . . Алгоритм Форда-Фалкерсона для поиска максимального паросочетания (→Идея алгоритма)
- 22:20, 12 января 2012 (разн. | история) . . (+430) . . Метод четырёх русских для умножения матриц (→Пример работы алгоритма)
- 22:15, 12 января 2012 (разн. | история) . . (+376) . . Метод четырёх русских для умножения матриц (→Пример работы алгоритма)
- 21:55, 12 января 2012 (разн. | история) . . (+694) . . Метод четырёх русских для умножения матриц (→Пример работы алгоритма)
- 21:33, 12 января 2012 (разн. | история) . . (+52) . . Метод четырёх русских для умножения матриц
- 20:22, 12 января 2012 (разн. | история) . . (+793) . . Дисперсия случайной величины (Добавил теорему о линейности дисперсии для независимых случайных величин и исправил определение)
- 19:26, 12 января 2012 (разн. | история) . . (+151) . . Теорема о поглощении
- 17:52, 12 января 2012 (разн. | история) . . (+158) . . Кодирование информации
- 17:04, 12 января 2012 (разн. | история) . . (-953) . . Метод четырёх русских для умножения матриц
- 11:35, 12 января 2012 (разн. | история) . . (-2) . . Полином Жегалкина
- 10:04, 12 января 2012 (разн. | история) . . (-1824) . . Условная вероятность
- 04:03, 12 января 2012 (разн. | история) . . (-84) . . Получение объекта по номеру (убрал жирный шрифт)
- 02:58, 12 января 2012 (разн. | история) . . (-2589) . . Расстояние Хэмминга (→Доказательство неравенства треугольника)
- 02:24, 12 января 2012 (разн. | история) . . (-119) . . Транзитивное отношение (→Примеры антитранзитивных отношений)
- 00:47, 12 января 2012 (разн. | история) . . (+5) . . Теорема о поглощении
- 23:57, 11 января 2012 (разн. | история) . . (0) . . Неравенство Макмиллана (→Неравенство Макмиллана)
- 16:12, 11 января 2012 (разн. | история) . . (+276) . . Теоретический минимум по математическому анализу за 3 семестр (→37. Всюду плотность множества С в пространствах)
- 07:30, 11 января 2012 (разн. | история) . . (+100) . . Совпадение множества языков МП-автоматов и контекстно-свободных языков
- 07:22, 11 января 2012 (разн. | история) . . (-127) . . МП-автоматы, допуск по пустому стеку и по допускающему состоянию, эквивалентность
- 07:17, 11 января 2012 (разн. | история) . . (+8) . . Автоматы с магазинной памятью (→Детерминированный автомат с магазинной памятью)
- 07:16, 11 января 2012 (разн. | история) . . (+2) . . Автоматы с магазинной памятью (→Пример недетерминированного МП-автомата)
- 07:15, 11 января 2012 (разн. | история) . . (+37) . . Автоматы с магазинной памятью (→Основные определения)
- 07:14, 11 января 2012 (разн. | история) . . (+4) . . Автоматы с магазинной памятью (→Диаграммы переходов)
- 07:13, 11 января 2012 (разн. | история) . . (+19) . . Автоматы с магазинной памятью (→Диаграммы переходов)
- 07:12, 11 января 2012 (разн. | история) . . (+28) . . Автоматы с магазинной памятью (→Недетерминированный автомат с магазинной памятью)
- 07:11, 11 января 2012 (разн. | история) . . (-1) . . Автоматы с магазинной памятью (→Недетерминированный автомат с магазинной памятью)
- 07:10, 11 января 2012 (разн. | история) . . (0) . . Лемма о разрастании для КС-грамматик
- 07:10, 11 января 2012 (разн. | история) . . (0) . . Лемма о разрастании для КС-грамматик
- 07:05, 11 января 2012 (разн. | история) . . (-10) . . Устранение левой рекурсии (→Устранение произвольной левой рекурсии)
- 07:04, 11 января 2012 (разн. | история) . . (+1) . . Устранение левой рекурсии (→Устранение непосредственной левой рекурсии)
- 07:00, 11 января 2012 (разн. | история) . . (+4) . . Правоконтекстные грамматики, эквивалентность автоматам
- 06:52, 11 января 2012 (разн. | история) . . (+70) . . Н Категория:Автоматы и регулярные языки (Новая страница: «Категория: Теория формальных языков») (текущая)
- 06:51, 11 января 2012 (разн. | история) . . (+77) . . Контексты и синтаксические моноиды
- 06:51, 11 января 2012 (разн. | история) . . (+148) . . Решение уравнений в регулярных выражениях
- 06:51, 11 января 2012 (разн. | история) . . (+148) . . Интерпретация булевых формул с кванторами как игр для двух игроков
- 06:50, 11 января 2012 (разн. | история) . . (+77) . . Доказательство нерегулярности языков: лемма о разрастании
- 06:50, 11 января 2012 (разн. | история) . . (+148) . . Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчёт числа слов)
- 06:49, 11 января 2012 (разн. | история) . . (+148) . . Замкнутость регулярных языков относительно различных операций
- 06:49, 11 января 2012 (разн. | история) . . (+77) . . Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))
- 06:48, 11 января 2012 (разн. | история) . . (+148) . . Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
- 06:48, 11 января 2012 (разн. | история) . . (+77) . . Эквивалентность состояний ДКА
- 06:48, 11 января 2012 (разн. | история) . . (+149) . . Теорема Клини (совпадение классов автоматных и регулярных языков)
- 06:47, 11 января 2012 (разн. | история) . . (+149) . . Автоматы с eps-переходами. Eps-замыкание
- 06:47, 11 января 2012 (разн. | история) . . (+77) . . Построение по НКА эквивалентного ДКА, алгоритм Томпсона
- 06:47, 11 января 2012 (разн. | история) . . (+1) . . Недетерминированные конечные автоматы
(новейшие | старейшие) Просмотреть (250 более новых | 250 более старых) (20 | 50 | 100 | 250 | 500)