Informatika — (nemischa: Informatik, fransuzcha: Informatique, inglizcha: computer science komputer fani (aqshda), computing science hisoblash fani (Buyuk Britaniyada)) Informatika

Axborot va kodlash nazariyasi[tahrir | manbasini tahrirlash]
Axborot nazariyasi, ehtimollik va statistika bilan chambarchas bogʻliq boʻlib, maʼlumot miqdorini aniqlash bilan bogʻliq. Bu Klod Shennon tomonidan maʼlumotlarni siqish va maʼlumotlarni ishonchli saqlash va uzatish kabi signallarni qayta ishlash operatsiyalarida asosiy cheklovlarni topish uchun ishlab chiqilgan.^[59] Kodlash nazariyasi — kodlarning xossalari (axborotni bir shakldan ikkinchisiga oʻtkazish tizimlari) va ularning maʼlum bir dastur uchun mosligini oʻrganish. Kodlar ma'lumotlarni siqish, kriptografiya, xatolarni aniqlash va tuzatish uchun va yaqinda tarmoq kodlash uchun ham qoʻllaniladi. Kodlar samarali va ishonchli maʼlumotlarni uzatish usullarini loyihalash maqsadida oʻrganiladi.^[60]

Kodlash nazariyasi	Kanal sig'imi	Algoritmik axborot nazariyasi	Signalni aniqlash nazariyasi	Kolmogorov murakkabligi

Maʼlumotlar tuzilmalari va algoritmlari[tahrir | manbasini tahrirlash]
Maʼlumotlar tuzilmalari va algoritmlari keng tarqalgan ishlatiladigan hisoblash usullari va ularning hisoblash samaradorligini oʻrganishdir.

O (n^2)
Analysis of algorithms	Algorithm design	Data structures	Combinatorial optimization	Computational geometry	Randomized algorithms

Dasturlash tili nazariyasi va rasmiy usullari[tahrir | manbasini tahrirlash]
Dasturlash tili nazariyasi — bu kompyuter fanining dasturlash tillari va ularning individual xususiyatlarini loyihalash, amalga oshirish, tahlil qilish, tavsiflash va tasniflash bilan shugʻullanadigan boʻlimi. U matematika, dasturiy taʼminot muhandisligi va tilshunoslikka bogʻliq va unga taʼsir qiluvchi informatika faniga kiradi. Bu faol tadqiqot yoʻnalishi boʻlib, koʻplab maxsus akademik jurnallar mavjud.
Rasmiy usullar — bu dasturiy va apparat tizimlarini spetsifikatsiya qilish, ishlab chiqish va tekshirish uchun matematik asoslangan texnikaning oʻziga xos turi.^[61] Dasturiy taʼminot va apparatni loyihalash uchun rasmiy usullardan foydalanish, boshqa muhandislik fanlarida boʻlgani kabi, tegishli matematik tahlilni amalga oshirish dizaynning ishonchliligi va mustahkamligiga hissa qoʻshishi mumkin degan umid bilan asoslanadi. Ular dasturiy taʼminot muhandisligi uchun muhim nazariy asosni tashkil qiladi, ayniqsa xavfsizlik yoki xavfsizlik bilan bogʻliq boʻlgan joylarda. Rasmiy usullar dasturiy taʼminotni sinovdan oʻtkazish uchun foydali qoʻshimcha hisoblanadi, chunki ular xatolardan qochishga yordam beradi va sinov uchun asos yaratishi mumkin. Sanoatda foydalanish uchun asboblarni qoʻllab-quvvatlash talab qilinadi. Biroq, rasmiy usullardan foydalanishning yuqori xarajati shuni anglatadiki, ular odatda faqat xavfsizlik yoki xavfsizlik juda muhim boʻlgan yuqori yaxlitlik va hayot uchun muhim tizimlarni ishlab chiqishda qoʻllaniladi. Rasmiy usullar eng koʻp turli xil nazariy informatika asoslarini, xususan, mantiqiy hisoblar, rasmiy tillar, avtomatlar nazariyasi va dastur semantikasini, shuningdek, tizimlar va algebraik maʼlumotlar turlarini dasturiy taʼminot va apparat spetsifikatsiyasidagi muammolarga qoʻllash sifatida tasvirlangan. tekshirish.

	Γ⊢�:Int
Formal semantika	Tip nazariyasi	Kompilyator dizayni	Dasturlash tillari	Rasmiy tekshirish	Avtomatlashtirilgan teoremani isbotlash