25
XULOSA
Mazkur ishda “Mulohazalar algebrasi formulalarining
chinlik jadvalini hosil
qilish” va Informatika va axborot texnologiyalari fanini o’qitishda xozirgi kundagi
dolzarb bo’lgan metodlarni qo’llay olish haqida ma’lumotlar keltirib o’tilgan .
Hisoblash nazariyasi hisoblashning mavhum modellari
va ular yordamida hal
qilinadigan masalalarning umumiy sinflariga tegishli. Kriptografiya va kompyuter
xavfsizligi sohalari xavfsiz aloqa va xavfsizlik zaifliklarining
oldini olish vositalarini
oʻrganishni oʻz ichiga oladi. Kompyuter grafikasi va hisoblash geometriyasi tasvirlarni
yaratishga qaratilgan. Dasturlash tili nazariyasi hisoblash jarayonlarini tavsiflashning
turli usullarini koʻrib chiqadi va maʼlumotlar bazasi nazariyasi maʼlumotlar omborini
boshqarish bilan bogʻliq. Inson va kompyuterning o'zaro ta'siri
odamlar va
kompyuterlar oʻzaro taʼsir qiladigan interfeyslarni oʻrganadi va dasturiy taʼminot
muhandisligi dasturiy taʼminotni ishlab chiqish ortidagi dizayn va tamoyillarga eʼtibor
beradi. Operatsion tizimlar, tarmoqlar va oʻrnatilgan tizimlar
kabi sohalar murakkab
tizimlar ortidagi printsiplar va dizaynni oʻrganadi. Kompyuter arxitekturasi kompyuter
komponentlari
va
kompyuterda
boshqariladigan
uskunalarning
tuzilishini
tavsiflaydi. Sunʼiy intellekt va mashinani o'rganish odamlar va hayvonlarda mavjud
muammolarni hal qilish, qaror qabul qilish, atrof-muhitga moslashish, rejalashtirish va
oʻrganish kabi maqsadga yoʻnaltirilgan jarayonlarni sintez qilishga qaratilgan. Sunʼiy
intellekt doirasida kompyuterni koʻrish tasvir va video maʼlumotlarini
tushunish
va qayta ishlashga qaratilgan boʻlsa, tabiiy tilni qayta ishlash matn va lingvistik
maʼlumotlarni tushunish va qayta ishlashga qaratilgan.