Kompyuter linvistikasi” fanidan o‘quv-uslubiy majmua

GLOSSARIY
Algоritm nazariyasi - bеrilgan оmmaviy muammоdagi barcha masalalarni umumiy bir shaklda aniq, ma’lum bo’lgan usul bilan еchish jarayoniga aytiladi.
Dizyunksiya - esa zidlanish xarakteridagi tasdiq va inkor tarzida voqealanuvchi, o’zaro muqobil hodisalarni bildiradi. O’zbek tilida yo, yoki, yoxud o’rdamchilari vositasida birikuviga asoslangan paradigmatik munosabat ro’yobga chiqadi.
Ekvivalentlik (ekvivalensiya) amali (teng kuchlilik amali) - bu amal  belgi bilan ifodalanadi va xy murakkab mulohaza “x ekvivalent y” deb o’qiladi. Murakkab mulohaza xy chin bo’ladi agar x va y lar chin, yoki x va y lar yolg’on bo’lsa, boshqa hollarda bu amal yolg’on bo’ladi. Bular “zarur va kifoya”, “faqat va faqat”, “faqat va faqat shundagina”, “qachonki”, “bajarilishi etarli va zarurdir” kabi bog’lovchilar o’rdamida tuziladi.