Алгоритмдер теориясы
Сипаттама: Курстың мақсаты математикалық логика саласындағы іргелі дайындық, қолданбалы есептерді шешуде қажетті заманауи математикалық аппараттарды меңгеру болып табылады. Келесі сұрақтар қарастырылады: рекурсивті функциялар теориясы; формальды есептеулердегі есептеулердің анықталуы; Тьюринг машиналары, Шенфилд машиналары; есептеу күрделілігі теориясының негізгі ұғымдары мен нәтижелерімен танысу.
Кредиттер саны: 5
Пререквизиты:
- Талдау, сандық және жуықтау теориясы
Пәннің еңбек сыйымдылығы:
Жұмыс түрлері | сағат |
---|---|
Дәрістер | 15 |
Практикалық жұмыстар | 30 |
Зертханалық жұмыстар | |
СӨЖО | 75 |
СӨЖ | 30 |
Қорытынды бақылау нысаны | емтихан |
Қорытынды бақылауды жүргізу нысаны |
Компонент: Таңдау бойынша компонент
Цикл: Базалық пәндер
Мақсат
- Алгоритм ұғымын математикалық әдістермен зерттеу және нақты алгоритмдерді құру әдістерін игеру
Міндет
- 1.Алгоритм ұғымының әртүрлі түсіндірмелерін зерттеу; 2. Нақты алгоритмдерді құру әдістерін қарастырыңыз; 3. Белгілі функцияларды есептеу үшін Тюринг машинасына бағдарлама жасаңыз; 4. Натурал сандардың негізгі ішкі жиындарының есептелетін тізімін дәлелдеу:
Оқыту нәтижесі: білу және түсіну
- Формулаларды әртүрлі формалды есептеулерде шығара алады және бірізділікті дәлелдеу әдістерін игере алады;
Оқыту нәтижесі: білім мен ұғымды қолдану
- Алгоритмдерді құру және зерттеу үшін математика саласындағы заманауи білім алу
Оқыту нәтижесі: талқылай білуді қалыптастыру
- Құрылған алгоритмдер, алгоритмдер теориясының таңдалған әдісі туралы негізгі ұғымдарды тұжырымдау және пайымдау және оларды негіздеу мүмкіндігі
- Командада жұмыс істей білу, өз көзқарасын дұрыс қорғау, қолданбалы есептердің математикалық әдістерімен жаңа шешімдерді ұсыну
Оқыту нәтижесі: коммуникативтік қабілеттіліктер
- Докторантурада білім алуды жалғастыру және күнделікті кәсіби қызмет үшін қажетті жаңа математикалық білім алу дағдыларын меңгеру, кәсіби және жеке өсуге ұмтылу
Негізгі әдебиет
- 1. А.И. Мальцев Алгоритмы и рекурсивные функции. М.: Нау-ка, 2005. 2. С.В. Судоплатов, Е.В. Овчинникова Дискретная математика, Новосибирск, 2007г. 3. Х. Роджерс Теория рекурсивных функций и эффективная вычислимость. М.: Мир, 2004. 4. К. Соар. Вычислимо перечислимые множества и степени. Казань. Изд. Казанск. у-та, 2003.