Теория множеств, созданная Георгом Кантором в конце XIX века, является языком и фундаментом всей современной математики. Множество — это одно из первоначальных, неопределяемых понятий математики. Интуитивно под множеством понимают совокупность, собрание, набор некоторых объектов, объединенных по какому-либо признаку. Объекты, составляющие множество, называются его элементами.

Булева алгебра — раздел математической логики, в котором изучаются логические операции над высказываниями. Названа в честь английского математика Джорджа Буля. Особенность этой алгебры в том, что переменные могут принимать только два значения: "истина" (1) и "ложь" (0). Этот бинарный подход стал идеальной математической моделью для конструирования цифровых вычислительных машин и микропроцессоров.

Комбинаторика — это раздел дискретной математики, посвященный решению задач выбора и расположения элементов некоторого, обычно конечного, множества в соответствии с заданными правилами. Каждое такое правило определяет способ построения некоторой конструкции из элементов исходного множества, называемой комбинаторной конфигурацией. Умение подсчитывать количество возможных конфигураций критически важно для оценки сложности алгоритмов, в криптографии и теории вероятностей.