Страницы, ссылающиеся на «Шаблон:Теорема»
Следующие страницы ссылаются на «Шаблон:Теорема»:
Просмотреть (предыдущие 100 | следующие 100) (20 | 50 | 100 | 250 | 500)- Отношение связности, компоненты связности (включение) (← ссылки)
- Теорема о существовании простого пути в случае существования пути (включение) (← ссылки)
- Теорема о существовании простого цикла в случае существования цикла (включение) (← ссылки)
- Отношение вершинной двусвязности (включение) (← ссылки)
- Точка сочленения, эквивалентные определения (включение) (← ссылки)
- Отношение рёберной двусвязности (включение) (← ссылки)
- Мост, эквивалентные определения (включение) (← ссылки)
- Системы счисления (включение) (← ссылки)
- Коды Прюфера (включение) (← ссылки)
- Количество помеченных деревьв (включение) (← ссылки)
- Вершинная, рёберная связность, связь между ними и минимальной степенью вершины (включение) (← ссылки)
- Эйлеровость графов (включение) (← ссылки)
- Изменение размера оптимальной схемы при переходе к другому базису (включение) (← ссылки)
- Регулярные языки: два определения и их эквивалентность (включение) (← ссылки)
- Теорема Клини (совпадение классов автоматных и регулярных языков) (включение) (← ссылки)
- Замкнутость регулярных языков относительно различных операций (включение) (← ссылки)
- Матрица смежности графа (включение) (← ссылки)
- КНФ (включение) (← ссылки)
- Полные системы функций. Теорема Поста о полной системе функций (включение) (← ссылки)
- Китайская теорема об остатках (включение) (← ссылки)
- Теорема Вильсона (включение) (← ссылки)
- Теорема Ферма (включение) (← ссылки)
- Количество помеченных деревьев (включение) (← ссылки)
- Реализация булевой функции схемой из функциональных элементов (включение) (← ссылки)
- Фундаментальные циклы графа (включение) (← ссылки)
- Циклическое пространство графа (включение) (← ссылки)
- Правоконтекстные грамматики, эквивалентность автоматам (включение) (← ссылки)
- Теорема Дирака (включение) (← ссылки)
- Теорема Оре (включение) (← ссылки)
- Теорема Менгера (включение) (← ссылки)
- Покрытие рёбер графа путями (включение) (← ссылки)
- Подсчёт числа остовных деревьев с помощью матрицы Кирхгофа (включение) (← ссылки)
- Полином Жегалкина (включение) (← ссылки)
- Алгоритм построения Эйлерова цикла (включение) (← ссылки)
- Нормальная форма Хомского (включение) (← ссылки)
- Неукорачивающие и контекстно-зависимые грамматики, эквивалентность (включение) (← ссылки)
- Существование первообразных корней по определённым модулям (включение) (← ссылки)
- Символ Лежандра, критерий Эйлера (включение) (← ссылки)
- Теорема о (((p-1)/2)!)^2=-1(mod p) (включение) (← ссылки)
- Теорема Редеи-Камиона (включение) (← ссылки)
- Турниры (включение) (← ссылки)
- Теорема Хватала (включение) (← ссылки)
- Гамильтоновы графы (включение) (← ссылки)
- Удаление бесполезных символов из грамматики (включение) (← ссылки)
- Удаление цепных правил из грамматики (включение) (← ссылки)
- Удаление длинных правил из грамматики (включение) (← ссылки)
- Удаление eps-правил из грамматики (включение) (← ссылки)
- Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора (включение) (← ссылки)
- Алгоритм Хаффмана (включение) (← ссылки)
- Приведение грамматики к ослабленной нормальной форме Грейбах (включение) (← ссылки)
- Теорема Понтрягина-Куратовского (включение) (← ссылки)
- Формула Эйлера (включение) (← ссылки)
- Непланарность K5 и K3,3 (включение) (← ссылки)
- Укладка графа с планарными компонентами рёберной двусвязности (включение) (← ссылки)
- Укладка графа на плоскости (включение) (← ссылки)
- Укладка графа с планарными компонентами вершинной двусвязности (включение) (← ссылки)
- Хроматический многочлен (включение) (← ссылки)
- Формула Зыкова (включение) (← ссылки)
- Формула Уитни (включение) (← ссылки)
- МП-автоматы, допуск по пустому стеку и по допускающему состоянию, эквивалентность (включение) (← ссылки)
- Преобразование Барроуза-Уилера (включение) (← ссылки)
- Формула включения-исключения (включение) (← ссылки)
- Комбинаторные объекты (включение) (← ссылки)
- Коды Грея (включение) (← ссылки)
- Множества (включение) (← ссылки)
- Модуль непрерывности функции (включение) (← ссылки)
- Задачи интерполирования функции (включение) (← ссылки)
- Выпуклые функции (включение) (← ссылки)
- Неравенства Гёльдера, Минковского (включение) (← ссылки)
- Дифференциал и производная (включение) (← ссылки)
- Алгоритм Джонсона (включение) (← ссылки)
- Теорема Кэли (включение) (← ссылки)
- Приближение непрерывной функции полиномами на отрезке (включение) (← ссылки)
- Метрическое пространство (включение) (← ссылки)
- Грани числовых множеств (включение) (← ссылки)
- Задача о минимуме/максимуме скалярного произведения (включение) (← ссылки)
- Предел отображения в метрическом пространстве (включение) (← ссылки)
- Формула Тейлора для полиномов (включение) (← ссылки)
- Формула Тейлора для произвольной функции (включение) (← ссылки)
- Алгоритм Форда-Беллмана (включение) (← ссылки)
- Задача о наибольшей общей подпоследовательности (включение) (← ссылки)
- Перечислимые языки (включение) (← ссылки)
- Задача о монотонных подпоследовательностях, теорема о связи длины НВП и НУП (включение) (← ссылки)
- Неотделимые множества (включение) (← ссылки)
- Использование обхода в глубину для поиска точек сочленения (включение) (← ссылки)
- Критерий Тарьяна минимальности остовного дерева (включение) (← ссылки)
- Свойства перечислимых языков. Теорема Успенского-Райса (включение) (← ссылки)
- Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций (включение) (← ссылки)
- Критерий существования определённого интеграла (включение) (← ссылки)
- Участник:System29a (включение) (← ссылки)
- Алгоритм Дейкстры (включение) (← ссылки)
- Остовные деревья: определения, лемма о безопасном ребре (включение) (← ссылки)
- Теорема о рекурсии (включение) (← ссылки)
- Использование обхода в глубину для поиска мостов (включение) (← ссылки)
- Формула полной вероятности (включение) (← ссылки)
- Связь максимального паросочетания и минимального вершинного покрытия в двудольных графах (включение) (← ссылки)
- Три основных теоремы о пределах (включение) (← ссылки)
- Главные нумерации (включение) (← ссылки)
- Иммунные и простые множества (включение) (← ссылки)
- Формула Байеса (включение) (← ссылки)