Předmět Metody diskrétní matematiky seznamuje studenty se třemi základními oblastmi aplikované algebry. První oblastí je teorie uspořádaných množin a svazů, přičemž hlavní pozornost je soustředěna na teorii Booleových algeber. Další oblastí je algebraická teorie automatů a formálních jazyků. Poslední oblastí je pak úvod do teorie kódování. Ve všech třech případech se tedy jedná o algebraické disciplíny tvořící teoretické základy informatiky. Vzhledem k rozvoji využití vypočetní techniky ve všech inženýrských odvětvích jsou získané poznatky pro absolventy oboru matematické inženýrství nezbytné.
Binarni relace (tolerance a ekvivalenc), usporadane mnoziny a svazy. Booleovy algebry (booleovske funkce, algebra logiky). Konecne automaty (Mealyho a Mooreovy automaty).
Regularni jazyky a gramatiky. Zaklady teorie kodovani.