ТҮсіндірме жазба пәнді оқыту

КF 12-06-01

6. 
   Тізімдер. Тізімдермен орындалатын амалдар
   
7. 
   Стандарт предикаттар
   
8. 
   Нейрондық желілер архитектурасы.
   
9. 
   Прологта есептер шығару.
   
10. 
    Семантикалық тор.
    
11. 
    Жасанды интеллект жүйесінің компонеттері.
    
12. 
    Терминология.
    
13. 
    Топтастыру мақсаттарының ұсынулары. Қисынды үлгілер. Берілгендер қоры.
    
14. 
    Білімді көрсету модельдері.
    
15. 
    Логикалық тұжырымдарды қорытындылау
    

1. 
   Графтар мен ағаштар. Изоморфизм.Реттелген іздеу алгоритмі
   
2. 
   Есептерді жай есептерге ыдырату тәсілдері мен мақсаттық тармақтар
   
3. 
   Ойындар және ойын бағдарламалары
   
4. 
   Функциональді және логикалық бағдарламалау даму этаптары.
   
5. 
   Атқару қызметтері. Логикалық операциялар
   
6. 
   Предикат. Имплекатция.
   
7. 
   Пролог. Қатыс.
   
8. 
   Факт. Мақсатты ұйғарымды дәлелдеу. Қайту процесі
   
9. 
   Турбо Прологты пайдаланатын негізгі стандартты облыс (тип) түрлері
   
10. 
    Сараптау жүйелері
    
11. 
    Есепті тұйық формада көрсету. Есепті шешу кезеңдері, бағалау түйістіру
    
12. 
    Айнымалылар.Құрылыстар.
    
13. 
    Салыстырулар.Рекурсивті есептеулер
    
14. 
    Арифметикалық өрнектер.Тізімдер. Стандартты предикаттар
    
15. 
    Пролог – бағдарламаның декларативті мағынасы (мәні).Пролог - бағдарламаның құрылымы
    

1. 
   А.Тей П., Грибуомон и т.д. Логический подход к искусственному интеллекту. –М.: Мир, 1990.
   
2. 
   Братко И. Программирование на языке Пролог для искусственного интеллекта. –М.: Мир, 1990.
   
3. 
   Дж. Стобо. Язык программирования Пролог. –М.: Радио и связь, 1993.
   
4. 
   К.Кларк. Введение в логическое программирование на Micro Prolog-е.
   
5. 
   О. Камардинов. Жасанды интеллект. Сараптаушы жүйелер. Пролог. Шымкент-2003.
   
6. 
   Хант Э. Искусственный интеллект. - М., Мир, 1980.
   
7. 
   Уинстон П. Искусственный интеллект. - М., Мир, 1980.
   
8. 
   Лорьер Ж. Системы искусственного интеллекта. –М, Радио и связь, 1985.
   
9. 
   Джексон П. Введение в экспертные системы. –М, Вильямс,2001.
   
10. 
    Ж. Л. Лорьер. Системы искусственного интеллекта. М., “Мир”, 1991.
    

КF 12-06-01

11. 
    С. Осуги и др. Приобретение знаний. М. ,”Мир”, 1990.
    
12. 
    Р. Левин и др. Практическое введение в технологию искусст­венного интеллекта и экспертных систем с ил­люстрациями на Бейсике. М., “Финансы и Статис­ти­ка“, 1990.
    
13. 
    Агафонов В.Н., Борщев В.Б., Воронков А.А. Логическое программирование в широком смысле. Пер. с анг. с фр.-М.: Мир, 1988.
    
14. 
    К. Нейлор. Как построить свою экспертную систему. М., Энергоатомиздат, 1991
    
15. 
    Б. Сойер, Д. Л. Фостер. Программирование эксперт­ных систем на Паскале. М., “Финансы и Статистика“, 1990
    
16. 
    К. Таунсенд, Д. Фохт. Проектирование и программная реализация экспертных систем на персональных ЭВМ, М., “Финансы и статистика“, 1990
    
17. 
    В. А. Острейковский. Информатика, М., “Высш. Шко­ла”, 2000
    
18. 
    А. П. Алексеев. Информатика 2001, М., “Солон-е”, 2001
    
19. 
    С.В.Назаров и др.. Компьютерные технологии обра­ботки информации, М., 1995
    
20. 
    Н. В. Макарова и др. Информатика. М., “Финансы и статистика” , 2001
    
21. 
    В. А. Каймин. Информатика. М., “Инфра – М”., 2001.
    
22. 
    О. Камардинов. Visual Basic 5., Ш., 2001
    

23. 
    Клоксин, Меллиш. Программирование на языке Пролог. –М.: Мир, 1987.
    
24. 
    Котенко И.В. Логическое программирование на Прологе. –СПб.: ВАС, 1993.
    
25. 
    Л.Стерлинг, Э.Шапиро. Искусство программирования на языке Пролог. – М.: Мир, 1990.
    
26. 
    Марселлус Д. Программирование экспертных систем на Турбо-Прологе.: Пер. с анг. – М.: Финансы и статистика, 1994.
    
27. 
    Бауэр Ф.,Гооз Г. Информатика. -М,Мир, ч.1,ч.2,1990.
    
28. 
    Брой М. Основопологающее введение. Ч.ч 1-4. –М,.Диалог МИФИ,1996.
    
29. 
    Акимов О.Е. Дискретная математика. Логика,группы,графы. – М,ЛБЗ, 2001.
    
30. 
    Сайт WWW.ICT.EDU.RU
    
31. 
    Cайт WWW.GOOGLE.KZ
    

КF 12-06-02

«Есептеу техникасы және стандарттау, сертификаттау» кафедрасы

«Функциональдық және логикалық бағдарламалау» пәні бойынша

«Жаратылыстану-техникалық» факультеті

мамандық: 5В070400-Есептеу техникасы және бағдарламалық қамтамасыз ету

оқыту түрі: күндізгі

курс 3

кредит саны _3__

лекциялар _15___ сағат

лабораториялық (практикалық, семинарлық) сабақтар _60__ сағат

студенттің (магистранттың) өзіндік жұмысы (СӨЖ, МӨЖ) - _30 сағат

оқытушының басшылығымен студенттің (магистранттың) өзіндік

жұмысы (ОБСӨЖ, ОБМӨЖ) - _30_ сағат

барлығы __135__ сағат

емтихан __6__ семестр

шектік бақылаулар саны - 2

барлығы: ағымдық және шектік бақылау - 60

қорытынды бақылау 40

Шымкент 2016ж.

КF 12-06-02
1.Пәннің оқу үрдісіндегі алатын орны, мақсаты, міндеті

1. 
   Пәнді оқытудың мақсаты.
   

Функциональдық бағдарламалау пәнінен студенттердің логика тілінде бағдарламалауды игеру, құрылымдар құру әдістері бойынша білімдерін жетілдіру, логикалық бағдарламалаудың принциптері мен концепцияларын игреу маңызды мәселе, студенттердің өз бетімен есептің қойылымын қалыптастыра білуі, программаны жобалап, логикалық тілді қолдана отырып программалық өнімді құра білуін меңгеру болып табылады.

Бағдарламалауда процедуралық әдістен басқа, оның өкілдері Бейсик, Паскаль, Си сияқты жоғары дәрежелі әмбебап тілдермен қатар, тағы екі бағыт – функционалдық (қызметтік) және логикалық бағдарламалауды білу.

ПҚ2.Шет тілі шеңберіндегі құзіреттілік.

ПҚ3.Математикалық және іргелі жаратылыстану ғылыми және техникалық құзіреттілік.

ПҚ4. Компьютерлік құзіреттілік.

КF 12-06-02

9	Рекурсивтік есептеулер.	1	4	2	2	1.2.3…	ПҚ2, ПҚ3. ПҚ4.
10	Арифметикалық өрнектер. Қолданылатын предикаттар.	1	4	2	2	1.2.3…	ПҚ2. ПҚ3,ПҚ4.
11	Тізімдер, оларға қолданылатын қарапайым операциялар.	1	4	2	2	1.2.3…	ПҚ2. ПҚ3,ПҚ4.
12	Прологта енгізу мен шығару, файлдардың өзара қарым-қатынасы, қатарларды өңдеу.	1	4	2	2	1.2.3…	ПҚ2. ПҚ3,ПҚ4.
13	Пролог бағдарламалау жүйесінің стандартты предикаттары	1	4	2	2	1.2.3…	ПҚ2. ПҚ3,ПҚ4.
14	Жүйелік операторлар, анықталған предикаттар. Мәліметтер қорын құру жолдары.	1	4	2	2	1.2.3…	ПҚ2. ПҚ3. ПҚ4.
15	Қорытынды дәріс. Пролог тілінің даму жолдары мен деңгейлері	1	4	2	2	1.2.3…	ПҚ2. ПҚ3,ПҚ4.
	БАРЛЫҒЫ	15	60	30	30

3.1 Практикалық (семинарлық) жұмыстардың тақырыптары (тапсырмалар) және тізімі: оқу жоспарында қарастырылмаған

3.2 Зертханалық жұмыстардың тақырыптары

(тапсырмалар) тізімі:

1. 
   Жасанды интеллекттің базалық түсініктері
   
2. 
   Туыстық қатынастар
   
3. 
   Құрылымдар
   
4. 
   Есептеулерді басқару. Рекурсивтік есептеулер.
   
5. 
   Арифметикалық өрнектер
   
6. 
   Тізімдер. Тізімдермен орындалатын амалдар
   
7. 
   Стандарт предикаттар
   
8. 
   Нейрондық желілер архитектурасы.
   
9. 
   Прологта есептер шығару.
   
10. 
    Семантикалық тор.
    
11. 
    Жасанды интеллект жүйесінің компонеттері.
    
12. 
    Терминология.
    
13. 
    Топтастыру мақсаттарының ұсынулары. Қисынды үлгілер. Берілгендер қоры.
    
14. 
    Білімді көрсету модельдері.
    
15. 
    Логикалық тұжырымдарды қорытындылау
    

1.Прологта атомдарға мысалдар келтіру.

2.Ағаш. Шешімдер ағашы. Оны ережелерге түрлендіру.

3.Прологта программа құрылымы тұралы түсінік.

4.Жасанды интеллект тұралы түсінік.

КF 12-06-02

6.Терім.

8.Тізім. Құрылымды ағаш түрінде көрсету.

9.1-ші ретті предикарттар логикасы.

10.Предикарттар логикасы.

11.Қайтару механизмі.

12. Мәліметтерді енгізу шығарудың предикарттары.

13. Жасанды интеллект ұғымы.

14. Жи-тің даму тарихы.

1. 
   Графтар мен ағаштар. Изоморфизм.Реттелген іздеу алгоритмі
   
2. 
   Есептерді жай есептерге ыдырату тәсілдері мен мақсаттық тармақтар
   
3. 
   Ойындар және ойын бағдарламалары
   
4. 
   Функциональді және логикалық бағдарламалау даму этаптары.
   
5. 
   Атқару қызметтері. Логикалық операциялар
   
6. 
   Предикат. Имплекатция.
   
7. 
   Пролог. Қатыс.
   
8. 
   Факт. Мақсатты ұйғарымды дәлелдеу. Қайту процесі
   
9. 
   Турбо Прологты пайдаланатын негізгі стандартты облыс (тип) түрлері
   
10. 
    Сараптау жүйелері
    
11. 
    Есепті тұйық формада көрсету. Есепті шешу кезеңдері, бағалау түйістіру
    
12. 
    Айнымалылар.Құрылыстар.
    
13. 
    Салыстырулар.Рекурсивті есептеулер
    
14. 
    Арифметикалық өрнектер.Тізімдер. Стандартты предикаттар
    
15. 
    Пролог – бағдарламаның декларативті мағынасы (мәні).Пролог - бағдарламаның құрылымы
    

1. 
   Оқулықтар, оқу құралдары, әдістемелік нұсқаулар, лекциялар конспектілері, анықтамалықтар және т.б.
   

1. 
   А.Тей П., Грибуомон и т.д. Логический подход к искусственному интеллекту. –М.: Мир, 1990.
   
2. 
   Братко И. Программирование на языке Пролог для искусственного интеллекта. –М.: Мир, 1990.
   
3. 
   Дж. Стобо. Язык программирования Пролог. –М.: Радио и связь, 1993.
   
4. 
   К.Кларк. Введение в логическое программирование на Micro Prolog-е.
   
5. 
   О. Камардинов. Жасанды интеллект. Сараптаушы жүйелер. Пролог. Шымкент-2003.
   
6. 
   Хант Э. Искусственный интеллект. - М., Мир, 1980.
   
7. 
   Уинстон П. Искусственный интеллект. - М., Мир, 1980.
   

8. 
   Лорьер Ж. Системы искусственного интеллекта. –М, Радио и связь, 1985.
   
9. 
   Джексон П. Введение в экспертные системы. –М, Вильямс,2001.
   
10. 
    Ж. Л. Лорьер. Системы искусственного интеллекта. М., “Мир”, 1991.
    
11. 
    С. Осуги и др. Приобретение знаний. М. ,”Мир”, 1990.
    
12. 
    Р. Левин и др. Практическое введение в технологию искусст­венного интеллекта и экспертных систем с ил­люстрациями на Бейсике. М., “Финансы и Статис­ти­ка“, 1990.
    
13. 
    Агафонов В.Н., Борщев В.Б., Воронков А.А. Логическое программирование в широком смысле. Пер. с анг. с фр.-М.: Мир, 1988.
    
14. 
    К. Нейлор. Как построить свою экспертную систему. М., Энергоатомиздат, 1991
    
15. 
    Б. Сойер, Д. Л. Фостер. Программирование эксперт­ных систем на Паскале. М., “Финансы и Статистика“, 1990
    
16. 
    К. Таунсенд, Д. Фохт. Проектирование и программная реализация экспертных систем на персональных ЭВМ, М., “Финансы и статистика“, 1990
    
17. 
    В. А. Острейковский. Информатика, М., “Высш. Шко­ла”, 2000
    
18. 
    А. П. Алексеев. Информатика 2001, М., “Солон-е”, 2001
    
19. 
    С.В.Назаров и др.. Компьютерные технологии обра­ботки информации, М., 1995
    
20. 
    Н. В. Макарова и др. Информатика. М., “Финансы и статистика” , 2001
    
21. 
    В. А. Каймин. Информатика. М., “Инфра – М”., 2001.
    
22. 
    О. Камардинов. Visual Basic 5., Ш., 2001
    

23. 
    Клоксин, Меллиш. Программирование на языке Пролог. –М.: Мир, 1987.
    
24. 
    Котенко И.В. Логическое программирование на Прологе. –СПб.: ВАС, 1993.
    
25. 
    Л.Стерлинг, Э.Шапиро. Искусство программирования на языке Пролог. – М.: Мир, 1990.
    
26. 
    Марселлус Д. Программирование экспертных систем на Турбо-Прологе.: Пер. с анг. – М.: Финансы и статистика, 1994.
    
27. 
    Бауэр Ф.,Гооз Г. Информатика. -М,Мир, ч.1,ч.2,1990.
    
28. 
    Брой М. Основопологающее введение. Ч.ч 1-4. –М,.Диалог МИФИ,1996.
    
29. 
    Акимов О.Е. Дискретная математика. Логика,группы,графы. – М,ЛБЗ, 2001.
    
30. 
    Сайт WWW.ICT.EDU.RU
    
31. 
    Cайт WWW.GOOGLE.KZ
    

1.________________________________________________________________

________________________________________________________________

________________________________________________________________

2. _______________________________________________________________

________________________________________________________________