Дискретная математика — область, занимающаяся изучением свойств дискретных структур, которые возникают как внутри математики, так и в ее приложениях.
Элементы комбинаторики. Булевы функции. Графы. Формальные грамматики. Автоматы Рабина-Скотта.