Samarqand davlat universiteti қозон миллий тадқИҚотлар технология университети

Mantiqiy formulaning kon‟yunktiv normal shakli (NKSH)
- 
harflarning birlashmasidan iborat ekvivalent formula deb ataladi, bunda 
"harf" atamasi atom formulasi yoki uning negizi ma‟nosini anglatadi.
Samaradorlik mezoni
- faoliyat ko„rsatishning belgilangan 
maqsadlarini bajarish uchun KTJ ning yaroqlilik darajasini baholovchi 
parametr. 
Bayonlarning mantiqi
- matematik mantiqning bir bo„limi bo„lib, 
unda oddiy bayonotlar bilan operatsiyalar o„rganiladi.
Birinchi tartibli predikatlar mantiqi (kalkulyatsiyasi)
- 
matematik mantiqning bir bo„limi bo„lib, unda bayonotlar mantiqi 
ob‟ektlaridan tashqari, predmet o„zgaruvchilari, predikatlar va 
kvantorlar ham aniqlanadi. 
Lokal kompyuter tarmog„i
- bir-biridan uzoq bo„lmagan 
masofalarda 
joylashgan va o„zaro ulangan axborot-hisoblash 

---

208 
mashinalari, terminal qurilmalar (bosma qurilmalar, alfavitli va grafik 
displeylar, grafikli plotterlar) hamda saqlash qurilmalari (magnitli 
disklar, magnit lentalar) ning ochiq tizimi. 
Lomikont 
- diskret signallarni qabul qilish va berish uchun 
mo„ljallangan va shuning uchun mantiq algebrasiga asoslangan maxsus 
til bilan jihozlangan mikroprotsessor nazoratchisi. 
Yo„naltirilgan qidiruv usuli (tarmoqlar va chegaralar)
- bunda 
alohida variantlar shaklida ifodalanmasdan, balki ularning asl 
to„plamning optimal bo„lmagan elementlaridan iborat yetarlicha katta 
to„plamchalar shaklida. 
Analitik modellashtirish
- analitik modellashtirishda tizim yoki 
uning elementlari modeli kirish, chiqish parametrlari va holat 
parametrlari o„rtasidagi analitik bog„liqlik shakliga ega. 
Immutatsion modellashtirish
- immutatsion modellashtirishda 
o„rganilayotgan ob‟ekt ishlash jarayoning kirish, chiqish va holat 
parametrlari o„rtasidagi analitik bog„liqliklar bo„lmasa kompyuterda 
qayta ishlab chiqiladi.