Систе́ма счисле́ния — символический метод записи чисел, представление чисел с помощью письменных знаков.
Производя́щая фу́нкция после́довательности — алгебраическое понятие, которое позволяет работать с разными комбинаторными объектами аналитическими методами. Они дают гибкий способ описывать соотношения в комбинаторике, а иногда помогают вывести явные формулы для числа комбинаторных объектов определённого типа.
Ма́трица — математический объект, записываемый в виде прямоугольной таблицы элементов кольца или поля, который представляет собой совокупность строк и столбцов, на пересечении которых находятся его элементы. Количество строк и столбцов задаёт размер матрицы. Матрицу можно также представить в виде функции двух дискретных аргументов. Хотя исторически рассматривались, например, треугольные матрицы, в настоящее время говорят исключительно о матрицах прямоугольной формы, так как они являются наиболее удобными и общими.
Векторное произведение двух векторов в трёхмерном евклидовом пространстве — вектор, перпендикулярный обоим исходным векторам, длина которого численно равна площади параллелограмма, образованного исходными векторами, а выбор из двух направлений определяется так, чтобы тройка из по порядку стоящих в произведении векторов и получившегося вектора была правой. Векторное произведение коллинеарных векторов считается равным нулевому вектору.
Трои́чная систе́ма счисле́ния — позиционная система счисления с целочисленным основанием, равным 3.
В комбинаторике числом Стирлинга второго рода из n по k, обозначаемым или , называется количество неупорядоченных разбиений n-элементного множества на k непустых подмножеств.
Умноже́ние ма́триц — одна из основных операций над матрицами. Матрица, получаемая в результате операции умножения, называется произведе́нием ма́триц. Элементы новой матрицы получаются из элементов старых матриц в соответствии с правилами, проиллюстрированными ниже.
Теорема Евклида — основной элемент теории чисел. Она утверждает, что для любого конечного списка простых чисел найдётся простое число, не вошедшее в этот список.
Убывающий факториал записывается с использованием символа Похгаммера и определяется как
Числа Лаха, открытые математиком из Словении Иво Лахом в 1955 — это коэффициенты, выражающие возрастающие факториалы через убывающие факториалы.
Тождество Вандермонда — это следующее тождество для биномиальных коэффициентов:
Двенадцатеричный путь или двенадцать сценариев — это систематическая классификация 12 связанных перечислительных задач, касающихся двух конечных множеств, которые включают классические задачи подсчёта перестановок, сочетаний, мультимножеств и разбиений либо множества, либо числа. Идею классификации приписывают Джиану-Карло Роту, а название двенадцатеричный путь предложил Джоэл Спенсер по аналогии с термином восьмеричный путь из физики, который в свою очередь произошел от понятия восьмеричный путь в буддизме. Название намекает, что используя те же подходы в 12 случаях, но с небольшими изменениями в условиях, мы получаем 12 разных результатов.
Q-аналог теоремы, тождества или выражения — это обобщение, вовлекающее новый параметр q, возвращающий исходную теорему, тождество или выражение в пределе при q → 1. Обычно математики интересуются q-аналогами, появляющимися естественным образом, а не выдумывают произвольные q-аналоги для известных результатов. Наиболее ранним q-аналогом являются базисные гипергеометрические ряды, которые изучались в XIX веке.
Пространство столбцов матрицы — это линейная оболочка её вектор-столбцов. Пространство столбцов матрицы также является образом или областью значений соответствующего ей отображения.