Дискретная математика — это область математики, изучающая объекты, которые могут принимать только уникальные отдельные значения. 2 В отличие от традиционной математики, методы и конструкции которой имеют в основном числовую интерпретацию, дискретная математика имеет дело с объектами нечисловой природы: множествами, логическими высказываниями, алгоритмами, графами. 3

Логика — это наука о корректных рассуждениях. 2 Неформальная логика изучает использование аргументов в естественном языке, а формальная — анализирует выводы с чисто формальным содержанием. 2

В рамках дискретной математики и логики можно выделить следующие базовые разделы: 1

• алгебра высказываний и логика предикатов; 1
• комбинаторный анализ; 1
• булевы функции; 1
• теория графов; 1
• теория автоматов; 1
• теория кодирования. 1