Приведе́ние (преобразование) ти́па — в информатике преобразование значения одного типа в значение другого типа.
Бина́рная, или двуме́стная, опера́ция — математическая операция, принимающая два аргумента и возвращающая один результат.
Обра́тная по́льская за́пись — форма записи математических и логических выражений, в которой операнды расположены перед знаками операций. Также именуется как обратная бесскобочная запись, постфиксная нотация, бесскобочная символика Лукасевича, польская инверсная запись, ПОЛИЗ.
Конъю́нкция — логическая операция, по смыслу максимально приближенная к союзу «и». Синонимы: логи́ческое «И», логи́ческое умноже́ние, иногда просто «И».
Дизъю́нкция, логи́ческое сложе́ние, логи́ческое ИЛИ, включа́ющее ИЛИ; иногда просто ИЛИ — логическая операция, по своему применению максимально приближённая к союзу «или» в смысле «или то, или это, или оба сразу».
Реляционная алгебра — замкнутая система операций над отношениями в реляционной модели данных. Операции реляционной алгебры также называют реляционными операциями.
Трои́чная ло́гика — один из видов многозначной логики, предложенный Яном Лукасевичем в 1920 году. Трёхзначная логика — исторически первая многозначная логика. Она является простейшим расширением двузначной логики.
Арифме́тико-логи́ческое устро́йство — блок процессора, который под управлением устройства управления служит для выполнения арифметических и логических преобразований над данными, называемыми в этом случае операндами. Разрядность операндов обычно называют размером или длиной машинного слова.
Опера́нд в языках программирования ― аргумент операции; данные, которые обрабатываются командой; грамматическая конструкция, обозначающая выражение, задающее значение аргумента операции. Иногда операндом называют место, позицию в тексте, где должен стоять аргумент операции. Отсюда понятие местности операции, то есть числа аргументов операции.
А́рность предиката, операции или функции в математике — количество их аргументов или операндов. Слово образовалось из названий предикатов небольшой арности. Для этих целей употребляется также термин валентность. В общем случае предикат с 
аргументами называют -арным. Также употребляются термины местность и, соответственно, вместимость.
Присва́ивание — механизм в программировании, позволяющий динамически изменять связи объектов данных с их значениями. Строго говоря, изменение значений является побочным эффектом операции присвоения, и во многих современных языках программирования сама операция также возвращает некоторый результат. На физическом уровне результат операции присвоения состоит в проведении записи и перезаписи ячеек памяти или регистров процессора.
Опера́ция — конструкция в языках программирования, аналогичная по записи математическим операциям, то есть специальный способ записи некоторых действий.
Исключа́ющее «или» — булева функция, а также логическая и битовая операция, в случае двух переменных результат выполнения операции истинен тогда и только тогда, когда один из аргументов истинен, а другой — ложен. Для функции трёх и более переменных — результат выполнения операции будет истинным только тогда, когда количество аргументов, равных 1, составляющих текущий набор, — нечётное. Такая операция естественным образом возникает в кольце вычетов по модулю 2, откуда и происходит название операции.
Адресация — осуществление ссылки (обращение) к устройству или элементу данных по его адресу; установление соответствия между множеством однотипных объектов и множеством их адресов; метод идентификации местоположения объекта.
Кососимметри́чность — свойство математического объекта, являющегося функцией нескольких аргументов, менять знак при перестановке каких-либо двух аргументов.
Таблица истинности — таблица, описывающая логическую функцию.
expr — программа в UNIX‐подобных ОС, вычисляющая значение выражения и выводящая результат на стандартный вывод. Каждая лексема выражения должна быть отдельным аргументом. Операнды могут быть как числами, так и строками. Строковые операнды не надо заключать в кавычки, хотя это, может быть, и необходимо сделать для предотвращения интерпретации их шеллом. expr определяет тип операнда по применяемой к нему операции.
Условная дизъюнкция — тернарная логическая операция, введенная Алонзо Чёрчем. Результат условной дизъюнкции аналогичен результату более общей тернарной условной операции, которая в том или ином виде используется в большинстве языков программирования как один из способов реализации ветвления в алгоритмах. Для операндов p, q и r, которые определяют истинность суждения, значение условной дизъюнкции [p, q, r] определяется по формуле:
Язык программирования C++ поддерживает все операторы своего прародителя Си и дополнен новыми операторами и возможностями.
- например, операторами приведения типа:
- const_cast
- static_cast
- dynamic_cast
- reinterpret_cast
- возможность перегрузки операторов;
