Жүйелік талдаудың іргелі алгоритмдері
Пән формальды сипаттамалар мен жүйелердің фундаментальды алгоритмдері үшін теориялық негізді құрайды. Курс келесі бөлімдерден тұрады: жүйелік талдау әдіснамасы, жүйелердің кибернетикалық модельдері, Жиындар теориясы, булева алгебрасы, комбинаторика, графтар теориясы. Пәнді оқу информатикадан мамандарды математикалық даярлауға бағытталған.