Матема́тика — точная формальная наука, первоначально исследовавшая количественные отношения и пространственные формы. В более современном понимании, это наука об отношениях между объектами, о которых ничего не известно, кроме описывающих их некоторых свойств, — именно тех, которые в качестве аксиом положены в основание той или иной математической теории.
О́бщая тополо́гия — раздел топологии, в котором изучаются понятия непрерывности и предела в наиболее общем смысле.
Функциона́льный ана́лиз — раздел анализа, в котором изучаются бесконечномерные топологические векторные пространства и их отображения. Наиболее важными примерами таких пространств являются пространства функций.
Коне́чный автома́т (КА) в теории алгоритмов — математическая абстракция, модель дискретного устройства, имеющего один вход, один выход и в каждый момент времени находящегося в одном состоянии из множества возможных. Является частным случаем абстрактного дискретного автомата, число возможных внутренних состояний которого конечно.
Комбинато́рика — раздел математики, посвящённый решению задач, связанных с выбором и расположением элементов некоторого множества в соответствии с заданными правилами. Каждое такое правило определяет некоторую выборку из элементов исходного множества, которая называется комбинаторной конфигурацией. Простейшими примерами комбинаторных конфигураций являются перестановки, сочетания и размещения.
Дискре́тная матема́тика — неклассифицируемое объединение нескольких разделов математики, изучающее дискретные математические структуры, такие как графы и утверждения в логике.
Динамическая система — множество элементов, для которого задана функциональная зависимость между временем и положением в фазовом пространстве каждого элемента системы. Данная математическая абстракция позволяет изучать и описывать эволюцию систем во времени.
Интерполя́ция, интерполи́рование — в вычислительной математике нахождение неизвестных промежуточных значений некоторой функции, по имеющемуся дискретному набору её известных значений, определенным способом. Термин «интерполяция» впервые употребил Джон Валлис в своём трактате «Арифметика бесконечных» (1656).
Серге́й Все́володович Ябло́нский — советский и российский математик, член-корреспондент РАН, один из основателей отечественной школы математической кибернетики. Автор ряда классических работ по проблемам синтеза, надёжности и контроля управляющих систем.
Комбина́торная ло́гика — направление математической логики, занимающееся фундаментальными понятиями и методами формальных логических систем или исчислений. В дискретной математике комбинаторная логика тесно связана с лямбда-исчислением, так как описывает вычислительные процессы.
Оптимизация — задача нахождения экстремума целевой функции в некоторой области конечномерного векторного пространства, ограниченной набором линейных и/или нелинейных равенств или неравенств.
Существует три официальных способа подразделения математики.
Анализ — объединение нескольких разделов математики, исторически выросшее из классического математического анализа и охватывающее, кроме дифференциального и интегрального исчислений, входящих в классическую часть, такие разделы, как теории функций вещественной и комплексной переменной, теории дифференциальных и интегральных уравнений, вариационное исчисление, гармонический анализ, функциональный анализ, теорию динамических систем и эргодическую теорию, глобальный анализ. Нестандартный анализ находится на стыке математической логики и анализа, применяет методы теории моделей для альтернативной формализации, прежде всего, классических разделов.
Александр Сергеевич Мищенко — советский и российский учёный-математик, профессор.
Ло́жкин Серге́й Андре́евич — российский математик, доктор физико-математических наук, профессор, заведующий кафедрой математической кибернетики факультета ВМК МГУ.
Гарий Петрович Гаврилов — доктор физико-математических наук, профессор кафедры математической кибернетики МГУ.
Сергей Серафимович Марченков — математик, доктор физико-математических наук, профессор кафедры математической кибернетики факультета вычислительной математики и кибернетики МГУ.
Алекса́ндр Его́рович Андре́ев — советский и российский математик, доктор физико-математических наук (1985). С 1993 года является профессором кафедры математической теории интеллектуальных систем механико-математического факультета.
