Система типов — совокупность правил в языках программирования, назначающих свойства, именуемые типами, различным конструкциям, составляющим программу — таким как переменные, выражения, функции или модули. Основная роль системы типов заключается в уменьшении числа багов в программах посредством определения интерфейсов между различными частями программы и последующей проверки согласованности взаимодействия этих частей. Эта проверка может происходить статически или динамически, а также быть комбинацией обоих видов.
Erlang [] — функциональный язык программирования с сильной динамической типизацией, предназначенный для создания распределённых вычислительных систем. Разработан и поддерживается компанией Ericsson. Язык включает в себя средства порождения параллельных легковесных процессов и их взаимодействия через обмен асинхронными сообщениями в соответствии с моделью акторов.
Обра́тная по́льская за́пись — форма записи математических и логических выражений, в которой операнды расположены перед знаками операций. Также именуется как обратная бесскобочная запись, постфиксная нотация, бесскобочная символика Лукасевича, польская инверсная запись, ПОЛИЗ.
Ско́бки — парные знаки, используемые в различных областях.
Перегрузка операторов в программировании — один из способов реализации полиморфизма, заключающийся в возможности одновременного существования в одной области видимости нескольких различных вариантов применения оператора, имеющих одно и то же имя, но различающихся типами параметров, к которым они применяются.
Присва́ивание — механизм в программировании, позволяющий динамически изменять связи объектов данных с их значениями. Строго говоря, изменение значений является побочным эффектом операции присвоения, и во многих современных языках программирования сама операция также возвращает некоторый результат. На физическом уровне результат операции присвоения состоит в проведении записи и перезаписи ячеек памяти или регистров процессора.
Математи́ческая фо́рмула в математике, а также физике и других естественных науках — символическая запись высказывания, либо формы высказывания. Формула, наряду с термами, является разновидностью выражения формализованного языка. В более широком смысле формула — всякая чисто символьная запись, противопоставляемая в математике различным выразительным способам, имеющим геометрическую коннотацию: чертежам, графикам, диаграммам, графам и т. п.
Алгоритмы быстрого возведения в степень — алгоритмы, предназначенные для возведения числа 
в натуральную степень 
за меньшее число умножений, чем это требуется в определении степени. Многие из этих алгоритмов основаны на том, что для возведения числа в степень не обязательно перемножать число на само себя раз, а можно перемножать уже вычисленные степени. В частности, если 
степень двойки, то для возведения в степень достаточно число возвести в квадрат 
раз, затратив при этом умножений вместо 
. Например, чтобы возвести число в восьмую степень, вместо выполнения семи умножений 
можно возвести число в квадрат, потом результат возвести ещё раз в квадрат и получить четвёртую степень, и наконец результат ещё раз возвести в квадрат и получить ответ.
Свёртка списка в программировании — функция высшего порядка, которая производит преобразование структуры данных к единственному атомарному значению при помощи заданной функции. Операция свёртки часто используется в функциональном программировании при обработке списков. Свёртка может быть обобщена на произвольный алгебраический тип данных при помощи понятия катаморфизма из теории категорий.
Гиперопера́тор — обобщение традиционных арифметических операций — сложения, умножения и возведения в степень, рассматриваемых как гипероператоры 1-го, 2-го и 3-го порядка соответственно, — на высшие порядки.
Ветвление в программировании — операция, применяющаяся в случаях, когда выполнение или невыполнение некоторого набора команд должно зависеть от выполнения или невыполнения некоторого условия. Ветвление — одна из трёх базовых конструкций структурного программирования.
Katahdin — язык программирования, в котором синтаксис и семантика могут изменяться во время исполнения. Katahdin использует РВ-грамматики и packrat-парсер. Новые конструкции, такие как выражения или операторы, или даже новый язык программирования могут быть созданы с нуля. Единственная реализация языка использует платформу .NET.
В математике стрелочная нота́ция Кну́та — это метод для записи больших чисел, предложенный Дональдом Кнутом в 1976 году.
Язык программирования C++ поддерживает все операторы своего прародителя Си и дополнен новыми операторами и возможностями.
- например, операторами приведения типа:
- const_cast
- static_cast
- dynamic_cast
- reinterpret_cast
- возможность перегрузки операторов;
Ассоциативность.
- Ассоциативность (математика) — сочетательность, свойство бинарной операции, при котором результат последовательного применения операции не зависит от расстановки скобок.
- Ассоциативность (программирование) — свойство операций в языках программирования, позволяющее восстановить последовательность их выполнения при отсутствии явных указаний на очерёдность при равном приоритете.
- Ассоциативность — буфер ассоциативной трансляции — специализированный кэш центрального процессора, используемый для ускорения трансляции адреса виртуальной памяти в адрес физической памяти..
Стратегия вычисления — правила семантики языка программирования, определяющие, когда следует вычислять аргументы функции, и какие значения следует передавать. Например, стратегия «вызов-при-упоминании/передача-по-ссылке» диктует, что аргументы должны быть вычислены перед выполнением тела вызываемой функции, и что ей должны быть предоставлены две возможности в отношении каждого аргумента: чтение текущего значения и его изменение посредством операции присваивания. На эту стратегию похожа стратегия редукции в лямбда-исчислении, но есть отличия.
В теории множеств и его приложениях к логике, математике и информатике форма записи множества — это математические обозначения для описания множества путём перечисления его элементов или указания свойств, которым элементы множества должны удовлетворять.
