2-Mavzu Matematik mantiq asoslari. 2 2.1. 2.2. 2.3. 2.4. Tilshunoslikda matematik metodlarni qo’llash.
Matematik mantiqning tilshunoslikdagi ahamiyati.
Mulohazalarni hisoblashning formal nazariyasi.
Mantiq funktsiyalari va ularning berilishi
3-Mavzu Aksiomatik nazariya haqida tushuncha. 2 3.1 3.2. 3.3. 3.4. Tilga matematik yondashuv.
Nazariya simvollari. Nazariya formulalari.
Nazariya aksiomalari. Nazariyaning keltirib chiqarish qoidalari. Nazariya
teoremalari.
Matematik mantiq va tillarni formallashtirishning uzviy bog’liqligi.
4-Mavzu Tilshunoslikda modellashtirish metodidan foydalanish. 2 4.1 4.2 4.3 So’z turkumlarini formallashtirish.
Gap bo’laklarini formallashtirish.
O’zbek, rus va ingliz tillaridagi asosiy gap konstruktsiyalari.
5-Mavzu Kompyuter lingvistikasining asosiy yo’nalishlari. Avtomatik tarjima. 2 5.1. 5.2. 5.3. 5.4. 5.5. 5.6. 5.7. Avtomatik tarjima yo’nalishining tarixi. Tarjimon dasturlar.
Avtomatik tarjima yo’nalishining zamonaviy holati va istiqboli.
Malumotlar bazasini yaratish.
Til o’rgatish jarayonini avtomatlashtirish.
O’qituvchi avtomatlar – o’quv dasturlarini yaratish.
Bilimlarni baholash dasturlarini tuzish.
Malumotlar bazasini yaratish 6-Mavzu Kompyuter analizi va ingliz tilidagi gaplarni o’zbek tiliga tarjima qilish algoritmi.
2 6.1. 6.2. 6.3.
