Вывод типов — в программировании возможность компилятора самому логически вывести тип значения у выражения. Впервые механизм вывода типов был представлен в языке ML, где компилятор всегда выводит наиболее общий полиморфный тип для всякого выражения. Это не только сокращает размер исходного кода и повышает его лаконичность, но и нередко повышает повторное использование кода.
Ля́мбда-исчисле́ние (λ-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем для формализации и анализа понятия вычислимости.
Когере́нтность — в физике скоррелированность (согласованность) нескольких колебательных или волновых процессов во времени, проявляющаяся при их сложении. Колебания когерентны, если разность их фаз постоянна во времени, и при сложении колебаний получается колебание той же частоты.
Преобразова́ние Лапла́са (ℒ) — интегральное преобразование, связывающее функцию 
комплексного переменного (изображение) с функцией 
вещественного переменного (оригинал). С его помощью исследуются свойства динамических систем и решаются дифференциальные и интегральные уравнения.
Марковский момент времени — это случайная величина, не зависящая от будущего рассматриваемого случайного процесса.
Число Био́ — один из критериев подобия стационарного теплообмена между нагретым или охлаждённым твёрдым телом и окружающей средой. Назван по имени Ж.-Б. Био.
Альтернативными теориями гравитации принято называть теории гравитации, существующие как альтернативы общей теории относительности (ОТО) или существенно изменяющие её. К альтернативным теориям гравитации часто относят вообще любые теории, не совпадающие с общей теорией относительности хотя бы в деталях или как-то обобщающие её. Тем не менее, нередко теории гравитации, особенно квантовые, совпадающие с общей теорией относительности в низкоэнергетическом пределе, «альтернативными» не называют.
В механике сплошной среды механическое напряжение — это физическая величина, которая выражает внутренние силы, которые соседние частицы в непрерывной среде оказывают друг на друга, а деформация — это мера изменения геометрических размеров среды. Например, когда сплошная вертикальная штанга поддерживает груз, каждая частица в штанге давит на частицы, находящиеся непосредственно под ней. Когда жидкость находится в закрытом контейнере под давлением, каждая частица сталкивается со всеми окружающими частицами. Стенки контейнера и поверхность, создающая давление, прижимаются к ним в соответствии с силой реакции. Эти макроскопические силы на самом деле являются чистым результатом очень большого количества межмолекулярных сил и столкновений между частицами в этих средах. Механическое напряжение или в дальнейшем напряжение часто обозначается строчной греческой буквой сигма σ.
Коды Боуза — Чоудхури — Хоквингема, сокращённо БЧХ-коды — в теории кодирования это широкий класс циклических кодов, применяемых для защиты информации от ошибок. Отличается возможностью построения кода с заранее определёнными корректирующими свойствами, а именно, минимальным кодовым расстоянием. Частным случаем БЧХ-кодов является код Рида — Соломона.
Типизированное лямбда-исчисление — это версия лямбда-исчисления, в которой лямбда-термам приписываются специальные синтаксические метки, называемые типами. Допустимы различные наборы правил конструирования и приписывания таких меток, они порождают различные системы типизации.
Дисперсия групповых скоростей — аналог дисперсии фазовой скорости для квазимонохроматических импульсов, играет ключевую роль при распространении широкополосных импульсов в диспергирующей среде, такой как, например, стекло или вода.
Просто типизированное лямбда-исчисление — система типизированного лямбда-исчисления, в которой лямбда-абстракции приписывается специальный «стрелочный» тип. Эта система была предложена Алонзо Чёрчем в 1940 году. Для близкого к лямбда-исчислению формализма комбинаторной логики похожая система рассматривалась Хаскеллом Карри в 1934 году.
Система F — система типизированного лямбда-исчисления, отличающаяся от просто типизированной системы наличием механизма универсальной квантификации над типами. Эту систему разработал в 1972 году Жан-Ив Жирар в контексте теории доказательств в логике. Независимо от него подобную систему предложил в 1974 году Джон Рейнольдс. Система F позволяет формализовать концепцию параметрического полиморфизма в языках программирования и служит теоретической основой для таких языков программирования как Haskell и ML.
Разрывный метод Галёркина — метод решения операторных уравнений, в основном дифференциальных уравнений. Является развитием классического метода конечных элементов (МКЭ), основанного на вариационной постановке Галёркина.
Инфракрасная расходимость — ситуация якобы испускания бесконечно большого числа фотонов с бесконечно малыми энергиями при столкновении двух заряженных частиц или при резком изменении скорости заряженной частицы. Является следствием расходимости интеграла из-за вкладов объектов с очень малой энергией, или что то же самое, из-за физического явления на очень больших масштабах.
Су́ффиксный автома́т — структура данных, позволяющая хранить в сжатом виде и обрабатывать информацию, связанную с подстроками данной строки. Представляет собой детерминированный конечный автомат, принимающий все суффиксы слова 
и только их, и обладающий наименьшим возможным числом состояний среди всех таких автоматов. Менее формально, суффиксный автомат — это ориентированный ациклический граф с выделенной начальной вершиной и набором «финальных» вершин, дуги которого помечены символами, такой что у любой вершины символы на исходящих из неё дугах попарно различны и для любого суффикса слова 
существует путь из начальной вершины в некоторую финальную вершину, символы на котором при конкатенации образуют данный суффикс. Из всех графов, удовлетворяющих данному описанию, суффиксным автоматом называется тот, который обладает наименьшим возможным числом вершин.
Модель Агьона — Ховитта — трёхсекторная модель эндогенного экономического роста в условиях монополистической конкуренции, показывающая возможность существования устойчивого экономического роста, обусловленного поведенческими факторами. В модели технологический прогресс является следствием целенаправленной деятельности экономических агентов по инвестированию в новые технологии с целью извлечения прибыли. Модель внесла существенный вклад в понимание того, каким образом решения индивидов влияют на темпы экономического роста, а также причин, по которым бедные страны не могут догнать богатые. В ней было показано, что экономический рост может сопровождаться конфликтом интересов различных экономических агентов, и что защита интересов уже существующих на рынке производителей может тормозить технологический прогресс и экономический рост. Разработана в 1990 году Филиппом Агьоном и Питером Ховиттом.
Упру́гое рассе́яние — процесс взаимодействия (рассеяния) частиц, при котором их внутренние состояния остаются неизменными, а меняются лишь импульсы. Все другие варианты рассеяния частиц являются неупругими. Кинетическая энергия и импульс частицы не считаются её внутренним состоянием.
![{\displaystyle F[x]:\tau :s_{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51ef621eadddf4f87117fcaa61ea804e0277a2e8)
![{\displaystyle (\lambda x:\sigma .\,F[x]):(\sigma \to \tau ):s_{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2aa4aac87bbe09917d887801b825dfacae90a97a)
