FLP 3210 Функционалдық және логикалық программалау

Пәннің оқу бағдарламасы (силлабус)

Жазғы семестр, 2014-2015 оқу жылы

Дәріскер: доцент Тульбасова Б.Қ.

Дәрістік сабақтарды жүргізу уақыты:сабақ кестесі бойынша

Зертханалық сабақтарды жүргізу уақыты:сабақ кестесі бойынша

 

Оқу материалы: «Компьютерлік жүйелердің сәулеті» пәні 2 модульден тұрады.

 

Модуль-дің №	Тақырыбы (модуль)	Көлемдері, сағатпен мөлшерленген
Д	ТЖ/СС	ОЖСӨЖ	СӨЖ
	Логикалық программалау
	Функционалдық программалау және жасанды зерде жүйелері
Барлығы

Пәнді оқытудың мақсаты: функционалдық және логикалық программалауының негізгі түсініктерімен әдістерін, білім инженерия элементтері бар жасанды интеллект есептерін шешу үшін пайдаланатын программалауының ерекшеліктерін зерттеу, формаланбайтын есептер шешу үшін пайдаланатын теориялық базасымен танысу болып табылады.

Бұл пәнді меңгерген студент білуі керек:

- жасанды интеллект есептерінің ерекшеліктерін және сондай есеп шешуінің әдістемесі ретінде функционалдық және логикалық программалауының ролін;

- функционалдық және логикалық программалауының аспаптық құралдарының даму тенденцияларымен болашағы.

Пәнді жетік меңгеру үшін қажетті шарттар (пререквизиттер):«Информатика», «Алгоритмдік тілдерде программалау», «Программалау технологиялары», «Математика», «Объекттік бағытталған программалау» пәндерін оқу кезінде алған білімдеріне, икемділігіне және тәжірибелік ептілігіне негізделеді.

Тәжірибелік сабақтар. Зертханалық жұмыстарәрбір студентке жеке берілетін зертханалық жұмыстарды орындауға арналған дәптерге сәйкес орындалады. Бұл дәптерде әрбір зертханалық жұмыстардың мазмұны мен құрылымы келтірілген.

Өздік жұмыс. Өздік жұмысстуденттердің өздік жұмысынан (СӨЖ) және оқытушының жетекшілігімен студенттердің өздік жұмысынан (ОЖСӨЖ) тұрады.

Студенттердің өздік жұмысы графикке сәйкес орындалады және теориялық материалды өз бетінше оқып үйренумен қорытындыланады. Өз бетінше дайындалуға арналған тақырыптар тізімі мен тапсырмалар оқу семестрінің басында оқытушымен беріледі.

Оқытушының жетекшілігімен студенттердің өздік жұмысы (ОЖСӨЖ) берілген көлемде орындау және бекітілген мерзімде қорғау бойынша бағаланады. ОЖСӨЖ бойынша мүмкін болатын максималды баға – 100%.

Пәнді оқу кезіндегі студенттің жетістігін бақылаудың құрамына сабақ үлгерімін ағымдық бақылау, №1, 2-рубеждік бақылаулары, емтихан кіреді.

Сабақ үлгерімін ағымдық бақылау сабақтыңбарлық түрі бойынша студенттің сабақ үстінде оқытушымен жүргізіледі және пайызбен белгіленеді. Дәріс (сабақ 30, салмағы 40, бағасы 4); зертханалық сабақ (сабақ 60, салмағы 60, бағасы 4); ОЖСӨЖ (сабақ 22, салмағы 20, бағасы 4). Студенттің себепсіз сабақта болмаған жағдайда – «2 балл» алынып тасталады.

Сабақ үлгерімін рубеждік бақылау оқу үрдісінің графигіне сәйкес жүргізіледі және ағымдық үлгерімі бойынша пайызбен бағаланады. №1-рубеж бақылауы (сегізінші аптада), №1, 2-рубеж бақылауы (он бесінші аптада).

Емтихан семестрдің аяғында кесте бойынша жүргізіледі, студенттің рейтинг-рұқсаты (рубеждік бақылаулардың орташа мөлшерлеген бағасы) оң (дұрыс) деп саналған жағдайда емтиханға кіре алады, рейтинг-рұқсат екі рубеждік бақылаудың қосындысы бойынша 50% кем болмауы керек. Емтиханға кірер алдында студенттің, тіркеу бөлімінің «сессияға жіберілді» мөрі басылған сынақ кітапшасы өзімен бірге болуы керек. Емтихан тапсыру кезінде оқулықты пайдалануға рұқсат етілмейді.

Бағалар:Рубеждік бақылаулардың қорытындылары жалпы бағаның 60% құрайды, ал емтихан жалпы бағаның 40% құрайды.

Сабаққа қатысу:студент сабақтың барлық түріне қатысуға міндетті. Сабақтан кешігуге болмайды. Сабақты себепті жағдайлармен жіберу кезінде тапсырмаларды өз бетінше орындауы қажет, қажет болған жағдайда студент оқытушыдан кеңес алуға болады.

Сабақтарға себепсіз жағдайлармен қатыспаған жағдайда, келесі сабақтарға қатысу үшін студент деканаттан міндетті түрде рұқсат алуы керек.

Студенттердің өзін ұстау ережелері. Академияның ҚазККА ұжымының корпоративті мәдениет Кодексіне сәйкес ішкі тәртіп сақтау ережесін қатаң түрде сақтау қажет, сабақ үстінде ұялы телефондар, компьютерлер және басқа да персоналды электронды құрылғылар сөндірілуі қажет.

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

Әдебиет:

Негізгі әдебиеттер:

1. Ахметова М. Функционалдық-логикалық программалау және жасанды зерде жүйелері. Оқу құралы, – Алматы: «Бастау» баспасы, 2012, -330 б.
2. Братко И.Алгоритмы искусственного интеллекта на языке Prolog. М.; Изд. дом «Вильямс», 2004, 636 с.
3. Адаменко А.Н., Кучуков А.М. Логическое программирование и Visual Prolog, СПб.: БХВ-Петербург, 2003, 500 с.
4. Душкин Р.В. Функциональное программирование на языке Haskell, М.: ДМК, 2007, 605 с.
5. Хювёнен Э., Сеппенен И. Мир Lisp’а, М.: Мир, 1990, 300 с.