ЛОГИКАЛЫҚ ПРОГРАММАЛАУ ТІЛІ
Кіріспе
Логикалық программалау — информатика курсындағы программалау бағытының маңызды құрамдас бөлігі. Бұл саланың түйінді міндеттерінің бірі — адамның ойлау үдерісін формальдандыру және ақпараттық технологияларды интеллектуалдандыру.
Өзектілігі
Интеллектуалдық іс-әрекеттерді орындайтын қолайлы программалық шешімдер құру үшін математикалық логиканың заңдары мен принциптеріне сүйенген логикалық программалау тілі қажет. Осы қажеттілік курстық жұмыстың тақырыбын «Логикалық программалау» деп таңдауға негіз болды.
Негізгі идея
Есепті алгоритм ретінде емес, фактілер мен ережелер жүйесі ретінде сипаттау — логикалық программалаудың өзегі.
Мақсаты
Курстық жұмыстың мақсаты — логикалық программалау тілдерінің әртүрлі салалардағы есептер үшін программа құру мүмкіндіктерін зерттеу, сондай-ақ Prolog тілінің негізгі қағидаларын тәжірибеде қолдану.
Міндеттері
-
1
Дискретті математика курсының негізгі ұғымдарын меңгеру.
-
2
Математикалық логиканың негізгі мәселелерімен танысу.
-
3
Программалау тілдерінің базалық қағидаларын игеру.
-
4
Prolog тілінің мүмкіндіктерін зерттеу және оларды есептерді шешуде қолдану.
Жұмыстың құрылымы
Кіріспе
Тақырыптың өзектілігі, жұмыстың мақсаты, теориялық маңызы және практикалық құндылығы сипатталады.
1-тарау
Теориялық негіздер: логикалық программалау ұғымдары, Prolog тілі, предикаттар, фактілер, тізімдер және берілгендер қорымен жұмыс істеу.
2-тарау
Prolog тілінің мүмкіндіктері есептің қойылымына сәйкес программалау тәсілдері арқылы көрсетіледі; математикалық және физикалық есептер қарастырылады.
Қорытынды
Логикалық программалаудың маңызы жинақталып, екі тарауда қарастырылған мәселелер мен орындалған міндеттер түйінделеді.
Нені меңгересіз?
- Prolog синтаксисі және логикалық тұжырымдау
- Предикат, факт, ереже ұғымдары
- Тізімдер және олармен жұмыс істеу тәсілдері
- Берілгендер қоры және сұраныстар құру
Курстық жұмыс көлемі — 22 бет.