Страницы, ссылающиеся на «Шаблон:Теорема»
Следующие страницы ссылаются на «Шаблон:Теорема»:
Просмотреть (предыдущие 250 | следующие 250) (20 | 50 | 100 | 250 | 500)- Теорема о существовании простого цикла в случае существования цикла (включение) (← ссылки)
- Отношение вершинной двусвязности (включение) (← ссылки)
- Точка сочленения, эквивалентные определения (включение) (← ссылки)
- Отношение рёберной двусвязности (включение) (← ссылки)
- Мост, эквивалентные определения (включение) (← ссылки)
- Системы счисления (включение) (← ссылки)
- Коды Прюфера (включение) (← ссылки)
- Количество помеченных деревьв (включение) (← ссылки)
- Вершинная, рёберная связность, связь между ними и минимальной степенью вершины (включение) (← ссылки)
- Эйлеровость графов (включение) (← ссылки)
- Изменение размера оптимальной схемы при переходе к другому базису (включение) (← ссылки)
- Регулярные языки: два определения и их эквивалентность (включение) (← ссылки)
- Теорема Клини (совпадение классов автоматных и регулярных языков) (включение) (← ссылки)
- Замкнутость регулярных языков относительно различных операций (включение) (← ссылки)
- Матрица смежности графа (включение) (← ссылки)
- КНФ (включение) (← ссылки)
- Полные системы функций. Теорема Поста о полной системе функций (включение) (← ссылки)
- Китайская теорема об остатках (включение) (← ссылки)
- Теорема Вильсона (включение) (← ссылки)
- Теорема Ферма (включение) (← ссылки)
- Количество помеченных деревьев (включение) (← ссылки)
- Реализация булевой функции схемой из функциональных элементов (включение) (← ссылки)
- Фундаментальные циклы графа (включение) (← ссылки)
- Циклическое пространство графа (включение) (← ссылки)
- Правоконтекстные грамматики, эквивалентность автоматам (включение) (← ссылки)
- Теорема Дирака (включение) (← ссылки)
- Теорема Оре (включение) (← ссылки)
- Теорема Менгера (включение) (← ссылки)
- Покрытие рёбер графа путями (включение) (← ссылки)
- Подсчёт числа остовных деревьев с помощью матрицы Кирхгофа (включение) (← ссылки)
- Полином Жегалкина (включение) (← ссылки)
- Алгоритм построения Эйлерова цикла (включение) (← ссылки)
- Нормальная форма Хомского (включение) (← ссылки)
- Неукорачивающие и контекстно-зависимые грамматики, эквивалентность (включение) (← ссылки)
- Существование первообразных корней по определённым модулям (включение) (← ссылки)
- Символ Лежандра, критерий Эйлера (включение) (← ссылки)
- Теорема о (((p-1)/2)!)^2=-1(mod p) (включение) (← ссылки)
- Теорема Редеи-Камиона (включение) (← ссылки)
- Турниры (включение) (← ссылки)
- Теорема Хватала (включение) (← ссылки)
- Гамильтоновы графы (включение) (← ссылки)
- Удаление бесполезных символов из грамматики (включение) (← ссылки)
- Удаление цепных правил из грамматики (включение) (← ссылки)
- Удаление длинных правил из грамматики (включение) (← ссылки)
- Удаление eps-правил из грамматики (включение) (← ссылки)
- Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора (включение) (← ссылки)
- Алгоритм Хаффмана (включение) (← ссылки)
- Приведение грамматики к ослабленной нормальной форме Грейбах (включение) (← ссылки)
- Теорема Понтрягина-Куратовского (включение) (← ссылки)
- Формула Эйлера (включение) (← ссылки)
- Непланарность K5 и K3,3 (включение) (← ссылки)
- Укладка графа с планарными компонентами рёберной двусвязности (включение) (← ссылки)
- Укладка графа на плоскости (включение) (← ссылки)
- Укладка графа с планарными компонентами вершинной двусвязности (включение) (← ссылки)
- Хроматический многочлен (включение) (← ссылки)
- Формула Зыкова (включение) (← ссылки)
- Формула Уитни (включение) (← ссылки)
- МП-автоматы, допуск по пустому стеку и по допускающему состоянию, эквивалентность (включение) (← ссылки)
- Преобразование Барроуза-Уилера (включение) (← ссылки)
- Формула включения-исключения (включение) (← ссылки)
- Комбинаторные объекты (включение) (← ссылки)
- Коды Грея (включение) (← ссылки)
- Множества (включение) (← ссылки)
- Модуль непрерывности функции (включение) (← ссылки)
- Задачи интерполирования функции (включение) (← ссылки)
- Выпуклые функции (включение) (← ссылки)
- Неравенства Гёльдера, Минковского (включение) (← ссылки)
- Дифференциал и производная (включение) (← ссылки)
- Алгоритм Джонсона (включение) (← ссылки)
- Теорема Кэли (включение) (← ссылки)
- Приближение непрерывной функции полиномами на отрезке (включение) (← ссылки)
- Метрическое пространство (включение) (← ссылки)
- Грани числовых множеств (включение) (← ссылки)
- Задача о минимуме/максимуме скалярного произведения (включение) (← ссылки)
- Предел отображения в метрическом пространстве (включение) (← ссылки)
- Формула Тейлора для полиномов (включение) (← ссылки)
- Формула Тейлора для произвольной функции (включение) (← ссылки)
- Алгоритм Форда-Беллмана (включение) (← ссылки)
- Задача о наибольшей общей подпоследовательности (включение) (← ссылки)
- Перечислимые языки (включение) (← ссылки)
- Задача о монотонных подпоследовательностях, теорема о связи длины НВП и НУП (включение) (← ссылки)
- Неотделимые множества (включение) (← ссылки)
- Использование обхода в глубину для поиска точек сочленения (включение) (← ссылки)
- Критерий Тарьяна минимальности остовного дерева (включение) (← ссылки)
- Свойства перечислимых языков. Теорема Успенского-Райса (включение) (← ссылки)
- Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций (включение) (← ссылки)
- Критерий существования определённого интеграла (включение) (← ссылки)
- Участник:System29a (включение) (← ссылки)
- Алгоритм Дейкстры (включение) (← ссылки)
- Остовные деревья: определения, лемма о безопасном ребре (включение) (← ссылки)
- Теорема о рекурсии (включение) (← ссылки)
- Использование обхода в глубину для поиска мостов (включение) (← ссылки)
- Формула полной вероятности (включение) (← ссылки)
- Связь максимального паросочетания и минимального вершинного покрытия в двудольных графах (включение) (← ссылки)
- Три основных теоремы о пределах (включение) (← ссылки)
- Главные нумерации (включение) (← ссылки)
- Иммунные и простые множества (включение) (← ссылки)
- Формула Байеса (включение) (← ссылки)
- Паросочетания: основные определения, теорема о максимальном паросочетании и дополняющих цепях (включение) (← ссылки)
- Интеграл с переменным верхним пределом (включение) (← ссылки)
- Алгоритм Куна для поиска максимального паросочетания (включение) (← ссылки)
- Матрица Татта и связь с размером максимального паросочетания в двудольном графе (включение) (← ссылки)
- Задача об оптимальном префиксном коде с сохранением порядка. Монотонность точки разреза (включение) (← ссылки)
- Стековые машины, эквивалентность двухстековой машины МТ (включение) (← ссылки)
- Теорема Хаусдорфа об ε-сетях (включение) (← ссылки)
- Теорема о декомпозиционном барьере (включение) (← ссылки)
- Алгоритм Эдмондса-Карпа (включение) (← ссылки)
- Теорема о декомпозиции (включение) (← ссылки)
- Теорема Форда-Фалкерсона (включение) (← ссылки)
- Обход в ширину (включение) (← ссылки)
- Связь вершинного покрытия и независимого множества (включение) (← ссылки)
- Энтропия случайного источника (включение) (← ссылки)
- Примеры неразрешимых задач: проблема соответствий Поста (включение) (← ссылки)
- Примеры неразрешимых задач: однозначность грамматики (включение) (← ссылки)
- Теоремы Карзанова о числе итераций алгоритма Диница в сети с целочисленными пропускными способностями (включение) (← ссылки)
- Алгоритм вырезания соцветий (включение) (← ссылки)
- Дисперсия случайной величины (включение) (← ссылки)
- Положительные ряды (включение) (← ссылки)
- Предел монотонных функций (включение) (← ссылки)
- Незнакопостоянные ряды (включение) (← ссылки)
- Арифметические действия с числовыми рядами (включение) (← ссылки)
- Участник:Rybak/Матан (включение) (← ссылки)
- Представление функции класса DM с помощью медианы (включение) (← ссылки)
- Классические теоремы дифференциального исчисления (включение) (← ссылки)
- Нахождение количества разбиений числа на слагаемые (включение) (← ссылки)
- Эргодическая марковская цепь (включение) (← ссылки)
- Регулярная марковская цепь (включение) (← ссылки)
- Совпадение множества языков МП-автоматов и контекстно-свободных языков (включение) (← ссылки)
- Алгоритм Эрли (включение) (← ссылки)
- Теорема Форда-Фалкерсона о потоке минимальной стоимости (включение) (← ссылки)
- Теорема о поглощении (включение) (← ссылки)
- Расчёт вероятности поглощения в состоянии (включение) (← ссылки)
- Поиск потока минимальной стоимости методом дополнения вдоль путей минимальной стоимости (включение) (← ссылки)
- Использование обхода в глубину для поиска компонент сильной связности (включение) (← ссылки)
- Ковариация случайных величин (включение) (← ссылки)
- Схема алгоритма Диница (включение) (← ссылки)
- Фундаментальная матрица (включение) (← ссылки)
- Примеры неразрешимых задач: задача о выводе в полусистеме Туэ (включение) (← ссылки)
- Арифметическое кодирование (включение) (← ссылки)
- Суммирование расходящихся рядов (включение) (← ссылки)
- Теоретический минимум по математическому анализу за 1 семестр (включение) (← ссылки)
- Использование обхода в глубину для топологической сортировки (включение) (← ссылки)
- Детерминированные автоматы с магазинной памятью, допуск по пустому стеку (включение) (← ссылки)
- Примеры неразрешимых задач: задача о замощении (включение) (← ссылки)
- B-дерево (включение) (← ссылки)
- Анализ реализации с ранговой эвристикой (включение) (← ссылки)
- Равномерная сходимость функционального ряда (включение) (← ссылки)
- Амортизационный анализ (включение) (← ссылки)
- АВЛ-дерево (включение) (← ссылки)
- СНМ (реализация с помощью леса корневых деревьев) (включение) (← ссылки)
- Сведение задачи LCA к задаче RMQ (включение) (← ссылки)
- Декартово дерево (включение) (← ссылки)
- Splay-дерево (включение) (← ссылки)
- Степенные ряды (включение) (← ссылки)
- Операции анализа с функциональными рядами (включение) (← ссылки)
- Нормированные пространства (включение) (← ссылки)
- Линейные операторы в нормированных пространствах (включение) (← ссылки)
- Встречное дерево Фенвика (включение) (← ссылки)
- Алгоритм Касаи и др. (включение) (← ссылки)
- Сведение задачи RMQ к задаче LCA (включение) (← ссылки)
- Теорема о базах (включение) (← ссылки)
- Оператор замыкания для матроидов (включение) (← ссылки)
- Теорема Эдмондса - Лоулера, формулировка, док-во в простую сторону (включение) (← ссылки)
- Двойственный матроид (включение) (← ссылки)
- Теорема Радо-Эдмондса (жадный алгоритм) (включение) (← ссылки)
- Теорема о циклах (включение) (← ссылки)
- Ранговая функция, полумодулярность (включение) (← ссылки)
- Идеальное хеширование (включение) (← ссылки)
- Красно-черное дерево (включение) (← ссылки)
- Объединение матроидов, проверка множества на независимость (включение) (← ссылки)
- 0-1 принцип (включение) (← ссылки)
- Справка по шаблонам (← ссылки)
- Дифференцируемые отображения в нормированных пространствах (включение) (← ссылки)
- Формула Тейлора для функций многих переменных (включение) (← ссылки)
- Безусловный экстремум функции многих переменных (включение) (← ссылки)
- Локальная теорема о неявном отображении (включение) (← ссылки)
- Распространение интеграла на произвольные ограниченные фигуры (включение) (← ссылки)
- Равномерная сходимость несобственных интегралов, зависящих от параметра (включение) (← ссылки)
- О замене переменной в интеграле многих переменных (включение) (← ссылки)
- Аксиоматизация матроида базами (включение) (← ссылки)
- Объединение матроидов, доказательство того, что объединение является матроидом (включение) (← ссылки)
- Сортирующие сети (включение) (← ссылки)
- Доказательство теоремы Эдмондса-Лоулера (включение) (← ссылки)
- Теорема о нижней оценке для сортировки сравнениями (включение) (← ссылки)
- Формулировки теорем 2 семестр (включение) (← ссылки)
- Теоретический минимум по математическому анализу за 2 семестр (включение) (← ссылки)
- Универсальное семейство хеш-функций (включение) (← ссылки)
- Дерево Фенвика для некоммутативных операций (включение) (← ссылки)
- Алгоритм построения базы в пересечении матроидов (включение) (← ссылки)
- Аксиоматизация матроида циклами (включение) (← ссылки)
- Алгоритм построения базы в объединении матроидов (включение) (← ссылки)
- Внешняя мера (включение) (← ссылки)
- Теорема Менгера, альтернативное доказательство (включение) (← ссылки)
- Мера, порождённая внешней мерой (включение) (← ссылки)
- Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчёт числа слов) (включение) (← ссылки)
- Обсуждение:Дискретная математика и алгоритмы (← ссылки)
- Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n)) (включение) (← ссылки)
- Adaptive precision arithmetic (включение) (← ссылки)
- Алгоритм A* (включение) (← ссылки)
- Неравенство Крафта (включение) (← ссылки)
- Неравенство Макмиллана (включение) (← ссылки)
- Обсуждение:Неравенство Макмиллана (← ссылки)
- Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики (включение) (← ссылки)
- Отношение эквивалентности (включение) (← ссылки)
- Процесс Каратеодори (включение) (← ссылки)
- Объём n-мерного прямоугольника (включение) (← ссылки)
- Мера Лебега в R^n (включение) (← ссылки)
- Определение измеримой функции (включение) (← ссылки)
- Сходимость по мере (включение) (← ссылки)
- Классические теоремы теории измеримых функций (включение) (← ссылки)
- Вычислимые функции (включение) (← ссылки)
- Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами (включение) (← ссылки)
- Диагональный метод (включение) (← ссылки)
- Определение интеграла Лебега (включение) (← ссылки)
- Некоторые элементарные свойства интеграла Лебега (включение) (← ссылки)
- Предельный переход под знаком интеграла Лебега (включение) (← ссылки)
- Неотрицательные суммируемые функции (включение) (← ссылки)
- Суммируемые функции произвольного знака (включение) (← ссылки)
- Классические теоремы о предельном переходе под знаком интеграла Лебега (включение) (← ссылки)
- Пространство L p(E) (включение) (← ссылки)
- Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (включение) (← ссылки)
- Мера подграфика (включение) (← ссылки)
- Теорема Фубини (включение) (← ссылки)
- Теоретический минимум по математическому анализу за 3 семестр (включение) (← ссылки)
- Теорема Райса-Шапиро (включение) (← ссылки)
- Исчисление высказываний (включение) (← ссылки)
- Лемма о дедукции, полнота исчисления высказываний (включение) (← ссылки)
- Исчисление предикатов (включение) (← ссылки)
- Теории первого порядка (включение) (← ссылки)
- Математическое ожидание случайной величины (включение) (← ссылки)
- Секвенциальное и интуиционистское исчисление (включение) (← ссылки)
- Примитивно рекурсивные функции (включение) (← ссылки)
- Геделева нумерация. Арифметизация доказательств (включение) (← ссылки)
- 1я и 2я теоремы Геделя о неполноте арифметики (включение) (← ссылки)
- Теория множеств (включение) (← ссылки)
- Теоретический минимум по математической логике за 3 семестр (включение) (← ссылки)
- Возможность порождения формальной грамматикой произвольного перечислимого языка (включение) (← ссылки)
- Линейный клеточный автомат, эквивалентность МТ (включение) (← ссылки)
- Определения, 1 семестр, Кохась К.П. (включение) (← ссылки)
- Участница:Katyatitkova/Матан (включение) (← ссылки)
- Трапецоидная карта (включение) (← ссылки)
- Определение ряда Фурье (включение) (← ссылки)
- Наилучшее приближение в линейных нормированных пространствах (включение) (← ссылки)
- Слово Фибоначчи (включение) (← ссылки)
- Слово Туэ-Морса (включение) (← ссылки)
- Период и бордер, их связь (включение) (← ссылки)
- Транзитивный остов (включение) (← ссылки)
- Участник:Yulya3102/Матан (включение) (← ссылки)
- Теорема Бермана — Форчуна (включение) (← ссылки)
- Теоремы о временной и ёмкостной иерархиях (включение) (← ссылки)