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


Download 271.95 Kb.
bet5/10
Sana17.06.2023
Hajmi271.95 Kb.
#1527938
1   2   3   4   5   6   7   8   9   10
Bog'liq
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 siqishkriptografiyaxatolarni 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 (n2)











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 tillaravtomatlar 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


Download 271.95 Kb.

Do'stlaringiz bilan baham:
1   2   3   4   5   6   7   8   9   10




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling