Білімге, икемділікке және машықтарға қойылатын талаптар

- дискретті математиканың мынадай объектілерін: логикалық функциялар, алгоритмдер, графтар, кодтау теориясының негізгі ұғымдарын меңгеру;

- программалау процесінде жасанды интеллект есептерін шығаруда, программалардың дұрыстығын дәлелдеуде модельдеуді пайдалануға дағдылану.
6 Пререквизиттер

- Математикалық анализ

- Алгебра және геометрия

- Жиындар теориясы

Осы пәндер бойынша толық білімдері қажет.

7 Постреквизиттер

Курстың оқу нәтижесінде алған білім, икем, дағдылары келесі салалардың негізі болып табылады:

-программалау тілдері;

-автоматтандырылған басқару және жобалау жүйелері.

8 Тақырыптық жоспар

№ р/с	Тақырыптардың атауы	Сабақ түрлері бойынша қарым-қатынастық сағаттар саны
		дәріс-тер	Тәж/ (сем)	Зертх	студ-қ	жеке	СӨЖ
1	Комбинаторика	3	6	-	-	-	12
2	Бүтін сандар және бөлінгіштік	3	6	-	-	-	12
3	Пікірлер логикасы	3	6	-	-	-	24
4	Предикаттар логикасы	4	8	-	-	-	24
5	Алгоритм теориясының элементтері	2	4	-	-	-	18
БАРЛЫҒЫ :		15	30	-	-	-	90

9 Пәннің қысқаша сипаттамасы

Компьютерлік ғылымның теориялық фундаменті болып саналатын дискретті математика арқылы сипаттағы құрылымдар қасиеттерін зерттейтін математиканың бір саласы болып саналады. Оның жедел қарқынмен дамуы есептеу техникасын автоматты өңдеу және тарату жабдықтарын жасау және табиғатында арқылы құрылымды модельдерді компьютерде бейнелеу қажеттігімен байланысты.

Жиын, ішкі жиын және элементтер. Жиындар алгебрасының тепе-теңдігі. Декарттық көбейтінді және қатынастар. Қатынастардағы амалдар. Функциялар. Эквиваленттік қатынас және реттік қатынас. Дирихле принципі. Эрдели-Шекерели теоремасы. Ретсіздіктер саны. Кіріс-шығыс формуласы. Бином коэффициенттері. Ақырлы жиындардағы функциялар. Инъекциялар, сюръекциялар, биекциялар және олардың мөлшері. Математикалық индукция. Фибоначчи сандары және олардың қасиеттері. Рекурентті қатынастар. Ақырсыз сандық тізбектердің алгебрасы. Шығарушы функциялар және олардың қасиеттері. Юнг теоремасы. Белл сандары. Мерсенн сандары. Жетілген сандар.