А́лгебра — раздел математики, который можно нестрого охарактеризовать как обобщение и расширение арифметики; в этом разделе числа и другие математические объекты обозначаются буквами и другими символами, что позволяет записывать и исследовать их свойства в самом общем виде. Слово «алгебра» также употребляется в общей алгебре в названиях различных алгебраических систем. В более широком смысле под «алгеброй» понимают раздел математики, посвящённый изучению операций над элементами множеств произвольной природы, обобщающий обычные операции сложения и умножения чисел.
Сложе́ние (прибавле́ние) — одна из основных бинарных математических операций двух аргументов (слагаемых), результатом которой является новое число (сумма), получаемое увеличением значения первого аргумента на значение второго аргумента. То есть каждой паре элементов 
из множества 
ставится в соответствие элемент 
, называемый суммой 
и 
. Это одна из четырёх элементарных математических операций арифметики. Приоритет её в обычном порядке операций равен приоритету вычитания, но ниже, чем у возведения в степень, извлечения корня, умножения и деления. На письме сложение обычно обозначается с помощью знака «плюс»: 
.
Сложение возможно, только если оба аргумента принадлежат одному множеству элементов. Так, на картинке справа запись 
обозначает три яблока и два яблока вместе, что в сумме даёт пять яблок. Но нельзя сложить, например, 3 яблока и 2 груши.
Отношение эквивалентности — бинарное отношение между элементами данного множества, свойства которого сходны со свойствами отношения равенства.
MD4 — криптографическая хеш-функция, разработанная профессором Массачусетского университета Рональдом Ривестом в 1990 году, и впервые описанная в RFC 1186. Для произвольного входного сообщения функция генерирует 128-разрядное хеш-значение, называемое дайджестом сообщения. Этот алгоритм используется в протоколе аутентификации MS-CHAP, разработанном корпорацией Майкрософт для выполнения процедур проверки подлинности удаленных рабочих станций Windows. Является предшественником MD5.
В математике, если заданы две группы (G, ∗) и (H, •), гомоморфизм групп из (G, ∗) в (H, •) — это функция h : G → H, такая, что для всех u и v из G выполняется
Гру́ппа — множество, на котором определена ассоциативная бинарная операция, причём для этой операции имеется нейтральный элемент, и каждый элемент множества имеет обратный. Раздел общей алгебры, занимающийся группами, называется теорией групп.
Математи́ческая фо́рмула в математике, а также физике и других естественных науках — символическая запись высказывания, либо формы высказывания. Формула, наряду с термами, является разновидностью выражения формализованного языка. В более широком смысле формула — всякая чисто символьная запись, противопоставляемая в математике различным выразительным способам, имеющим геометрическую коннотацию: чертежам, графикам, диаграммам, графам и т. п.
Исключа́ющее «или» — булева функция, а также логическая и битовая операция, в случае двух переменных результат выполнения операции истинен тогда и только тогда, когда один из аргументов истинен, а другой — ложен. Для функции трёх и более переменных — результат выполнения операции будет истинным только тогда, когда количество аргументов, равных 1, составляющих текущий набор, — нечётное. Такая операция естественным образом возникает в кольце вычетов по модулю 2, откуда и происходит название операции.
NUSH («Наш») — блочный алгоритм симметричного шифрования, разработанный Анатолием Лебедевым и Алексеем Волчковым для российской компании LAN Crypto.
Пучок — структура, используемая для установления отношений между локальными и глобальными свойствами или характеристиками некоторого математического объекта. Пучки играют значительную роль в топологии, дифференциальной геометрии и алгебраической геометрии, но также применяются в теории чисел, анализе и теории категорий.
Термин рекурсивная функция в теории вычислимости используется для обозначения трёх классов функций:
- примитивно рекурсивные функции;
- общерекурсивные функции;
- частично рекурсивные функции.
Формальный степенно́й ряд — формальное алгебраическое выражение вида:
Опера́ция — отображение, ставящее в соответствие одному или нескольким элементам множества (аргументам) другой элемент (значение). Термин «операция» как правило применяется к арифметическим или логическим действиям, в отличие от термина «оператор», который чаще применяется к некоторым отображениям множества на себя, имеющим интересные для исследований свойства.
Ба́наховой алгеброй над комплексным или действительным полем называется ассоциативная алгебра, являющаяся при этом банаховым пространством. При этом умножение в ней должно быть согласовано с нормой:
.
E2 — в криптографии семейство симметричных блочных криптоалгоритмов на основе ячейки Фейстеля. E2 использует блок размером 128 бит и ключи длиной 128, 192, 256 бит. Создан в компании NTT в 1998 году и был представлен на AES конкурсе. Наследником данного шифра является шифр Camellia, который также является результатом творчества компании NTT.
Свёртка Дирихле — бинарная операция, определённая для арифметических функций, используемая в теории чисел, введена и исследована немецким математиком Дирихле.
Вещественнозначная функция — функция, значениями которой являются вещественные числа. Другими словами, это функция, которая назначает вещественное число каждому элементу области определения функции.
