Тақырыптардың аты
|
Жоспары
|
Өткізу түрі
|
Сағаты
|
1 модульдің аты: Пролог логикалық программалау тілі
|
1-ші апта
|
Тақырып. Пролог логикалық программалау тіліне кіріспе
|
1. Пролог пайда болуы жəне дамуының тарихы.
2. Бесінші ұрпақты ЭЕМ-ң жапондық жобасы.
3. Императивті жəне декларативті программалу тілдері.
4. Прологты қолдану аймақтары.
5. Пролог – программалауды бастапқы үйренудің тілі.
6. Пролог тілінің пайдалану аймақтары.
|
Ақпараттық
|
1
|
2-ші апта
|
Тақырып: Прологтың логикалық негіздері
|
1. Хорновтың дизъюнктері.
2. Резолюция принциптері. Əмбебап алгоритімі.
3. Хорновтық дизъюнктер үшін резолюция əдісімен теоремалар дəлдігі процедурасы.
4. Прологта кері əсер етуші біліммен жұмыс істеу ерекшеліктері.
|
Ақпараттық шолу
|
1
|
3-ші апта
|
Тақырып: Прологтың негізгі түсінігі.
|
1. Айғақтар мен ережелер.
2. Ішкі жəне сыртқы мақсаттардың қарым-қатынасы.
3. Еркін жəне байланысқан айнымалылар.
4. Анонимді айнымалы.
5. “Жасыл” жəне “қызыл” қималар.
6. Прологтың семантикалық моделдері: декларативті жəне процедуралы.
|
Ақпараттық анықтамалық
|
1
|
|
