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
207
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.
Tizimning modelliligi - bu tizim strukturasini, faoliyat ko„rsatish usulini hamda strukturani vaqt o„tishi bilan o„zgartirish qonuniyatlarini rasmiylashtirish imkoniyatidir.
Do'stlaringiz bilan baham: |
