Рабочая учебная программа Мамандық: 6М060100 Математика Өскемен Усть-Каменогорск 2014



жүктеу/скачать 145.83 Kb.
Дата04.07.2016
өлшемі145.83 Kb.
#176061
түріРабочая учебная программа
Д. СЕРІКБАЕВ атындағы ШЫҒЫС ҚАЗАҚСТАН МЕМЛЕКЕТТІК

ТЕХНИКАЛЫҚ УНИВЕРСИТЕТІ

Ф1 Н ШҚМТУ 701.01

Сапа менеджменті жүйесі

Пәннің жұмыс оқу бағдарламасы


бет




Қазақстан Республикасының Министерство

Білім және ғылым образования и науки

министрлігі Республики Казахстан
Д. Серікбаев атындағы ВКГТУ

ШҚМТУ им. Д. Серикбаева


БЕКІТЕМІН

АТжЭФ деканы
_________ Ғ. Мұхамедиев

__________________2014 ж.


АЛГОРИТМДЕР ТЕОРИЯСЫ

Жұмыс оқу бағдарламасы


ТЕОРИЯ АЛГОРИТМОВ

Рабочая учебная программа


Мамандық: 6М060100 - Математика

Өскемен

Усть-Каменогорск



2014

Жұмыс оқу бағдарламасы«Алгоритмдер теориясы» элективті курсынан 6М060100 - Математика мамандығындағы магистранттарға арналып, «Жоғары математика» кафедрасында жасалынған.




«Жоғары математика» кафедра отырысында талқыланды.


Кафедра меңгерушісі

Н. Хисамиев


№1 хаттама 1-қыркүйек 2014 ж.






Ақпараттық технологиялар және энергетика факультетінің оқу-әдістемелік кеңесімен мақұлданды.


Төраға Т. Абдрахманова
______________________ж. №____ хаттама


Дайындаған




профессор

Н. Хисамиев



Норма бақылаушы

Т. Тютюнькова

1 ПӘННІҢ ЕҢБЕК СЫЙЫМДЫЛЫҒЫ




Семестр

Кредит саны

Оқу түрі

СӨЖ сағаты саны

Жалпы сағат

саны

Бақылау түрі

Жанаспалы сағат саны

дәріс

семинар. (іс-тәжір.)

оқу

зертхан. оқу

СОӨЖ

барлық сағат саны

1

2

3

4

5

6

7

8

9

10

Күндізгі оқу түрі

1

4

30

30

-

15

65

105

180

емтихан

2 ПӘННІҢ СИПАТТАМАСЫ, ОНЫҢ ОҚУ ЖҮЙЕСІНДЕГІ ОРНЫ


2.1 Оқылатын пәннің сипаттамасы

Бұл курс магистрлік дайындықта «Математика» мамандандыруы бойынша негізгі пәндердің бірі болып табылады және келесі бөлімдерден тұрады: есептелімділік теориясының іргелі ұғымдары, есептелімді-тізімдемелі жиындар және Тьюринг машинасы.


2.2 Пәнді меңгеру мақсаты мен міндеттері

Пәнді оқытудың мақсаты: математикалық әдістермен алгоритм ұғымын оқу және нақты алгоритмдерді құру әдісін білу


2.3. Пәнді меңгеру нәтижелері

«Алгоритмдер теориясы» курсын оқытудағы мамандарды дайындау талаптарына сәйкес, нәтижесінде алынатын қорытынды:

- алгоритм ұғының әртүрлі тұжырымдарын меңгеру;


  • нақты алгоритмді құру әдістерін қарастыру;

  • белгілі функцияларды есептеу үшін Тьюринг машинасы үшін бағдарламаны құру;

  • натурал санның негізгі ішкі жиындарының есептелімді тізімделетінін дәлелдеу.


2.4 Пререквизиттер

«Алгоритмдер теориясы» пәнін оқу үшін студенттерге алгебра, математикалық логика, математикалық және фундаментальдық талдаудың барлық бөлімдерінен білімі болуы керек.


2.5 Постреквизиттер

Бұл пәннен алған білімдерін өрістер теориясы және конструктивті үлгілер теориясын оқу кезінде қолдана алады. Сондай-ак, магистрлік диссертацияны дайындау кезінде қолданылады.


3 ПӘННІҢ МАЗМҰНЫ
3.1 Оқу жұмысының жоспары


Тақырыптың атауы

Көп еңбекті қажет ететін пән, сағат

Оқу түрі

күндізгі

күндізгі қысқарт.

сырттай

сырттай қысқарт.

1

2

3

4

5

Дәрістік сабақ

Тақырып 1. Жиындар теориясының кейбір ұғымдары. Әліпбилер мен тілдер. Алгоритмдердің интуитивті қасиеттерін талдау

2

-

-

-

Тақырып 2. Детерминделген және детерминделмеген автоматтар

2

-

-

-

Тақырып 3. Регулярлық тілдер

2

-

-

-

Тақырып 4. Шенфильд машинасы

2

-

-

-

Тақырып 5.Жартылай рекурсивті функциялар

2

-

-

-

Тақырып 6. Ақырлы тізбектерді кодтау

2

-

-

-

Тақырып 7. Шенфильд машинасын кодтау

2

-

-

-

Тақырып 8. Тьюринг машинасы

2

-

-

-

Тақырып 9. Марковтың қалыпты алгорифмдері

2

-

-

-

Тақырып 10. Черч тезисі

2

-

-

-

Тақырып 11. Нөмірлеу және алгоритмдік мәселелер

2

-

-

-

Тақырып 12. Қозғалмайтын нүкте туралы Клини теоремасы және Райс теоремасы

2

-

-

-

Тақырып 13. Әмбебап функцияның жалғыздығы туралы

2

-

-

-

Тақырып 14. Тізімдемелі жиындар

2

-

-

-

Тақырып 15. Тьюрингтің детерминирленбеген машиналары және Р мен NP класстары. NP-толық мәселелер туралы ұғым

2

-

-

-

Семинарлық (іс-тәжірибелік) сабақ

Тақырып 1. Жиындар теориясының кейбір ұғымдары. Әліпбилер мен тілдер. Алгоритмдердің интуитивті қасиеттерін талдау

2

-

-

-

Тақырып 2. Детерминделген және детерминделмеген автоматтар

2

-

-

-

Тақырып 3. Регулярлық тілдер

2

-

-

-

Тақырып 4. Шенфильд машинасы

2

-

-

-

Тақырып 5.Жартылай рекурсивті функциялар

2

-

-

-

Тақырып 6. Ақырлы тізбектерді кодтау

2

-

-

-

Тақырып 7. Шенфильд машинасын кодтау

2

-

-

-

Тақырып 8. Тьюринг машинасы

2

-

-

-

Тақырып 9. Марковтың қалыпты алгорифмдері

2

-

-

-

Тақырып 10. Черч тезисі

2

-

-

-

Тақырып 11. Нөмірлеу және алгоритмдік мәселелер

2

-

-

-

Тақырып 12. Қозғалмайтын нүкте туралы Клини теоремасы және Райс теоремасы

2

-

-

-

Тақырып 13. Әмбебап функцияның жалғыздығы туралы

2

-

-

-

Тақырып 14. Тізімдемелі жиындар

2

-

-

-

Тақырып 15. Тьюрингтің детерминирленбеген машиналары және Р мен NP класстары. NP-толық мәселелер туралы ұғым

2

-

-

-

Студенттің оқытушы жетекшілігімен орындайтын өздік жұмысы

Тақырып 1. Жиындар теориясының кейбір ұғымдары. Әліпбилер мен тілдер. Алгоритмдердің интуитивті қасиеттерін талдау

1

-

-

-

Тақырып 2. Детерминделген және детерминделмеген автоматтар

1

-

-

-

Тақырып 3. Регулярлық тілдер

1

-

-

-

Тақырып 4. Шенфильд машинасы

1

-

-

-

Тақырып 5.Жартылай рекурсивті функциялар

1

-

-

-

Тақырып 6. Ақырлы тізбектерді кодтау

1

-

-

-

Тақырып 7. Шенфильд машинасын кодтау

1

-

-

-

Тақырып 8. Тьюринг машинасы

1

-

-

-

Тақырып 9. Марковтың қалыпты алгорифмдері

1

-

-

-

Тақырып 10. Черч тезисі

1

-

-

-

Тақырып 11. Нөмірлеу және алгоритмдік мәселелер

1

-

-

-

Тақырып 12. Қозғалмайтын нүкте туралы Клини теоремасы және Райс теоремасы

1

-

-

-

Тақырып 13. Әмбебап функцияның жалғыздығы туралы

1

-

-

-

Тақырып 14. Тізімдемелі жиындар

1

-

-

-

Тақырып 15. Тьюрингтің детерминирленбеген машиналары және Р мен NP класстары. NP-толық мәселелер туралы ұғым

1

-

-

-

Студенттің өздік жұмысы

Тақырып 1. Жиындар теориясының кейбір ұғымдары. Әліпбилер мен тілдер. Алгоритмдердің интуитивті қасиеттерін талдау

1

-

-

-

Тақырып 2. Детерминделген және детерминделмеген автоматтар

1

-

-

-

Тақырып 3. Регулярлық тілдер

1

-

-

-

Тақырып 4. Шенфильд машинасы

1

-

-

-

Тақырып 5.Жартылай рекурсивті функциялар

1

-

-

-

Тақырып 6. Ақырлы тізбектерді кодтау

1

-

-

-

Тақырып 7. Шенфильд машинасын кодтау

1

-

-

-

Тақырып 8. Тьюринг машинасы

1

-

-

-

Тақырып 9. Марковтың қалыпты алгорифмдері

1

-

-

-

Тақырып 10. Черч тезисі

1

-

-

-

Тақырып 11. Нөмірлеу және алгоритмдік мәселелер

1

-

-

-

Тақырып 12. Қозғалмайтын нүкте туралы Клини теоремасы және Райс теоремасы

1

-

-

-

Тақырып 13. Әмбебап функцияның жалғыздығы туралы

1

-

-

-

Тақырып 14. Тізімдемелі жиындар

1

-

-

-

Тақырып 15. Тьюрингтің детерминирленбеген машиналары және Р мен NP класстары. NP-толық мәселелер туралы ұғым

1

-

-

-

ҚОЛДАНЫЛҒАН ӘДЕБИЕТТЕР ТІЗІМІ




  1. Негізгі әдебиеттер

  1. Морозов А.С., Хисамиев Н.Г., Қоңырханова Ә.Ә. Алгоритмдер теориясы. Өскемен, 2012 ж

  2. Ершов Ю.Л. Теория нумерации. М., Наука, 2007

  3. Ершов Ю.Л. Определимость и вычислимость. Сибирская школа алгебры и логики. Научная книга, Новосибирск, 2006.

  4. Мальцев А.И.. Алгоритмы и рекурсивные функции. М., Наука, 2011




  1. Қосымша әдебиеттер

1 Роджерс Х. Теория рекурсивных функций и эффективная вычислимость. Мир, Москва, 2012.

2 Соар Р.И. Вычислимо перечислимые множества и степени. Казанское математическое общество, Казань, 2007.



3 Lewis H.R., Papadimitrou C.H. Elements of the Theory of Computation. Pretence-Hall Inc., Upper Saddie Riever, New Jersey, 2008.
жүктеу/скачать 145.83 Kb.

Достарыңызбен бөлісу:



©dereksiz.org 2024
әкімшілігінің қараңыз
    Басты бет