5. Оқу пәнінің мазмұны

К

у

р

с

С

е

м

е

с

т

Р

А

п

т

а

Пәннің модульдері бойынша

дәріс сабақтардың

тақырыбы мен мазмұны

Көлемдері,

сағаттар

Әдебиет

1

2

3

4

5

6

3

7

1-модуль: «Логикалық программалау»

6

–

1

Тақырыбы–«Кіріспе. Логикалық программалау тарихы. Пролог тілінің синтаксисі мен семантикасы».

Мазмұны: Логикалық программалау идеялары. Логикалық программалау зерттеулері. Іргелі теориялық жұмыстар мен қызықты ой желіліері. «Жапон жобасы» идеясы. Білімдерді өңдейтін жүйе. Резолюция алгоритмі. Фактілер мен ережелерді пайдалану.

2

/1,5-21/,

/2, 3-10/

2

Тақырыбы – «Тілдегі тізімдер мен арифметика. Пролог тіліндегі кесу».

Мазмұны: Пролог тілінде программалаудың негізгі механизмдері. Тізім. Тізімді рекурсивті түрде өңдеу. Member предикаты. Пролог тіліндегі іздеуді басқаруға кесу операторларын пайдалану. Кесу операторының рекурсияны басқарудағы мүмкіндіктері. Кесу операторын пайдаланудағы бағдарлама жұмысын жеделдету және компьютер зердесін үнемдеу.

2

/1,23-27/,

/2, 11-15/

3

Тақырыбы–«Пролог тіліндегі деректердің абстракты типтері. Дерекқормен жұмыс және рекурсивті іздеу».

Мазмұны: Графтағы іздеу алгоритмдері. Стек ұғымы. Стек жұмыс істеу үшін қолданылатын операциялар және олардың құрылыс блоктары. Кезек. Кезекті іске асыруда қолданылатын операциялар. Басымдық алған кезек. Жиындар. Пролог тіліндегі дерекқорлар предикаттары. Дерекқорға жүргізілетін операциялар ережелері. Мысал сипаты. Пролог тіліндегі рекурсивті іздеу.

2

/1,28-39/,

/2, 16-19/

2-модуль: «Функционалдық программалау және жасанды зерде жүйелері»

22

-

4

Тақырыбы–«Функционалдық программалау тарихы және негіздері».

Мазмұны: Лябда-есептеу. «Комбинациялық логика» теориясы. Функционалдық программалау зерттеулері. Функционалдық түрлері. Каррирлеу. Аппликация. Жоғары тәртіртегі функциялар. Лямбда-өрнектер. Лямбда-өрнектер оператор есебінде. Лямбда-өрнектер басқа лямбда-өрнек денесі есебінде. Деректер құрылымдары. S-өрнектер. Функционалдық программалаудағы нотациялар. Көрсетілім үлгілері, клоздар. Жергілікті айнымалылыр. Қорғау.

2

/1, 106-121/

5

Тақырыбы–«Функционалдық программалау ерекшеліктері мен тілдері».

Мазмұны: Құрылымдық программалау. «Функцияларды байлау, біріктіру» тәсілі. Sum функциясы. Reduce функциясы. Fandcons функциясы. Map функциясы. Redtree функциясы. «Программаларды байлау» тәсілі. Ойын ағашы. Mapmin функциясы. Абстракция деңгейлері. Функционалдық программалау тілдерін пайдалану. Функциялар және функцианалдық тілдердегі қосымша тиімділіктер.

2

/1, 122-149/

6

Тақырыбы–«Haskell тілінің мүмкіндіктері мен негіздері».

Мазмұны: Тазалығы. Қалдырылған (жалқау) есептеулер. Қатаң типтеу. Haskell тілі және қателер. Haskell тілі және ОБП (объекті бағытталған программалау). Модульдігі. Haskell тілінің шапшаңдығы. Haskell тілінде айнымалылар жоқ. Шексіз тізбектермен жұмыс істеу. Санды екінің жәрежесіне жіктеу есебі. Тез сұрыптау.

2

/1, 94-105/

7

Тақырыбы–«Лисп тілінің негіздері. Лисп тіліндегі рекурсия».

Мазмұны: Лисп тілінің тарихы. Жасанды зерде тәсілімен құрылатын программалар. Лисп тілінің басқа программалау тілдерінен айырмашылығы. Лисп тіліндегі тізім. S-өрнектер және олардың анықтамасы. Функциялар, тізімдер және таңбалық есептеулер. Тізімдер және рекурсивті құрылымдар.

2

8

Тақырыбы–«Лисп тіліндегі есептеулер мен функционалдар».

Мазмұны: Лисп тіліндегі бағалау: quoye және eval функциялары. Лисп тілінде программалау: жаңа функциялар құру. Енгізілген тізімдер, құрылымдар және рекурсия car-cdr. Айнымалыларды set функциясы көмегімен байлау. Жергілікті айнымалыларды let функциясы көмегімен анықтау.

2

9

Тақырыбы–«Функционалдық программалаудың қолданылуы».

Мазмұны: Haskell программалау тілінің жағымды жақтары. Жадыны кіріктіру арқылы басқару. Си артықшылықтары. Функционалдық программалау тілдері қолданылатын күрделі жүйелер.

2

10

Тақырыбы–«Лисп тіліндегі есептер».

Мазмұны: Лисп тілінің функциялары мен предикаттарына қысқаша шолу. Жаңа функцияларды анықтау. Тізімде қолданылатын операциялар. Арифметикалық функциялар. Логикалық функциялар. Басқа аранайы функциялар. Блоктық функциялар және олармен байланысты функциялар. Лисп тіліндегі соқыр әдістердің жаттығулары.

2

11

Тақырыбы–«Жасанды зерденің негізгі ұғымдары».

Мазмұны: Жасанды зерде мен ондағы проблемалар. Логикалық дамуы. Тьюринг тестісі.

2

12

Тақырыбы–«Есептерді шешудің түрлі әдістері».

Мазмұны: Шешімді іздеу тәсілдері мен іс-әрекеттерін талдау. Кеіәстіктегі күйі бойынша жоспарлау. Жалпылама шығару әдісі. Білімдерге дедуктивтік қорытынды шығару. Қиысқан жол әдісі. Бір біріне жапсырылған жол әдісі. Әдейіленген қорытынды жасау әдісі. Боялған семантикалық тордағы дедукция алгоритмі. Жою операторы мен тізбелерді бөлуді қолданатын дедукция алгоритмі. «Қосылған» сипаттағы механизмдер.

2

13

Тақырыбы–«Теоремаларды автоматты дәлелдеу әдістері».

Мазмұны: Предикаттарды есептеу теоремасының негізгі ұғымдары. Семантика. Жалпылық және орындалу. Резольвенция принципі.

2

14

Тақырыбы–«Предикаттарды есептеудегі іздеу әдістері».

Мазмұны: Кеңістіктегі күйі бойынша іздеу әдісі. Күйлер кеңістігіндегі іздеу әдістері. Кеңістіктегі есептер жағдайы бойынша есептеу. Предикаттарды құру арқылы іздеу әдістері.

2

15

Тақырыбы–«Жасанды зерде есептері».

Мазмұны: «Соқыр әдістердің» жаттығулары. Редукция әдістерінің есептері. Предикаттарды есептеу жаттығулары.

2

/1, 94-105/

5-семестрдегі ҚОРЫТЫНДЫ:

30

–

Пән бойынша БАРЛЫҒЫ:

30

–