
Специа́льная тео́рия относи́тельности — теория, описывающая движение, законы механики и пространственно-временные отношения при произвольных скоростях движения, меньших скорости света в вакууме, в том числе близких к скорости света. Фактически СТО описывает геометрию четырёхмерного пространства-времени и основана на плоском пространстве Минковского. Обобщение СТО для сильных гравитационных полей называется общей теорией относительности.
Вариацио́нное исчисле́ние — раздел анализа, в котором изучаются вариации функционалов. Наиболее типичная задача — найти функцию, на которой заданный функционал достигает экстремального значения.
Принцип неопределённости Гейзенбе́рга в квантовой механике — фундаментальное соображение, устанавливающее предел точности одновременного определения пары характеризующих систему квантовых наблюдаемых, описываемых некоммутирующими операторами.
Носи́тель фу́нкции — замыкание множества, на котором функция отлична от нуля.
Дифференциа́льный опера́тор — оператор, определённый некоторым дифференциальным выражением и действующий в пространствах функций на дифференцируемых многообразиях или в пространствах, сопряжённых к пространствам этого типа.
Расстояние Ку́льбака — Ле́йблера, РКЛ, информационное расхождение, различающая информация, информационный выигрыш, относительная энтропия — неотрицательнозначный функционал, являющийся несимметричной мерой удалённости друг от друга двух вероятностных распределений, определённых на общем пространстве элементарных событий. Часто применяется в теории информации и математической статистике.

Алгебраическая кривая, или плоская алгебраическая кривая, — это геометрическое место (множество) точек на плоскости (O;x,y), которое определяется как множество нулей многочлена от двух переменных. Степенью (или порядком) n этой кривой называется степень этого многочлена. Алгебраические кривые степеней n = 1, 2, 3, …, 8 кратко называются прямыми, кониками, кубиками, квартиками, пентиками, секстиками, септиками, октиками соответственно. Например, единичная окружность — это алгебраическая кривая степени 2 (коника), так как она задаётся уравнением x2 + y2 − 1 = 0.
Канал связи — система технических средств и среда распространения сигналов для односторонней передачи данных (информации) от отправителя (источника) к получателю (приёмнику). В случае использования проводной линии связи, средой распространения сигнала может являться оптическое волокно или витая пара. Канал связи является составной частью канала передачи данных.

Волновой пакет — определённая совокупность волн, обладающих разными частотами, которые описывают обладающую волновыми свойствами формацию, в общем случае ограниченную во времени и пространстве. Так, в квантовой механике описание частицы в виде волновых пакетов способствовало принятию статистической интерпретации квадрата модуля волновой функции.

Статистическая механика или статистическая термодинамика — механика больших ансамблей относительно простых систем, таких как атомы в кристалле, молекулы в газе, фотоны в лазерном пучке, звёзды в галактике, автомобили на шоссе. Статистическая механика использует статистические методы для определения свойств и поведения макроскопических физических систем, находящихся в термодинамическом равновесии, на основе их микроскопической структуры и законов движения, которые считаются заданными. Статистические методы были введены в этом контексте Максвеллом в серии из трех статей (1860—1879) и Больцманом в серии из четырёх статей (1870—1884), которые заложили основы кинетической теории газов. Классическая статистическая механика была основана Гиббсом (1902); а позднее описание микроскопических состояний на основе классической механики было исправлено и дополнено в соответствии с квантовой механикой. Термодинамика, кинетическая теория и статистическая механика — это дисциплины, связанные объектом исследования, но отличающиеся используемыми методами; часто они представлены вместе под общим названием статистической физики. Последовательное построение неравновесной статистической механики было выполнено Н. Н. Боголюбовым в 1946 году. При описании систем в рамках статистической механики используется понятие среднего по ансамблю. Основными уравнениями статистической механики являются уравнения Лиувилля и цепочка уравнений Боголюбова.
Арифметическое множество — множество натуральных чисел
, которое может быть определено формулой в языке арифметики первого порядка, то есть если существует такая формула
с одной свободной переменной
, что
. Аналогично, множество кортежей натуральных чисел
называется арифметическим, если существует такая формула
, что
. Также можно говорить об арифметических множествах кортежей натуральных чисел, конечных последовательностей натуральных чисел, формул и, вообще, об арифметических множествах любых объектов, кодируемых натуральными числами.

Виртуальная чёрная дыра — гипотетический объект квантовой гравитации: чёрная дыра, возникшая в результате квантовой флуктуации пространства-времени. Является одним из примеров так называемой квантовой пены и гравитационным аналогом виртуальных электрон-позитронных пар в квантовой электродинамике.
Байесовская игра или игра с неполной информацией в теории игр характеризуются неполнотой информации о соперниках, при этом у игроков есть веры относительно этой неопределённости. Байесовскую игру можно преобразовать в игру полной, но несовершенной информации, если принять допущение об общем априорном распределении. В отличие от неполной информации, несовершенная информация включает знание стратегий и выигрышей соперников, но история игры доступна не всем участникам.
Универса́льное хеши́рование — это вид хеширования, при котором используется не одна конкретная хеш-функция, а происходит выбор из заданного семейства по случайному алгоритму. Такой подход обеспечивает равномерное хеширование: для очередного ключа вероятности помещения его в любую ячейку совпадают. Известно несколько семейств универсальных хеш-функций, которые имеют многочисленные применения в информатике, в частности в хеш-таблицах, вероятностных алгоритмах и криптографии.
Эпистемическая теория игр, иначе называемая интерактивной эпистемологией, формализует допущения о верах и знаниях игроков относительно рациональности, поведения оппонентов, их собственных знаний и вер. Эти допущения лежат в основе различных концепций решения — правил, в соответствии с которыми прогнозируется поведение игроков и, следовательно, исход игры. Допущения часто описаны на интуитивном уровне, и эпистемический анализ необходим для строгого обоснование использования или неиспользования конкретной концепции. Эпистемический анализ позволяет уточнить интуитивное описание допущений, выявив их несовершенства и неочевидные следствия, обобщить интуиции и очертить границы применимости концепций. Вместе с тем эпистемическая теория игр не является единственным и исчерпывающим подходом к обоснованию концепций решения, поскольку иногда эпистемические условия чрезмерно сильны.
Рационализируемость — концепция решения в теории игр. Концепция задумана как набор минимальных ограничений, при которых игроки остаются рациональными и имеет место общее знание о рациональности каждого из участников. Иными словами, имеют место рациональность и общая вера в рациональность. В частности, концепция менее требовательна, чем равновесие Нэша, и совокупность равновесий в игре является подмножеством множества рационализируемых решений. Обе концепции требуют от игроков рационального ответа в рамках определённой веры относительно поведения соперников, однако концепция Нэша требует, чтобы веры были обоснованы, концепция рационализируемости — нет. Концепция возникла в 1984 году в работах Дугласа Бернхейма и Дэвида Пирса,
Вероятно приближённо корректное обучение — схема машинного обучения, использующая понятия асимптотической достоверности и вычислительной сложности. Предложена в 1984 году Лесли Вэлиантом.
Парное сравнение представляет собой процесс сравнения объектов в парах, чтобы определить, какой из них является предпочтительным, или имеет большее количество некоторых количественных свойств, или идентичны ли два объекта. Метод парного сравнения используется в научном исследовании предпочтений, отношений, систем голосования, социального выбора, общественного выбора, инженерии требований и многоагентных систем ИИ. В литературе по психологии это часто называют парным сравнением.

Квантовая схема — модель квантовых вычислений, аналогичная классическим схемам, в которых вычисление представляет собой последовательность квантовых вентилей, измерителей, инициализации кубитов известными значениями и, возможно, других действий. Минимальный набор действий, которые схема должна выполнять над кубитами, чтобы включить квантовые вычисления, известен как критерий Ди Винченцо.