7-mavzu.Tiplashtirish.
Ma’lumotlar tiplari haqida tushuncha.Qat’iy tipli tillar. Tipsiz dasturlash tillari. Hindley-Minler tipidagi tizim.
8-mavzu.Tabiiy tillarda ifodalangan ma’lumotlarga ishlov berish usul va algoritmlari.
Grammatik qoidalardan foydalangan holda lingvistik ma’lumotlarni qayta ishlash. Qayta ishlash ma’nosi. Sintaktik tahlil daraxtlarining shakllantirish. Sintaktik tahlil daraxtlaridan ma’no chiqarish uchun foydalanish. DCG (Define clause grammer) yozuvida sintaktik va semantik konstruksiyalarning birgalikda ishlatilishi. Tabiiy tildagi iboralarning ma’nosini aniqlash. Mantiqiy gaplar yordamida oddiy iboralar ma’nosini ifodalash . Tabiiy tillarni qayta ishlash kutubxonalari (GF – Grammer Framework)
9-mavzu.Zamonaviy obyektga yo’naltirilgan dasturli yondoshuvlardan foydalanish.
Asosiy OOP paradigmalari: ADT, inkapsulyatsiya, meros, polimorfizm va ular deklarativ dasturlashda qanday qo’llanilishi . Deklarativ dasturlash tillarida OOP usuli vositalarini amalga oshirish xususiyatlari (Prolog++, Common Lisp va boshqalar).
10-mavzu.Qidiruv algoritmlari.
Qidiruvni amalga oshirishda turli yondoshuvlar. Chuqurlik bo’yicha qidiruv va kreativ chuqurlashtirish. Kenglik bo’yicha qidiruv. Berilgan mezon bo’yicha evristikqidiruv, daraxtlarni qidirish. Asosiy qidiruv usullarini tahlil qilish. Differensiyalash va integratsiyalash. Almashtirishlar, formulalarni soddalashtirish.
12-mavzu.Metadasturlash.
Meta hisoblash – bu dasturlash nazariyasi va amaliyotining metadasturlarin ishlab chiqish va ulardan foydalanish bilan bog’liq bo’limi – dasturlar ustidagi konstruktiv metatizimlar. Meta-hisoblashlar bilan dastlabki tanishish, kompyuter fanining ushbu bo’limining paydo bo’lishi uchun zarur shartlar.
13-mavzu. Sun’iy tafakkur tizimlarini yaratish vositalari va usullari.
Sun’iy intellekt tizimlarini yaratish usullari va vositalari. Sun’iy intellektning ta’rifi, SI tizimlarini yaratish uchun zarur bo’lgan vazifalar doirasi.
Do'stlaringiz bilan baham: |