5.2. Тәжірибелік (семинарлық) сабақтар

К

у

р

с

С

е

м

е

с

т

Р

А

п

т

а

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

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

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

Көлемдері,

сағаттар

Әдебиет

1

2

3

4

5

6

3

7

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

30

–

1

Тақырыбы–«Турбо-Прологке кіріспе. Енгізу және шығару предикаты».

Мазмұны: Турбо Пролог жүйесінің басты мәзірі. Экран бетінен бағдарлама қатесіз орындалып болғаннан кейін WRITE предикатында енгізілген жазылымды құрылымның енгізу командасы. Интерактивті терезе. Диалогты ұйымдастыру.

4

/1,6-21/,

/2, 3-10/

2

Тақырыбы – «Турбо-Прологке бағдарламасының құрылымы. Статикалық мәліметтер қоры. Бағдарламаның орындалу түрі».

Мазмұны: Турбо-Пролог тіліндегі негізгі құрылыммен танысу. Турбо-Прологтың негізгі ұғымдары. Бағдарлама құру барысында негізгі келесі шарттар.

4

/1,23-27/,

/2, 11-15/

3

Тақырыбы–«Турбо-Прологта арифметикалық операциялар».

Мазмұны: Турбо-Пролог екі типті домендік сандар. Нақты және аралас сандар. Толық математикалық функция бойынша предикаттар. Турбо-Пролог жүйесінде арифметикалық операторлар.

6

/1,28-39/,

/2, 16-19/

4,5

Тақырыбы–«Рекурсия».

Мазмұны: Бір есептеуді орындау барысындағы ұғымдар, ережелер, фактылар, рекурсиялар. Откат ережелердің орындалу реті және олар өз еркімен реттелуі.

6

/1,40-55/,

/2, 20-25/

6,7

Тақырыбы–«Динамикалық мәліметтер қорымен жұмыс.

Графика және Турбо-Пролог терезесі».

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

6

8

Тақырыбы–«Тізімді пайдалану. Файлдармен жұмыс».

Мазмұны: Тізімдер жұмыс жасалынатын операцияларды игеру, файлдық мәліметтер қорын өңдеу.

4

/1,56-64/,

/2, 26-30/

2-модуль: «Функционалдық программалау»

30

-

9

Тақырыбы–«Huga интерпретаторымен жұмыс істеу негіздері».

Мазмұны: Типтер. Арифметика. Кортеждер. Тізімдер. Жолдар. Функциялар. Шартты өрнектер. Көп функциялы айнымалылыар және функцияны анықтау тәртібі.

5

/1, 106-121/

10

Тақырыбы–«Рекурсия».

Мазмұны: Рекурсия функцияларын анықтау. Тізімді өңдеу үшін функцияларды анықтау.

5

/1, 122-149/

11

Тақырыбы–«Let-байланыс».

Мазмұны: numsFrom функциясы. Қателіктер туралы хабарлама. Қорғалатын шарттар. Полиморфты типтер. Пайдаланушы типтер. Жұптар. Көпмүшелі конструкторлар. Типтердің кластары.

5

/1, 123-127/

12

Тақырыбы–«Операторлар».

Мазмұны: операторларда анықтау. Рекурсивтік типтер. Тізімдер-рекурсивті типтер ретінде. Синтаксистік ағаш.

5

/1, 130-134/

13,14

Тақырыбы–«Жоғары ретті функциялар».

Мазмұны: Map, filter, foldr, foldl функциялары. Жоғары ретті басқа да функциялар. Лямбда-абстракциялар. Секциялар.

5

/1, 135-140/

15

Тақырыбы–«Модулдер».

Мазмұны: Деректердің абстракты типтері. Типтердің синонимдері. Енгізі-шығару амалдары: базалы және стандартты амалдар.

5

/1, 142-150/

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

60

–

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

60

–