Abdujabbor muhammadiyev

M a n tiq iy  
m o d e lla r
Informatika  hozirgi  zamon  formal  mantig'i  va  mantiqiy  xulosal- 
arni  tahlil  qilish  chambarchas  bog'liq.  Mantiqiy  modellardan  fikr- 
mulohazalarni  modellashtirish,  avtomatika  sxemalarini  mantiqiy 
tavsiflash  va  translyatorlarni  yaratishda  foydalaniladi.  Shundan 
so'ng  bu  modellardagi  axborotlarga  ishlov  berish  algoritmlari, 
yaratilgan  modeldagi  axborotlarni  belgilarda  ifodalashning  muayy­
an  turlari  ishlab  chiqiladi.
Mantiqiy  modellashtirishga  imitatsion  modellashtirish  yaqin  turadi
-   real  obyektlarda,  bu  obyektlarning  hisoblash  mashinalarida 
qo'llanadigan  modellarida  sodir  bo'luvchi  jarayonlarni  aks  etti- 
rishning  maxsus  usullari  yaratiladi  va  ulardan  foydalaniladi.
Nazariya  shuningdek grafik  va  verbal  modellarni  ham farqlaydi.