Понятия отношения и функции тесно связаны с теорией множеств и являются центральными конструкциями дискретной математики. Отношение формализует интуитивное представление о связях между объектами различной природы, будь то родственные связи между людьми, отношения подчинения в организации, граф дорог между городами или связи между записями в реляционной базе данных (SQL).

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

Теория автоматов — это раздел дискретной математики и теоретической информатики, изучающий абстрактные вычислительные машины и задачи, которые они способны решать. Базовой моделью здесь является конечный автомат (Finite State Machine, FSM) — математическая абстракция, представляющая систему, которая может находиться в одном из конечного числа состояний и переходить между ними под воздействием внешних входных сигналов.