Алгоритмдерді талдау және жобалау(Алгоритмдер теориясы)

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

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

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

• Алгебра

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

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

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

Мақсат

• Алгоритм ұғымын математикалық әдістермен зерттеу және нақты алгоритмдерді құру әдістерін игеру

Міндет

• 1.Алгоритм ұғымының әртүрлі түсіндірмелерін зерттеу; 2. Нақты алгоритмдерді құру әдістерін қарастырыңыз; 3. Белгілі функцияларды есептеу үшін Тюринг машинасына бағдарлама жасаңыз; 4. Натурал сандардың негізгі ішкі жиындарының есептелетін тізімін дәлелдеу:

Оқыту нәтижесі: білу және түсіну

• Формулаларды әртүрлі формалды есептеулерде шығара алады және бірізділікті дәлелдеу әдістерін игере алады;

Оқыту нәтижесі: білім мен ұғымды қолдану

• Алгоритмдерді құру және зерттеу үшін математика саласындағы заманауи білім алу;

Оқыту нәтижесі: талқылай білуді қалыптастыру

• Құрылған алгоритмдер, алгоритмдер теориясының таңдалған әдісі туралы негізгі ұғымдарды тұжырымдау және пайымдау және оларды негіздеу мүмкіндігі

Оқыту нәтижесі: коммуникативтік қабілеттіліктер

• Командада жұмыс істей білу, өз көзқарасын дұрыс қорғау, қолданбалы есептердің математикалық әдістерімен жаңа шешімдерді ұсыну

Оқыту нәтижесі: Оқу дағдылары немесе сабаққа қабілеттілігі

• Докторантурада білім алуды жалғастыру және күнделікті кәсіби қызмет үшін қажетті жаңа математикалық білім алу дағдыларын меңгеру, кәсіби және жеке өсуге ұмтылу

Негізгі әдебиет

• 1. А.И. Мальцев Алгоритмы и рекурсивные функции. М.: Нау-ка, 2005. 2. С.В. Судоплатов, Е.В. Овчинникова Дискретная математика, Новосибирск, 2007г. 3. Х. Роджерс Теория рекурсивных функций и эффективная вычислимость. М.: Мир, 2004. 4. К. Соар. Вычислимо перечислимые множества и степени. Казань. Изд. Казанск. у-та, 2003.