Алгоритмдер теориясы

Мукашева Роза Урумкановна

Оқытушының портфолиосы

Сипаттама: Курстың мақсаты математикалық логика саласындағы іргелі дайындық, қолданбалы есептерді шешуде қажетті заманауи математикалық аппараттарды меңгеру болып табылады. Келесі сұрақтар қарастырылады: рекурсивті функциялар теориясы; формальды есептеулердегі есептеулердің анықталуы; Тьюринг машиналары, Шенфилд машиналары; есептеу күрделілігі теориясының негізгі ұғымдары мен нәтижелерімен танысу.

Кредиттер саны: 5

Пререквизиты:

  • Талдау, сандық және жуықтау теориясы

Пәннің еңбек сыйымдылығы:

Жұмыс түрлері сағат
Дәрістер 15
Практикалық жұмыстар 30
Зертханалық жұмыстар
СӨЖО 75
СӨЖ 30
Қорытынды бақылау нысаны емтихан
Қорытынды бақылауды жүргізу нысаны

Компонент: Таңдау бойынша компонент

Цикл: Базалық пәндер

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