"Grammatika" ning ta'rifi

Nazorat savollari:

1. Formula va uning ta’rifini izohlang.

2. Teng kuchli formulalar va teng kuchli bo’lmagan formulalar orasidagi farqlarni izohlab bering.
3. Formulaning normal shaklini izohlang.
4. Formulaning konyuktiv normal shakli (KNSH) va dizyunktiv normal shakli (DNSH) haqida tushuncha.


Adabiyotlar:

1. Пулатов А.К. Тексты лекций по математической и компьютерной лингвистике (электронный вариант). – Ташкент: УзМУ. 2003.

2. Анисимов А.В. Компьютерная лингвистика: мифы, алгоритмы, язык. – Киев: “Наукова думка”. 1991.
3. Ikromova H.Z. Inson - kompyuter - kelajak. – Toshkent: O’zbekiston, 1991. – B. 62-83.
4. Yo’ldoshev B. Matematik va kompyuter lingvistikasi (uslubiy qo’llanma). – Samarqand: SamDU nashri. 2007. – B. 25-26.
5. To’rayev H. Matematik mantiq va diskret matematika. – Toshkent: O’qituvchi, 2003. – B. 77-90.
6. Muxamedova S. Kompyuter lingvistikasi (metodik qo’llanma). – Toshkent: ToshDPU nashri, 2007. – B. 11-14.
7. Bushuy T., Safarov Sh. Til qurilishi: tahlil metodlari va metodologiyasi. – Toshkent: Fan, 2007. – B. 136-149.
8. Bozorov O. Lingvistik model // O’zbek tili va adabiyoti. 2008. № 4. – B. 56-60.
9. Киров Е.Ф. Теоретические проблемы моделирования языка. – Казань: Изд-во Казанского университета, 1989. – С. 8-27.



5- MA’RUZA
MULOHAZALAR HISOBI HAQIDA TUSHUNCHA


Tayanch iboralar: Mulohazalar hisobi, aksiomatik mantiqiy sistema, formal aksiomalar nazariyasi, formal bo’lmagan aksiomalar nazariyasi, formulalar to’plami, mulohazalar hisobining formulasi, isbotlanuvchi formulalar, mulohazalar hisobining simvollari, sillogizmlar qoidasi, murakkab xulosa qoidasi, kontrpozisiya qoidasi
Mulohazalar hisobi aksiomatik mantiqiy sistema bo’lib, mulohazalar algebrasi, uning talqini o’ki interpritasiyasidir.
Berilgan aksiomalar sistemasi negizida qurilgan aksiomatik nazariya deb shu aksiomalar sistemasiga tayanib isbotlanuvchi barcha teoremalar yig’indisi tushuniladi. Aksiomalar nazariyasi ikkiga bo’linadi: