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



жүктеу 145.83 Kb.
Дата03.05.2016
өлшемі145.83 Kb.
түріРабочая учебная программа
: files -> MethodBook
MethodBook -> 1.Әбішев К. А. Философия А., 2006ж. Бөрібаев Т.Қ. Ұлт менталиенті. А.,2002ж
MethodBook -> Рабочая учебная программа Мамандық: 5В070500 Математикалық және компьютерліқ улгілеу Оқу түрі: күндізгі Өскемен Усть-Каменогорск 2013
MethodBook -> Студентке арналған пәннің оқу бағдарламасы
MethodBook -> Жылу техникасы
MethodBook -> Д. Серікбаев атындағы ШҚмту «Көлік және логистика» кафедрасы
MethodBook -> Қазақстан Республикасының Білім және ғылым министрлігі
MethodBook -> «Жалпы инженерлік пәндер» кафедрасы, машинажасау және көлік факультеті
MethodBook -> Ф1 и вкгту 701. 01-01-1-2011
MethodBook -> Ғылым философиясы және тарихы
MethodBook -> Дәріс сабағының құрылымы: Дәріс №1,2 Тақырып



Д. СЕРІКБАЕВ атындағы ШЫҒЫС ҚАЗАҚСТАН МЕМЛЕКЕТТІК

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

Ф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.



©netref.ru 2017
әкімшілігінің қараңыз

    Басты бет