Узбекистон республикаси олий ваурта махсус таълим вазирлиги

«Kompyuter lingvistikasi» fanining tarkibiy qismlari to’g’ri ko’rsatilgan qatorni belgilang:

1. Matematik mantiq, ehtimollar nazariyasi, injenerlik tilshunosligi.
2. Matematik tilshunoslik, matematik mantiq, injenerlik tilshunosligi.
3. Injenerlik tilshunosligi, toplamlar nazariyasi, matematik mantiq.
4. Ehtimollar nazariyasi, toplamlar nazariyasi, matematik mantiq.

58. 
    Konkret mazmunga ega bo’lgan fikrlarni simvollar bilan almashtirish, formulalar kiritish, proporsional funksiya hosil qilishga ….. deyiladi.
    

1. formallashtirish
2. transformatsiyalashtirish
3. sistemalashtirish
4. distributsiyalashtirish

59. 
    Muhokama jarayonini hukmlarning ichki tuzilishini hisobga olgan holda o’rganuschi formallashgan mantiqiy sistemaga …… deyiladi.
    

1. hukmlar mantiqi
2. predikatlar mantiqi
3. mulohazalar mantiqi
4. simvollar mantiqi

60. 
    Predmet nomlarini ifodalovchi simvollarga …….. deyiladi.
    

1. denotatlar
2. konseptlar
3. konstantalar
4. kvantorlar

61. 
    Gapda predmetlarni, ularning xossalari va munosabatlarini aks ettiruvchi ifodalarga …… deyiladi.
    

1. deskreptiv atamalar
2. denotativ atamalar
3. distributiv atamalar
4. dizyunktiv atamalar

62. 
    Ilmiy til tarkibi quyidagilardan tashkil topadi:
    

1. tabiiy til, sun’iy til, maxsus atamalar
2. tabiiy til, o’lik til, maxsus atamalar
3. maxsus atamalar, kreol tili, sun’iy til.
4. sun’iy til, tabiiy til, o’lik til.

63. 
    “Toshkent - O’zbekiston poytaxti” degan gap matematik mantiq nuqtai nazaridan to’g’ri formallashtirilgan qator:
    

1. S v P
2. S m P
3. S → P
4. S ↔ P

64.