2.
|
I. Fanning mazmuni
Ushbu kurs dasturlarni yaratish a yozish uchun deklarativ yondashuv asoslari bo'yicha bi lim olish, ya'ni deklarativ dasturlash tillarini o'rganish, shuningdek, mantiqiy va funksional dasturlash bilan ifodalanadigan deklarativ dasturlashning turli sohalari aspektlari va tamoyillarini o rganishga qaratilgan va yo'naltirilgan.
Ushbu kursni muvaffaqiyatli yak anlash talabalarga dasturlashga nafaqat deklarativ yondashuv, balki imperativ, protsedurali va obyektga yo’naltirilgan dasturlash yondoshuvlarining asoslari va tamoyillarini yaxshiroq tushunishga yordam beradi.
Mantiqiy va funksional dasturlarni yozish ko'nikmalarini egallash esa o'quvchilarni nafaqat murakkab dasturiy ta'minotni eksperimental prototiplash, balki sun'iy intellekt tizimlarini ishlab chiqish muammolarini hal qilish uchun ham kuchli vosita bilan tanishtiradi.
II. Asosiy nazariy qism (ma’ruza mashg‘ulotlari)
II.I. Fan tarkibiga quyidagi mavzular kiradi:
1-mavzu. Deklarativ dasturlash faniga kirish
Fanning asosiy tushunchalari. Dektarativ dasturlash paradigmasi tushunchasi. Deklarativ dasturlash muammolari, ularni hal qilish yo’llari.
2-mavzu. Mantiq. Mantiqiy fikrlashning usul va vositalari
Fan sohasini mantiqiy ifodalash tamoyillari va usullari. Asosiy tuzilmalar. Mantiqiy almashtiıishlar. Faktlar. Mulohazalar hisobi. Birinchi tartibli mantiq. buyurtma predikatlari. Birlashtiruvchi savollar va umumiy o'zgaruvchilar. Birlashtirish. Spetsifikatsiya. Semantika.
3-mavzu.Rezolyutsiya usullari
Klassik isbotlash usullari (Deduksiya teoremasidan foydalanish, qarama-qarshilik yordamida xulosani isbotlash, qarama-qarshilik yordamida isbotlash (ziddiyat bilan), qarshi misol bilan isbotlash va matematik induksiya usuli). Teoremani avtomatik isbotlash usullari. Birinchi tartibli predikatlar hisobining ifodalarini qayta ishlash (o’zgaruvchilarni o’z ichiga olgan mantiqiy formulalar). Qarama-qarshiliklarni izlash orqali teoremalarni isbotlash usuli.
4-5-mavzu.Deklarativ dasturlash vositalari
Matiqiy va funksional dasturlash vositalari: ma’lum ilovalar. Mantiqiy dasturlash tillarini (Prolog, Refal) amalga oshirishni ko’rib chiqish. Funksional dasturlash tillarini (Lips, Haskek, Erlang) amalga oshirishni ko’rib chiqish. Deklarativ dasturlash tillarini qo’llash sohalari.
6-mavzu.Ma’lumotlarning rekursiv tuzilmalari, Daraxtlar va ro’yxatlar
Arifmetika. Ro’yxatlar, massivlar, to’plamlar, rekursiv qoidalar. Rekursiv dasturlarni yaratish. Ikkilik daraxtlar. Belgili ifodalar bilan ishlash.
7-mavzu.Mantiqiy masalalarni yechish usullari
Orqaga qaytish boshqaruvi. Orqaga qaytishning oldini olish. Kesish operatoridan foydalanishga misollar. Maksimalni hisoblash. Ro’yxat a’zoligini tekshirish. Elementni takrorlanmasdan ro’yxatga qo’shish. Kategoriya bo’yicha tasniflash, Maqsadga erishmaslik kabi rad etish. Inkor va kesish operatoridan foydalanish bilan bog’liq muammolar.
|
