a) matematik mantiq va ML muammolarini o’rganish




Download 23.75 Kb.
bet2/7
Sana22.09.2022
Hajmi23.75 Kb.
#26252
1   2   3   4   5   6   7
Bog'liq
formal til nazariyasi

a) matematik mantiq va ML muammolarini o’rganish;
b) KL masalalarini o’rganish;
d) kompyuterda bir tildan ikkinchi bir tilga tarjima qilish uchun lingvistik ta’min asoslarini yaratish va boshqalar.
Natijada keyingi yillarda o’zbek tili grammatikasining kompyuter modelini yaratish asoslari ishlab chiqildi, o’zbek tilidagi internet sahifalarini yaratishning asoslari belgilandi, o’zbek kompyuter adabiyotshunosligi (KA) va KL asoslari ma’lum darajada o’rganildi; inglizcha-o’zbekcha yoki o’zbekcha-inglizcha, ruscha-o’zbekcha yoki o’zbekcha-ruscha tarjimon dasturlari ishlab chiqilmoqda; o’zbek tilidagi matnlarni tahrir qilish dasturlarining 1-versiyalari yaratilmoqda; WINDOWS o’zbek tilidagi operatsion tizimini ishlab chiqish davom etmoqda; hozirgi vaqtda “Qutadg’u bilik”ning internet sahifalari yaratilgan4. Shuningdek, o'zbek lingvistik avtomatini yaratish bo'icha dastlabki ishlar amalga oshirilgan5, kompyuter yordamida ayrim chastotali lug’atlar, ters (chappa), alfavitli lug’atlar tuzilgan, bu sohadagi ishlar hozirgi kunda jadal sur’atlar bilan davom ettirilmoqda. Kompyuter lingvistikasi” fanining predmeti, tarkibiy qismlari, maqsadi va vazifalari. Matematik mantiq asoslari. Tilshunoslikda matematik metodlarni qo’llash. Matematik mantiqning tilshunoslikdagi ahamiyati. Mulohazalarni hisoblashning formal nazariyasi. Mantiq funksiyalari va ularning berilish usullari. Aksiomatik nazariya haqida tushuncha. Tilga matematik yondoshuv. Aksiomatik nazariya simvollari. Aksiomatik nazariya formulalari. Nazariya aksiomalari. Nazariyani keltirib chiaqarish qoidalari. Aksiomatik nazariya teoremalari. Matematik mantiq va tillarni formallashtirishning uzviy bog’liqligi.

Tilshunoslikda modellashtirish metodidan foydalanish. So’z turkumlarini formallashtirish. O’zbek, rus va ingliz tillarini formal jihatdan qiyosiy nahlil qilish.

O’zbek tilida so`zlar va ularning ko’rinishlari. O’zbek tilida tub va yasama so`zlar hamda qo`shimchalarning turlari, ularni formallashtirish usullari. O’zbek tilida mustaqil va yordamchi so`z turkumlarini formallashtirish mezonlari. Ot so`z turkumini formallashtirish. Sifat, son so`z turkumlarini formallashtirish. Fe’l so`z turkumini formallashtirish. Olmosh so`z turkumini formallashtirish. Ravish so`z turkumini formallashtirish. O’zbek tilida yordamchi so`z turkumlarini formallashtirish.


Download 23.75 Kb.
1   2   3   4   5   6   7




Download 23.75 Kb.

Bosh sahifa
Aloqalar

    Bosh sahifa



a) matematik mantiq va ML muammolarini o’rganish

Download 23.75 Kb.