Теоре́ма Нётер или первая теорема Нётер утверждает, что каждой дифференцируемой симметрии действия для физической системы с консервативными силами соответствует закон сохранения. Теорема была доказана математиком Эмми Нётер в 1915 году и опубликована в 1918 году. Действие для физической системы представляет собой интеграл по времени функции Лагранжа, из которого можно определить поведение системы согласно принципу наименьшего действия. Эта теорема применима только к непрерывным и гладким симметриям над физическим пространством.
Де́льта-фу́нкция — обобщённая функция, которая позволяет записать точечное воздействие, а также пространственную плотность физических величин, сосредоточенных или приложенных в одной точке.
В математике и теоретической физике функциональная производная является обобщением производной по направлению. Разница заключается в том, что для последней дифференцирование производится в направлении какого-нибудь вектора, а для первой речь идёт о функции. Оба эти понятия можно рассматривать как обобщение обычного дифференциального исчисления.
Теоре́ма Лу́зина — утверждение о необходимых и достаточных условиях измеримости функции одной вещественной или комплексной переменной. Согласно этой теореме, каждая измеримая на отрезке 
функция есть не что иное, как непрерывная функция, искажённая на некотором множестве сколь угодно малой меры. Это утверждение также часто называют 
-свойством.
Контекстно-свободная грамматика — частный случай формальной грамматики, у которой левые части всех продукций являются одиночными нетерминалами. Смысл термина «контекстно-свободная» заключается в том, что есть возможность применить продукцию к нетерминалу, причём независимо от контекста этого нетерминала.
Уравне́ние Пуассо́на — эллиптическое дифференциальное уравнение в частных производных, которое описывает
- электростатическое поле,
- гравитационное поле,
- стационарное поле температуры,
- поле давления,
- поле потенциала скорости в гидродинамике.
Угловое ускорение — псевдовекторная физическая величина, равная первой производной от псевдовектора угловой скорости по времени
Перечисли́мое мно́жество — множество конструктивных объектов, все элементы которого могут быть получены с помощью некоторого алгоритма. Дополнение перечислимого множества называется корекурсивно перечислимым. Всякое перечислимое множество является арифметическим. Корекурсивно перечислимое множество может не быть перечислимым, но всегда является арифметическим. Перечислимые множества соответствуют уровню 
арифметической иерархии, а корекурсивно перечислимые — уровню 
Волновое уравнение в физике — линейное гиперболическое дифференциальное уравнение в частных производных, задающее малые поперечные колебания тонкой мембраны или струны, а также другие колебательные процессы в сплошных средах и электромагнетизме (электродинамике). Находит применение и в других областях теоретической физики, например при описании гравитационных волн. Является одним из основных уравнений математической физики.
Эллипти́ческий интегра́л — некоторая функция 
над полем действительных или комплексных чисел, которая может быть формально представлена в следующем виде:
,
Алгоритмическая разрешимость — свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если такой алгоритм существует, и неразрешимой, в противном случае. Вопрос о выводимости в формальной теории является частным, но вместе с тем важнейшим случаем более общей проблемы разрешимости.
Те́нзор деформа́ции — тензор, который характеризует сжатие (растяжение) и изменение формы в каждой точке тела при деформации.
Фибоначчиева система счисления — смешанная система счисления для целых чисел на основе чисел Фибоначчи F2=1, F3=2, F4=3, F5=5, F6=8 и т. д.
Потенциал Штокмайера — простая модель парного взаимодействия молекул, обладающих постоянным дипольным моментом. Представляет собой потенциал Леннард-Джонса с дополнительным членом дипольного взаимодействия. Данная модель была предложена Штокмайером в 1941 году.
В математике, логике и информатике рекурсивно перечислимым языком называется тип формального языка, также известный как частично разрешимый, или распознаваемый по Тьюрингу. В иерархии Хомского он известен как язык типа 0. Класс всех рекурсивно перечислимых языков называется RE.
Эллиптические интегралы не выражаются через элементарные функции. По определению, элементарные функции — функции, определяемые формулами, содержащими конечное число алгебраических или тригонометрических операций, производимых над аргументом, функцией и некоторыми постоянными.
Арифметическое множество — множество натуральных чисел 
, которое может быть определено формулой в языке арифметики первого порядка, то есть если существует такая формула 
с одной свободной переменной 
, что 
. Аналогично, множество кортежей натуральных чисел 
называется арифметическим, если существует такая формула 
, что 
. Также можно говорить об арифметических множествах кортежей натуральных чисел, конечных последовательностей натуральных чисел, формул и, вообще, об арифметических множествах любых объектов, кодируемых натуральными числами.
Рациональные тригонометрические суммы — комплексные суммы особого вида, которые могут использоваться при доказательстве теорем аналитической теории чисел
Магнитные поверхностные уровни — квантовые уровни энергии электронов, совершающих движение по «скачущим» траекториям вдоль поверхности металла, параллельно которой приложено внешнее магнитное поле. Такие траектории, состоящие из идентичных повторяющихся участков, возникают при зеркальном отражении электронов поверхностью проводника. Энергия периодического движения электронов в направлении нормали к поверхности квантуется, образуя систему квантовых уровней, существенно отличающихся от уровней Ландау электронов, находящихся в объеме металла.
