Теорема о числе элементов базиса в конечномерном линейном пространстве ::
Метод Лагранжа приведения квадратичной формы к каноническому виду ::
Процесс ортогонализации Грама--Шмидта в конечномерном евклидовом пространстве ::
Полнота и непротиворечивость исчисления высказываний ::
Характеристические числа графа (внутренней, внешней устойчивости, хроматическое, кликовое) ::
Теоремы Коши о значениях непрерывной функции на промежутке ::
Производная по направлению и градиент функции нескольких переменных ::
Критерий и достаточное условие существования интеграла Римана ::
Признаки сходимости положительных числовых рядов ::
Необходимые и достаточные условия экстремума функции нескольких
(двух) переменных ::
Равномерная сходимость функционального ряда и функциональные свойства суммы ряда ::
Признак Дини разложимости функции в ряд Фурье ::
Эйлеровы интегралы, гамма-функция, бета-функция ::
Кривизна и кручение пространственной кривой. Сопровождающий репер и формулы Френе ::
Общее решение ЛДУ n-го порядка с постоянными коэффициентами ::
Формула Коши для линейной неоднородной системы дифференциальных уравнений ::
Устойчивость линейных однородных систем ОДУ с постоянной матрицей ::
Неравенства Гельдера и Минковского. Пространство 
::
Эквивалентность ограниченности и непрерывности линейного оператора в нормированном пространстве. Норма оператора. Полнота пространства линейных ограниченных операторов ::
Схема Бернулли и предельные теоремы для схемы Бернулли ::
Дискретные цепи Маркова: классификация состояний, основная предельная теорема ::
Закон больших чисел ::
Центральная предельная теорема и ее применение для доверительного оценивания ::
Точечные оценки, их свойства, примеры ::
Теорема о существовании оптимального базисного решения задачи линейного программирования. Критерий оптимальности ::
Теорема Куна--Таккера (необходимые и достаточные условия оптимальности решения задачи выпуклого программирования) ::
Метод динамического программирования и уравнение Беллмана ::
Потоки в сетях. Теорема Форда--Фалкерсона о максимальном потоке в сети ::
Транспортная задача и теоретические основы метода потенциалов ::
Одношаговые итерационные методы решения систем линейных алгебраических уравнений. Теорема сходимости ::
Приближение функций по методу наименьших квадратов ::
Аппроксимация и устойчивость явной разностной схемы для уравнения теплопроводности ::
Алгоритмы работы со стеками, очередями и деками в последовательном и связном представлении ::
Алгоритмы обхода деревьев и графов ::
Алгоритм поиска в хеш-таблице с цепочками ::
Основные алгоритмы сортировок ::
Алгоритмы генерации подмножеств, перестановок и других комбинаторных объектов ::
Теорема о приведении конечного автомата к эквивалентному детерминированному ::
Реляционная модель данных ::
Теория нормализации реляционных отношений
Реклама:
Интересные книги о главном