Логика первого порядка — формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний.
Граф — математическая абстракция реальной системы любой природы, объекты которой обладают парными связями. Граф как математический объект есть совокупность двух множеств — множества самих объектов, называемого множеством вершин, и множества их парных связей, называемого множеством рёбер. Элемент множества рёбер есть пара элементов множества вершин.
Уравне́ние Шрёдингера — линейное дифференциальное уравнение в частных производных, описывающее изменение в пространстве и во времени чистого состояния, задаваемого волновой функцией, в гамильтоновых квантовых системах.
Вариацио́нное исчисле́ние — раздел анализа, в котором изучаются вариации функционалов. Наиболее типичная задача — найти функцию, на которой заданный функционал достигает экстремального значения.
Лагранжева механика — формулировка классической механики, введённая Луи Лагранжем в 1788 году. В лагранжевой механике траектория объекта получается при помощи отыскания пути, который минимизирует действие — интеграл от функции Лагранжа по времени. Функция Лагранжа для классической механики вводится в виде разности между кинетической энергией и потенциальной энергией.
В математике и теоретической физике функциональная производная является обобщением производной по направлению. Разница заключается в том, что для последней дифференцирование производится в направлении какого-нибудь вектора, а для первой речь идёт о функции. Оба эти понятия можно рассматривать как обобщение обычного дифференциального исчисления.
В математическом анализе вариацией функции называется числовая характеристика функции одного действительного переменного, связанная с её дифференциальными свойствами. Для функции из отрезка на вещественной прямой в 
является обобщением понятия длины кривой, задаваемой в этой функцией.
Элемента́рные фу́нкции — функции, которые можно получить с помощью конечного числа арифметических действий и композиций из следующих основных элементарных функций:
- степенная функция с любым действительным показателем;
- показательная и логарифмическая функции;
- тригонометрические и обратные тригонометрические функции.
Уравне́ние Пуассо́на — эллиптическое дифференциальное уравнение в частных производных, которое описывает
- электростатическое поле,
- гравитационное поле,
- стационарное поле температуры,
- поле давления,
- поле потенциала скорости в гидродинамике.
Как и в обычных полупроводниках, в графене электронно-дырочный газ можно рассматривать как плазму, и, соответственно, ставить вопрос о том, какие волны могут наблюдаться в твёрдом теле. Благодаря отличию закона дисперсии от параболического ожидается, что и свойства волн будут другими. Плазменные волны в ДЭГ в графене теоретически рассматривались в работе.
Метод золотого сечения — метод поиска экстремума действительной функции одной переменной на заданном отрезке. В основе метода лежит принцип деления отрезка в пропорциях золотого сечения. Является одним из простейших вычислительных методов решения задач оптимизации. Впервые представлен Джеком Кифером в 1953 году.
Изопериметри́ческое нера́венство — геометрическое неравенство, связывающее периметр замкнутой кривой на плоскости и площадь участка плоскости, ограниченной этой кривой. Этот термин также используется для различных обобщений данного неравенства.
Марковская сеть, Марковское случайное поле, или неориентированная графическая модель — это графическая модель, в которой множество случайных величин обладает Марковским свойством, описанным неориентированным графом. Марковская сеть отличается от другой графической модели, Байесовской сети, представлением зависимостей между случайными величинами. Она может выразить некоторые зависимости, которые не может выразить Байесовская сеть ; с другой стороны, она не может выразить некоторые другие. Прототипом Марковской сети была Модель Изинга намагничивания материала в статистической физике: Марковская сеть была представлена как обобщение этой модели.
В математике дискретный оператор Лапласа — аналог непрерывного оператора Лапласа, определяемого как отношения на графе или дискретной сетке. В случае конечномерного графа дискретный оператор Лапласа имеет более общее название: матрица Лапласа.
Задача Штейнера о минимальном дереве состоит в поиске кратчайшей сети, соединяющей заданный конечный набор точек плоскости. Задача получила своё название в честь Якоба Штейнера (1796—1863).
Технология графосимволического программирования — это технология проектирования и кодирования алгоритмов программного обеспечения, базирующаяся на графическом способе представления программ, преследующую цель полной или частичной автоматизации процессов проектирования, кодирования и тестирования ПО.
Argon2 — функция формирования ключа, разработанная Алексом Бирюковым, Даниэлем Дину и Дмитрием Ховратовичем из Университета Люксембурга в 2015 году.
Лемма регулярности Семереди — лемма из общей теории графов, утверждающая, что вершины любого достаточно большого графа можно разбить на конечное число групп таких, что почти во всех двудольных графах, соединяющих вершины из двух разных групп, рёбра распределены между вершинами почти равномерно. При этом минимальное требуемое количество групп, на которые нужно разбить множество вершин графа, может быть сколь угодно большим, но количество групп в разбиении всегда ограничено сверху.
Криптосистема Накаша — Штерна — криптографический алгоритм с открытым ключом, основывающийся на вычислительной сложности задачи дискретного логарифмирования. В отличие от RSA, гомоморфен по сложению и вычитанию, а не по умножению.
