Kompyuter injiniringi fakulteti dasturiy injiniring yo’nalishi

Rasmiy fanlar - bu mantiq, matematika, nazariy informatika, axborot 
nazariyasi, tizimlar nazariyasi, qarorlar nazariyasi, statistika kabi rasmiy tizimlar 
bilan bog'liq bo'lgan fan sohalari. 
Boshqa sohalardan farqli o'laroq, rasmiy fanlar Real dunyoda kuzatuvlarga 
asoslangan nazariyalarning haqiqiyligi bilan bog'liq emas (empirik bilim), aksincha 
ta'riflar va qoidalarga asoslangan rasmiy tizimlarning xususiyatlari bilan. Shuning 
uchun rasmiy fanlarning aslida fanni tashkil etishi to'g'risida kelishmovchiliklar 
mavjud. Rasmiy fanlarning usullari, ammo kuzatiladigan haqiqat bilan 

---

shug'ullanadigan ilmiy modellarni qurish va sinovdan o'tkazish uchun juda 
muhimdir, va rasmiy fanlarning katta yutuqlari ko'pincha empirik fanlarning katta 
yutuqlariga imkon berdi. 
Tizimlar nazariyasi 
Asosiy maqola: tizimlar nazariyasi 
Tizimlar nazariyasi bo'ladi transdisipliner o'rganish tizimlar umuman 
olganda, tadqiqotning barcha sohalarida barcha turdagi tizimlarga tatbiq etilishi 
mumkin bo'lgan printsiplarni tushuntirish. Bu atama hali aniq, aniq ma'noga ega 
emas, ammo tizimlar nazariyasini oqilona tizim tafakkurining ixtisoslashuvi va 
tizim fanining umumlashtirilishi deb hisoblash mumkin. Bu atama Bertalanffining 
umumiy tizim nazariyasidan (GST) kelib chiqadi va keyingi sohalarda, masalan, 
harakatlar nazariyasida qo'llaniladi Talkott Parsons va sotsiologik avtopoez ning 
Niklas Luhmann. 
Shu nuqtai nazardan so'z tizimlari o'z-o'zini tartibga soluvchi tizimlarga, 
ya'ni teskari aloqa orqali o'z-o'zini tuzatadigan tizimlarga murojaat qilish uchun 
ishlatiladi. O'z-o'zini tartibga soluvchi tizimlar tabiatda, shu jumladan tanamizning 
fiziologik tizimlarida, mahalliy va global ekotizimlarda va iqlimda uchraydi. 
Qarorlar nazariyasi 
Asosiy maqola: qarorlar nazariyasi 
Qarorlar nazariyasi (yoki tanlov nazariyasi bilan aralashmaslik kerak tanlov 
nazariyasi) agentning tanlovini o'rganishdir. qarorlar nazariyasini ikki tarmoqqa 
bo'lish mumkin: normativ qarorlar nazariyasi, bu qarorlarning natijalarini tahlil 
qiladi yoki cheklovlar va taxminlar berilgan maqbul qarorlarni belgilaydi va 
tavsiflovchi qarorlar nazariyasi, bu agentlarning o'zlari qanday qaror qabul 
qilishlarini tahlil qiladi. 

---

Qarorlar nazariyasi sohasi bilan chambarchas bog'liq o'yin nazariyasi va 
fanlararo tomonidan o'rganilgan mavzu iqtisodchilar, statistiklar, psixologlar, 
biologlar, siyosiy va boshqa ijtimoiy olimlar, faylasuflar, va kompyuter olimlari. 
Ushbu boy nazariyaning empirik qo'llanilishi odatda statistik va ekonometrik 
usullar yordamida amalga oshiriladi. 
Nazariy informatika 
Asosiy maqola: nazariy informatika 
Nazariy kompyuter fanlari (TCS) umumiy qismdir kompyuter fanlari va 
matematika ning ko'proq matematik mavzulariga qaratilgan hisoblash, va hisoblash 
nazariyasini o'z ichiga oladi. 
Nazariy sohalarni aniq chegaralash qiyin. ACMning algoritmlar va hisoblash 
nazariyasi bo'yicha maxsus qiziqish guruhi (SIGACT) quyidagi tavsifni beradi: 
TCS turli xil mavzularni qamrab oladi algoritmlar, ma'lumotlar tuzilmalari, 
hisoblash murakkabligi, parallel va taqsimlangan hisoblash, ehtimollik hisoblash, 
kvant hisoblash, avtomatlar nazariyasi, axborot nazariyasi, kriptografiya, dastur 
semantikasi va tekshirish, mashinada o'rganish, hisoblash biologiyasi, hisoblash 
iqtisodiyoti, hisoblash geometriyasi va hisoblash sonlar nazariyasi va algebra. 
Ushbu sohadagi ishlar ko'pincha matematik texnikaga va qat'iylikka qaratilganligi 
bilan ajralib turadi.