Қысқаша сипаттамасы: Математикалық логика және дискретті математика. Бұл курстардың дамуының қысқаша тарихи кезеңдері. Математикалық индукция әдісі. Комбинаториканыңнегізгі ережесі. Қайталанатын және қайталанатын ауыстырулар. Қайталанатын және қайталанатын сағат беттері. Биномдық теорема. График туралы түсінік. Мультиграфсыз және бірнеше доғасыз график. Бағытталған және бағытталмаған графиктер. Жол және контур. Тізім және цикл. Қосылған графикте Эйлер циклініңболуының қажетті және жеткілікті шарты. Толық тізім туралы түсінік. Гамильтонның тізімі және циклі. Гамильтон тізімінің болуының шарттары. Жазық график жәнеоның хроматикалық саны. Ағаш. Орман. DNF және KNF. Жетілген DNF және жетілген CNF. Предикат туралы түсінік. Квантор туралы түсінік. Предикат алгебраформулалары. Ерікті және шектелген айнымалылар. Ньютон алгебрасы. Ортоторлар. Модель туралы түсінік. Орындалатын, ақиқат және жалған формулалар.Предикат алгебрасын математикалық теорияларда қолдану. Жалпылау және оның қасиеттері. Bool функциялары. n – Boole айнымалысының