Дискретті құрылымдар
Сипаттама: Пән компьютерлік ғылымның математикалық құрылымдарын зерттейді: жиынтықтар, қатынастар, функциялар, логика, дәлелдеу әдістері, графиктер, ағаштар, комбинаторика және қайталанатын қатынастар. Студенттер есептеу есептерін рәсімдейді, дұрыстығын дәлелдейді және алгоритмдерде, мәліметтер базасында, желілерде және бағдарламалық жасақтамада қолданылатын дискретті модельдерді талдайды.
Кредиттер саны: 4
Пререквизиты:
- Математика. Мектеп курсы
Пәннің еңбек сыйымдылығы:
| Жұмыс түрлері | сағат |
|---|---|
| Дәрістер | 15 |
| Практикалық жұмыстар | 30 |
| Зертханалық жұмыстар | |
| СӨЖО | 15 |
| СӨЖ | 60 |
| Қорытынды бақылау нысаны | емтихан |
| Қорытынды бақылауды жүргізу нысаны | Жазбаша емтихан |
Компонент: ЖОО компоненті
Цикл: Базалық пәндер
Мақсат
- Алгоритмдер, деректер базалары, желілер, формалды тілдер және бағдарламалық инженерия үшін дискретті-математикалық негіз қалыптастыру.
Міндет
- Жиындар, қатынастар, логика, дәлелдеу әдістері, графтар, ағаштар, комбинаторика және рекурренттік қатынастарды зерттеу; есептеу есептерін формализациялау дағдыларын дамыту.
Оқыту нәтижесі: білу және түсіну
- Дискретті құрылымдардың негізгі ұғымдарын, логикалық операцияларды, дәлелдеу әдістерін, графтар мен ағаштарды, комбинаторикалық модельдерді және рекурренттік қатынастарды біледі.
Оқыту нәтижесі: білім мен ұғымды қолдану
- Мәселелерді формализациялау, графтар құру, қасиеттерді дәлелдеу және алгоритмдік шешімдерге дайындық үшін дискретті модельдерді қолданады.
Оқыту нәтижесі: талқылай білуді қалыптастыру
- Формализацияның дұрыстығын, дәлелдің логикалық негізділігін және таңдалған дискретті модельдің сәйкестігін бағалайды.
Оқыту нәтижесі: коммуникативтік қабілеттіліктер
- Дискретті модельдерді түсіндіреді, дәлелдеулерді ұсынады және есепті шешу үшін таңдалған құрылымның дұрыстығын негіздейді.
Оқыту нәтижесі: Оқу дағдылары немесе сабаққа қабілеттілігі
- Математикалық қатаңдықты өз бетінше дамытып, дискретті әдістерді алгоритмдерде, деректер базаларында және есептеу теориясында қолданады.
