А́лгебра — раздел математики, который можно нестрого охарактеризовать как обобщение и расширение арифметики; в этом разделе числа и другие математические объекты обозначаются буквами и другими символами, что позволяет записывать и исследовать их свойства в самом общем виде. Слово «алгебра» также употребляется в общей алгебре в названиях различных алгебраических систем. В более широком смысле под «алгеброй» понимают раздел математики, посвящённый изучению операций над элементами множеств произвольной природы, обобщающий обычные операции сложения и умножения чисел.
Вычислительная математика — раздел математики, включающий круг вопросов, связанных с производством разнообразных вычислений. В более узком понимании вычислительная математика — теория численных методов решения типовых математических задач. Современная вычислительная математика включает в круг своих проблем изучение особенностей вычисления с применением компьютеров.
В математике решение уравнения — это задача по нахождению всех значений аргументов, при которых выполняется равенство. Значения неизвестных переменных, при которых это равенство достигается, называются решениями или корнями данного уравнения. Решить уравнение означает найти множество всех его решений (корней) или доказать, что корней нет вовсе.
Волнова́я фу́нкция, или пси-фу́нкция 
— комплекснозначная функция, используемая в квантовой механике для математического описания чистого квантового состояния изолированной квантовомеханической системы. Наиболее распространённые символы для волновой функции — греческие буквы ψ и Ψ. Является коэффициентом разложения вектора состояния по базису. Например, при разложении по координатному базису:
Теория распознава́ния о́бразов — раздел информатики и смежных дисциплин, развивающий основы и методы классификации и идентификации предметов, явлений, процессов, сигналов, ситуаций и т. п. объектов, которые характеризуются конечным набором некоторых свойств и признаков. Такие задачи решаются довольно часто, например, при переходе или проезде улицы по сигналам светофора. Распознавание цвета загоревшейся лампы светофора и знание правил дорожного движения позволяет принять правильное решение о том, можно или нельзя переходить улицу.
Метод конечных элементов (МКЭ) — это численный метод решения дифференциальных уравнений с частными производными, а также интегральных уравнений, возникающих при решении задач прикладной физики. Метод широко используется для решения задач механики деформируемого твёрдого тела, теплообмена, гидродинамики, электродинамики и топологической оптимизации.
Maple — программный пакет, система компьютерной алгебры. Является продуктом компании Waterloo Maple Inc., которая с 1984 года выпускает программные продукты, ориентированные на сложные математические вычисления, визуализацию данных и моделирование. Система Maple предназначена для символьных вычислений, хотя имеет ряд средств и для численного решения дифференциальных уравнений и нахождения интегралов. Обладает развитыми графическими средствами. Имеет собственный интерпретируемый язык программирования, синтаксисом частично напоминающий Паскаль.
Уравнение с малым параметром — скалярное или векторное дифференциальное уравнение, в котором имеется коэффициент, малый по сравнению с другими. Этот параметр может стоять в правой части дифференциального уравнения, при этом говорят о регулярном возмущении уравнения. Кроме того, малый параметр может стоят при старшей производной, в этом случае говорят о сингулярном возмущении.
Экспе́ртная систе́ма — компьютерная система, способная частично заменить специалиста-эксперта в разрешении проблемной ситуации. Современные экспертные системы начали разрабатываться исследователями искусственного интеллекта в 1970-х годах, а в 1980-х годах получили коммерческое подкрепление. Предшественники экспертных систем были предложены в 1832 году С. Н. Корсаковым, создавшим механические устройства, так называемые «интеллектуальные машины», позволявшие находить решения по заданным условиям, например, определять наиболее подходящие лекарства по наблюдаемым у пациента симптомам заболевания.
Математи́ческая моде́ль — математическое представление реальности, один из вариантов модели как системы, исследование которой позволяет получать информацию о некоторой другой системе. Математическая модель, в частности, предназначена для прогнозирования поведения реального объекта, но всегда представляет собой ту или иную степень его идеализации.
Расчёт надёжности — процедура определения значений показателей надёжности объекта с использованием методов, основанных на их вычислении по справочным данным о надежности элементов объекта, по данным о надёжности объектов-аналогов, данным о свойствах материалов и другой информации, имеющейся к моменту расчета.
Представление знаний — вопрос, возникающий в когнитологии и информатике, а также в исследовании вопросов, связанных с искусственным интеллектом. В когнитологии он связан с тем, как люди хранят и обрабатывают информацию. В информатике — с подбором представления конкретных и обобщённых знаний, сведений и фактов для накопления и обработки информации в ЭВМ. Главная задача в искусственном интеллекте (ИИ) — научиться хранить знания таким образом, чтобы программы могли осмысленно обрабатывать их и достигнуть тем подобия человеческого интеллекта.
Уравнение (неравенство) с параметрами — математическое уравнение (неравенство), внешний вид и решение которого зависит от значений одного или нескольких параметров.
Mathcad — система компьютерной алгебры из класса систем автоматизированного проектирования, ориентированная на подготовку интерактивных документов с вычислениями и визуальным сопровождением, отличается лёгкостью использования и применения для коллективной работы.
Обратная задача — тип задач, часто возникающий во многих разделах науки, когда значения параметров модели должны быть получены из наблюдаемых данных.
Быстро-медленная система в математике — это динамическая система, в которой присутствуют процессы, происходящие в разных масштабах времени. Фазовые переменные такой системы делятся на два класса: «быстрые» и «медленные» переменные. Скорость изменения «быстрых» переменных почти во всех точках фазового пространства много больше скорости изменения «медленных» переменных. Траектории таких систем состоят из чередующихся участков медленного «дрейфа» и быстрых «срывов». Быстро-медленные системы описывают различные физические и иные явления, в которых постепенное эволюционное накопление малых изменений со временем приводит к скачкообразному переходу системы на новый динамический режим.
Система одновременных уравнений — совокупность эконометрических уравнений, определяющих взаимозависимость экономических переменных. Важным отличительным признаком системы «одновременных» уравнений от прочих систем уравнений является наличие одних и тех же переменных в правых и левых частях разных уравнений системы.
Оптимальное управление — задача проектирования системы, обеспечивающей для заданного объекта управления или процесса закон управления или управляющую последовательность воздействий, обеспечивающих максимум или минимум заданной совокупности критериев качества системы.
Когнитивная антропология — наука на стыке культурной антропологии и когнитивной науки, изучающая структуры и организации различных культурных систем и характеризующая сферы культуры, используя формальные методы логики и лингвистики. Зарождение когнитивной антропологии принято связывать с исследованиями «образа мира».
