Kompyuter lingvistikasi

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.