DM3209Дискретті математика пәні
ZhKP05 Жалпы кәсіптік пәні модулі
6B06102 – «Ақпараттық жүйелер» білім беру бағдарламасы
Инновациялық технологиялар факультеті
Ақпараттық есептеу жүйелері кафедрасының отырысында талқыланды
«»2021 ж. №хаттама.
Кафедра меңгерушісі. КалининА.А.« »2021 ж. (қолы) (аты-жөні)
Инновациялық технологиялар факультетінің сапаны қамтамасыз ету коми- теті мақұлдады.
«»2021 ж. №хаттама
Төраға Тау А.Ғ«»2021 ж. (қолы) (аты-жөні)
2021
1 Оқытушы туралы мәліметтер және байланыс ақпараты Аты-жөні Сайманова Загира Бекетаевна Ғылыми дәрежесі, атағы, лауазымы аға оқытушы Эл. адресі zagira_sb@mail.ru
АЕЖ кафедрасы ҚарТУ-дың (Н.Назарбаев, 56) бас корпусында орналасқан, 301 аудитория, байланыс телефоны 56-59-29 қос. 20-54,
e-mail: zagira_sb@mail.ru
«Дискретті математика» пәнін окытудың негізгі мақсаты күрделі жүйелерде өтетін процестерді, оның математикалық аппаратын және типтік математикалық сұлбаларын компью- терлік модельдеу теориясы мен әдістерін зерделеу, модельдеуші алгоритмдерді қүрастыруды және оларды алгоритмдік тілдерді және модельдеудің қолданбалы программалар пакеттерін пайдалана отырып жүзеге асыруды үйрету болып табылады.
Пәннің міндеттері
Пәнніңміндеттерімынадай:
дискретті математика құрылымы, ғылым ретінде; комбинаториканың, кодтаудың тео- риясы мен қарапайым іргелі алгоритмдер туралы түсінік болуы;
- дискретті математиканың негізгі ұғымдары; нұсқаларды іздестіруді ұйымдастырудың негізгі қағидалары және практикада оларды қолдану мүмкіндігін білу;
- әртүрлі жолдармен дискретті жиынтығын анықтайды, түрлі қатынастардың қасиетте- рін анықтайды; көптеген теориялар мен графикалық теорияның «түйінді» мәселелерін шеше білу;
- терминологиясы, олардың түрлері мен қасиеттерін білу, графиктердің сипаттамаларын анықтау.
6 Курсты оқу нәтижелері:
Осы пәнді оқудың соңына қарау нәтижесінде студент:
1. Жиын теориясының негізгі ұғымдары. Оларға арналған жиынтықтар мен опера- циялар. Топтамаларды құру жолдары. Эйлер диаграммасы. Қатынастар. Екілік қатынастарды және олардың негізгі қасиеттерін орнату тәсілі.
3. Математикалық логиканың элемент- тері. Логикалық операциялар Логикалық операциялар. Формуланың логикалық мәлімдемелері. Формулалардың қалыпты формалары, ДНФ-ке, КНФ-ке келтіру. Мінсіз айырмашылықтар мен қалыпты конъюнктивтік қалыптар. Булжа алгебра. Бір немесе екі айнымалылардың логикалық функциялары. Quine әдісі. Дисюктивтік қалыпты пішіндер класында азайту.
2
4
2
6
4. Пікірлердің есептеуі мен предикаттар- дың есептеуі. Пікірлерді есепке алуда формулалардың пайда болуы. Шегерім теоремасы. Логика және предикат есептеу. Предикаттар, сандар. Бесіктік логиканың формулалары. Бастапқы есептеудің осьио- маттары. Тиімді есептеу. Қарапайым функциялар, суперпозициялар операторлары және қарабайыр регурсия, қарабайыр рекурсивтік функциялар. Минимизация операторы, ішінара рекурсивтік функциялар.
6. Кодтау теориясының элементтері. Кодтау туралы. Хемминг арақашықтығы. Кодтардың түзеткіш қасиеті туралы теорема. Матрицалық кодтау. Жіктік кодтар. Хемминг кодтары.
2
4
2
6
7. Граф теориясы. Негізгі ұғымдар мен
анықтамалар. Қосылу, қарсылық, дәреже. Графикті орнату жолдары.
1
2
6
8. Графтардағы операциялар. Графтар- дың бөліктері. Қосылу мүмкіндігі, қосы- лым компоненттері. Графиктердің саны: циклдық, хроматикалық, сыртқы және ішкі тұрақтылық. Ағаштар, ағаштардың қасиет- тері. Граф теориясы қарапайым алгоритм- дері. Компьютерде графиктер мен
ағаштарды ұсыну.
2
3
1
6
9. Жиындар және олармен жұмыс жасайтын операциялар