• Birinchi tartibli predikatlar mantiqi (kalkulyatsiyasi)
  • Yo„naltirilgan qidiruv usuli (tarmoqlar va chegaralar)
  • Immutatsion modellashtirish
  • Mantiqiy formulaning kon‟yunktiv normal shakli (NKSH)




    Download 2.63 Mb.
    Pdf ko'rish
    bet88/96
    Sana13.10.2022
    Hajmi2.63 Mb.
    #27163
    1   ...   84   85   86   87   88   89   90   91   ...   96
    Bog'liq
    Kimyoviy-texnologik jarayonlarni matematik modellash
    Илмий тўгарак йиллик иш режаси, ИТИ билан шугул. иқт. тал. ҳақида маълумот.2015 AT, 122222, 4-amaliy Akustik aloqa kameralari va ularning konstruksiyalari. Reverb ka, 12 талик рўйхат , amaliy, 2eee2, Стартап АРИЗА OXIRGI last, 20-ish. О‘tkаzgichning qаrshiligini о‘zgаrmаs tok kо‘prigi yordаmidа аniqlаsh., Axborot xavfsiziligi, himoyalash usullari, 3-маъруза, Algoritm va algoritlash tushunchalari, Amaliy mashg‘ulot Bulutli texnologiyalar. Google asbob uskun (1), algoritm va uning turlari, аралаштиргич амалий
    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. 

    Download 2.63 Mb.
    1   ...   84   85   86   87   88   89   90   91   ...   96




    Download 2.63 Mb.
    Pdf ko'rish

    Bosh sahifa
    Aloqalar

        Bosh sahifa



    Mantiqiy formulaning kon‟yunktiv normal shakli (NKSH)

    Download 2.63 Mb.
    Pdf ko'rish