Страницы, ссылающиеся на «Шаблон:Определение»
Следующие страницы ссылаются на «Шаблон:Определение»:
Просмотреть (предыдущие 250 | следующие 250) (20 | 50 | 100 | 250 | 500)- Задачи интерполирования функции (включение) (← ссылки)
- Выпуклые функции (включение) (← ссылки)
- Неравенства Гёльдера, Минковского (включение) (← ссылки)
- Вещественные числа (включение) (← ссылки)
- Дифференциал и производная (включение) (← ссылки)
- Таблица инверсий (включение) (← ссылки)
- Приближение непрерывной функции полиномами на отрезке (включение) (← ссылки)
- Метрическое пространство (включение) (← ссылки)
- Грани числовых множеств (включение) (← ссылки)
- Мощность множества (включение) (← ссылки)
- Расстояние Хэмминга (включение) (← ссылки)
- Производные некоторых элементарных функций (включение) (← ссылки)
- Предел последовательности (включение) (← ссылки)
- Неопределённый интеграл (включение) (← ссылки)
- Предел отображения в метрическом пространстве (включение) (← ссылки)
- Задача о наибольшей возрастающей подпоследовательности (включение) (← ссылки)
- Формула Тейлора для полиномов (включение) (← ссылки)
- Формула Тейлора для произвольной функции (включение) (← ссылки)
- Определение интеграла Римана, простейшие свойства (включение) (← ссылки)
- Задача о наибольшей общей подпоследовательности (включение) (← ссылки)
- Перечислимые языки (включение) (← ссылки)
- Задача о монотонных подпоследовательностях, теорема о связи длины НВП и НУП (включение) (← ссылки)
- Свойства перечислимых языков. Теорема Успенского-Райса (включение) (← ссылки)
- Существенно неоднозначные языки (включение) (← ссылки)
- Производные и дифференциалы высших порядков (включение) (← ссылки)
- Критерий существования определённого интеграла (включение) (← ссылки)
- Коды Грея для перестановок (включение) (← ссылки)
- Матричное представление перестановок (включение) (← ссылки)
- Остовные деревья: определения, лемма о безопасном ребре (включение) (← ссылки)
- Теорема о рекурсии (включение) (← ссылки)
- Условная вероятность (включение) (← ссылки)
- Формула полной вероятности (включение) (← ссылки)
- Связь максимального паросочетания и минимального вершинного покрытия в двудольных графах (включение) (← ссылки)
- Три основных теоремы о пределах (включение) (← ссылки)
- Главные нумерации (включение) (← ссылки)
- Действие перестановки на набор из элементов, представление в виде циклов (включение) (← ссылки)
- Иммунные и простые множества (включение) (← ссылки)
- Формула Байеса (включение) (← ссылки)
- Задача о выводе в контекстно-свободной грамматике, алгоритм Кока-Янгера-Касами (включение) (← ссылки)
- Паросочетания: основные определения, теорема о максимальном паросочетании и дополняющих цепях (включение) (← ссылки)
- Определение сети, потока (включение) (← ссылки)
- Разрез, лемма о потоке через разрез (включение) (← ссылки)
- Интеграл с переменным верхним пределом (включение) (← ссылки)
- Несобственные интегралы (включение) (← ссылки)
- Представление функции формулой, полные системы функций (включение) (← ссылки)
- Матрица Татта и связь с размером максимального паросочетания в двудольном графе (включение) (← ссылки)
- Задача об оптимальном префиксном коде с сохранением порядка. Монотонность точки разреза (включение) (← ссылки)
- Дискретная случайная величина (включение) (← ссылки)
- Стековые машины, эквивалентность двухстековой машины МТ (включение) (← ссылки)
- Вероятностное пространство, элементарный исход, событие (включение) (← ссылки)
- Умножение перестановок, обратная перестановка, группа перестановок (включение) (← ссылки)
- Независимые события (включение) (← ссылки)
- Теорема Хаусдорфа об ε-сетях (включение) (← ссылки)
- Формула Валлиса (включение) (← ссылки)
- Дополняющая сеть, дополняющий путь (включение) (← ссылки)
- Некоторые геометрические приложения интеграла (включение) (← ссылки)
- Связь вершинного покрытия и независимого множества (включение) (← ссылки)
- Энтропия случайного источника (включение) (← ссылки)
- Примеры неразрешимых задач: проблема соответствий Поста (включение) (← ссылки)
- Алгоритм вырезания соцветий (включение) (← ссылки)
- Независимые случайные величины (включение) (← ссылки)
- Бинарное отношение (включение) (← ссылки)
- Дисперсия случайной величины (включение) (← ссылки)
- Динамическое программирование (включение) (← ссылки)
- Марковская цепь (включение) (← ссылки)
- Определение суммы числового ряда (включение) (← ссылки)
- Положительные ряды (включение) (← ссылки)
- Предел монотонных функций (включение) (← ссылки)
- Незнакопостоянные ряды (включение) (← ссылки)
- Участник:Rybak/Матан (включение) (← ссылки)
- Классические теоремы дифференциального исчисления (включение) (← ссылки)
- Эргодическая марковская цепь (включение) (← ссылки)
- Регулярная марковская цепь (включение) (← ссылки)
- Симуляция одним распределением другого (включение) (← ссылки)
- Алгоритм Эрли (включение) (← ссылки)
- Детерминированные автоматы с магазинной памятью (включение) (← ссылки)
- Теорема о поглощении (включение) (← ссылки)
- Пороговая функция (включение) (← ссылки)
- Блокирующий поток (включение) (← ссылки)
- Ковариация случайных величин (включение) (← ссылки)
- Фундаментальная матрица (включение) (← ссылки)
- Поток минимальной стоимости (включение) (← ссылки)
- Примеры неразрешимых задач: задача о выводе в полусистеме Туэ (включение) (← ссылки)
- Использование потенциалов Джонсона при поиске потока минимальной стоимости (включение) (← ссылки)
- Арифметическое кодирование (включение) (← ссылки)
- Суммирование расходящихся рядов (включение) (← ссылки)
- Теоретический минимум по математическому анализу за 1 семестр (включение) (← ссылки)
- Использование обхода в глубину для топологической сортировки (включение) (← ссылки)
- Детерминированные автоматы с магазинной памятью, допуск по пустому стеку (включение) (← ссылки)
- Примеры неразрешимых задач: задача о замощении (включение) (← ссылки)
- Алгоритм Кока-Янгера-Касами разбора грамматики в НФХ (включение) (← ссылки)
- Наивный алгоритм поиска подстроки в строке (включение) (← ссылки)
- Двоичная куча (включение) (← ссылки)
- Биномиальная куча (включение) (← ссылки)
- Определение функционального ряда (включение) (← ссылки)
- Равномерная сходимость функционального ряда (включение) (← ссылки)
- Амортизационный анализ (включение) (← ссылки)
- Поиск наибольшей общей подстроки двух строк с использованием хеширования (включение) (← ссылки)
- Алгоритм Укконена (включение) (← ссылки)
- Поиск подстроки в строке с использованием хеширования. Алгоритм Рабина-Карпа (включение) (← ссылки)
- СНМ (реализация с помощью леса корневых деревьев) (включение) (← ссылки)
- Сжатое суффиксное дерево (включение) (← ссылки)
- Сведение задачи LCA к задаче RMQ (включение) (← ссылки)
- Степенные ряды (включение) (← ссылки)
- Нормированные пространства (включение) (← ссылки)
- Разложение функций в степенные ряды (включение) (← ссылки)
- Линейные операторы в нормированных пространствах (включение) (← ссылки)
- Суффиксный массив (включение) (← ссылки)
- Встречное дерево Фенвика (включение) (← ссылки)
- Z-функция (включение) (← ссылки)
- Префикс-функция (включение) (← ссылки)
- Теорема о базах (включение) (← ссылки)
- Оператор замыкания для матроидов (включение) (← ссылки)
- Многомерное дерево Фенвика (включение) (← ссылки)
- Двойственный матроид (включение) (← ссылки)
- Прямая сумма матроидов (включение) (← ссылки)
- Поиск k-ой порядковой статистики (включение) (← ссылки)
- Фибоначчиева куча (включение) (← ссылки)
- Обсуждение:Полные системы функций. Теорема Поста о полной системе функций (← ссылки)
- Теорема о циклах (включение) (← ссылки)
- Ранговая функция, полумодулярность (включение) (← ссылки)
- Идеальное хеширование (включение) (← ссылки)
- Красно-черное дерево (включение) (← ссылки)
- Объединение матроидов, проверка множества на независимость (включение) (← ссылки)
- 0-1 принцип (включение) (← ссылки)
- Справка по шаблонам (включение) (← ссылки)
- Дифференцируемые отображения в нормированных пространствах (включение) (← ссылки)
- Безусловный экстремум функции многих переменных (включение) (← ссылки)
- Локальная теорема о неявном отображении (включение) (← ссылки)
- Интеграл Римана по прямоугольнику (включение) (← ссылки)
- Распространение интеграла на произвольные ограниченные фигуры (включение) (← ссылки)
- О многократных интегралах (включение) (← ссылки)
- Пересечение матроидов, определение, примеры (включение) (← ссылки)
- Сортирующие сети (включение) (← ссылки)
- Примеры матроидов (включение) (← ссылки)
- Сеть Бетчера (включение) (← ссылки)
- Формулировки теорем 2 семестр (включение) (← ссылки)
- Теоретический минимум по математическому анализу за 2 семестр (включение) (← ссылки)
- Определение матроида (включение) (← ссылки)
- Фильтр Блума (включение) (← ссылки)
- Универсальное семейство хеш-функций (включение) (← ссылки)
- Граф замен (включение) (← ссылки)
- Алгоритм построения базы в объединении матроидов (включение) (← ссылки)
- Полукольца и алгебры (включение) (← ссылки)
- Мера на полукольце множеств (включение) (← ссылки)
- Обсуждение:Кодирование информации (← ссылки)
- Внешняя мера (включение) (← ссылки)
- Предикат "левый поворот" (включение) (← ссылки)
- Суперпозиции (включение) (← ссылки)
- Мера, порождённая внешней мерой (включение) (← ссылки)
- Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчёт числа слов) (включение) (← ссылки)
- Обсуждение:Дискретная математика и алгоритмы (включение) (← ссылки)
- Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n)) (включение) (← ссылки)
- Представление чисел с плавающей точкой (включение) (← ссылки)
- Adaptive precision arithmetic (включение) (← ссылки)
- Алгоритм A* (включение) (← ссылки)
- Обсуждение:Неравенство Крафта (← ссылки)
- Конфигурация (включение) (← ссылки)
- Отношение порядка (включение) (← ссылки)
- Отношение эквивалентности (включение) (← ссылки)
- Задача о расстоянии Дамерау-Левенштейна (включение) (← ссылки)
- Процесс Каратеодори (включение) (← ссылки)
- Объём n-мерного прямоугольника (включение) (← ссылки)
- Мера Лебега в R^n (включение) (← ссылки)
- Определение измеримой функции (включение) (← ссылки)
- Предельный переход в классе измеримых функций (включение) (← ссылки)
- Сходимость по мере (включение) (← ссылки)
- Вычислимые функции (включение) (← ссылки)
- Производящая функция (включение) (← ссылки)
- Диагональный метод (включение) (← ссылки)
- Разрешимые (рекурсивные) языки (включение) (← ссылки)
- Циркуляция потока (включение) (← ссылки)
- Определение интеграла Лебега (включение) (← ссылки)
- M-сводимость (включение) (← ссылки)
- Неотрицательные суммируемые функции (включение) (← ссылки)
- Обсуждение:Процесс Каратеодори (включение) (← ссылки)
- Суммируемые функции произвольного знака (включение) (← ссылки)
- Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (включение) (← ссылки)
- Мера подграфика (включение) (← ссылки)
- Обсуждение:Объём n-мерного прямоугольника (включение) (← ссылки)
- Правильные скобочные последовательности (включение) (← ссылки)
- Теоретический минимум по математическому анализу за 3 семестр (включение) (← ссылки)
- Теорема Райса-Шапиро (включение) (← ссылки)
- Обсуждение:Теоретический минимум по математическому анализу за 3 семестр (включение) (← ссылки)
- Исчисление высказываний, общие определения. Таблицы истинности. Общезначимость (включение) (← ссылки)
- Исчисление высказываний (включение) (← ссылки)
- Лемма о дедукции, полнота исчисления высказываний (включение) (← ссылки)
- Исчисление предикатов (включение) (← ссылки)
- Теории первого порядка (включение) (← ссылки)
- Задача о редакционном расстоянии, алгоритм Вагнера-Фишера (включение) (← ссылки)
- Математическое ожидание случайной величины (включение) (← ссылки)
- Секвенциальное и интуиционистское исчисление (включение) (← ссылки)
- Примитивно рекурсивные функции (включение) (← ссылки)
- Геделева нумерация. Арифметизация доказательств (включение) (← ссылки)
- 1я и 2я теоремы Геделя о неполноте арифметики (включение) (← ссылки)
- Теория множеств (включение) (← ссылки)
- Теоретический минимум по математической логике за 3 семестр (включение) (← ссылки)
- Прямое произведение ДКА (включение) (← ссылки)
- Линейный клеточный автомат, эквивалентность МТ (включение) (← ссылки)
- Определения, 1 семестр, Кохась К.П. (включение) (← ссылки)
- Участница:Katyatitkova/Матан (включение) (← ссылки)
- Обсуждение:Биномиальная куча (← ссылки)
- Определение ряда Фурье (включение) (← ссылки)
- Интеграл Дирихле (включение) (← ссылки)
- Алгоритм Карккайнена-Сандерса (включение) (← ссылки)
- Участник:Rybak/Черновик (включение) (← ссылки)
- Интеграл Фейера (включение) (← ссылки)
- Наилучшее приближение в линейных нормированных пространствах (включение) (← ссылки)
- Слово Фибоначчи (включение) (← ссылки)
- Основные определения, связанные со строками (включение) (← ссылки)
- Слово Туэ-Морса (включение) (← ссылки)
- Транзитивный остов (включение) (← ссылки)
- Участник:Yulya3102/Матан (включение) (← ссылки)
- Определения, 2 семестр, Кохась К.П. (включение) (← ссылки)
- Теорема Бермана — Форчуна (включение) (← ссылки)
- Сложностные классы. Вычисления с оракулом (включение) (← ссылки)
- Классы PH, Σ и Π (включение) (← ссылки)
- Схемная сложность и класс P/poly (включение) (← ссылки)
- Классы NC и AC (включение) (← ссылки)
- Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (включение) (← ссылки)
- PS-полнота языка верных булевых формул с кванторами (TQBF) (включение) (← ссылки)
- Рандомизированное бинарное дерево поиска (включение) (← ссылки)
- Классификация задач (включение) (← ссылки)
- Теорема Фейера (включение) (← ссылки)
- Участник:Muravyov (включение) (← ссылки)
- Участник:Nechaev/Черновик (включение) (← ссылки)
- Классы L, NL, coNL. NL-полнота задачи о достижимости (включение) (← ссылки)
- Алгоритмы построения выпуклых оболочек множества точек на плоскости (включение) (← ссылки)
- Триангуляция полигонов (ушная + монотонная) (включение) (← ссылки)
- Теорема о непринадлежности XOR классу AC⁰ (включение) (← ссылки)
- Классы RP и coRP (включение) (← ссылки)
- Целочисленный двоичный поиск (включение) (← ссылки)
- Интерактивные протоколы. Класс IP. Класс AM (включение) (← ссылки)
- Вероятностные вычисления. Вероятностная машина Тьюринга (включение) (← ссылки)
- Классы BPP (включение) (← ссылки)
- Лемма о соотношении coNP и IP (включение) (← ссылки)
- Арифметизация булевых формул с кванторами (включение) (← ссылки)
- PCP-теорема, альтернативное доказательство (включение) (← ссылки)
- PCP-система (включение) (← ссылки)
- PCP-теорема (включение) (← ссылки)
- Связь классов IP и AM друг с другом и с другими классами языков (включение) (← ссылки)
- Теоретический минимум по математическому анализу за 4 семестр (включение) (← ссылки)
- Недетерминированные вычисления (включение) (← ссылки)
- Классы NP, coNP, Σ₁, Π₁ (включение) (← ссылки)
- Класс PS. Связь класса PS с другими классами теории сложности (включение) (← ссылки)
- Классы L, NL, coNL (включение) (← ссылки)
- NL-полнота задачи о достижимости (включение) (← ссылки)
- Класс ZPP (включение) (← ссылки)
- Теорема о соотношении coNP и IP (включение) (← ссылки)
- Сложностные классы (включение) (← ссылки)