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

Amaliy informatika[tahrir | manbasini tahrirlash]
Hisoblash fanlari, moliya va muhandislik[tahrir | manbasini tahrirlash]
Ilmiy hisoblash (yoki hisoblash fanlari) — bu matematik modellar va miqdoriy tahlil usullarini yaratish va ilmiy muammolarni tahlil qilish va hal qilish uchun kompyuterlardan foydalanish bilan bogʻliq boʻlgan tadqiqot sohasi. Ilmiy hisoblashning asosiy qoʻllanilishi turli jarayonlarni, jumladan, hisoblash suyuqlik dinamikasi, fizik, elektr va elektron tizimlar va sxemalarni, shuningdek, jamiyatlar va ijtimoiy vaziyatlarni (ayniqsa, urush oʻyinlari) ularning yashash joylari bilan bir qatorda simulyatsiya qilishdir. Zamonaviy kompyuterlar samolyot kabi dizaynlarni optimallashtirish imkonini beradi. Elektr va elektron sxemalar dizaynida SPICE,^[67], shuningdek, yangi (yoki oʻzgartirilgan) dizaynlarni jismoniy amalga oshirish uchun dasturiy taʼminot diqqatga sazovordir. Ikkinchisi integral mikrosxemalar uchun muhim dizayn dasturlarini oʻz ichiga oladi.^[68]

Raqamli tahlil	Hisoblash fizikasi	Hisoblash kimyosi	Bioinformatika	Neyroinformatika	Psixoinformatika	Tibbiy informatika	Hisoblash muhandisligi	Hisoblash musiqaologiyasi

Ijtimoiy hisoblash va inson va kompyuterning oʻzaro taʼsiri[tahrir | manbasini tahrirlash]
Ijtimoiy hisoblash — bu ijtimoiy xatti-harakatlar va hisoblash tizimlarining kesishishi bilan bogʻliq boʻlgan soha. Inson va kompyuterning oʻzaro taʼsirini tadqiq qilish foydalanuvchi interfeysi dizaynerlari uchun nazariyalar, tamoyillar va koʻrsatmalarni ishlab chiqadi.
Dasturiy taʼminot muhandisligi[tahrir | manbasini tahrirlash]
Dasturiy taʼminot muhandisligi — bu dasturiy taʼminotni yuqori sifatli, arzon, texnik xizmat koʻrsatish va qurish tezligini taʼminlash uchun uni loyihalash, joriy etish va oʻzgartirishni oʻrganishdir. Bu dasturiy taʼminotni loyihalashda muhandislik amaliyotlarini qoʻllashni oʻz ichiga olgan tizimli yondashuv. Dasturiy taʼminot muhandisligi dasturiy taʼminotni tashkil qilish va tahlil qilish bilan shugʻullanadi — u nafaqat yangi dasturiy taʼminotni yaratish yoki ishlab chiqarish bilan shugʻullanadi, balki uni ichki tartibga solish va texnik xizmat koʻrsatish bilan shugʻullanadi. Misol uchun, dasturiy ta'minot sinovi, tizim muhandisligi, texnik qarz va dasturiy taʼminotni ishlab chiqish jarayonlari .
Kashfiyotlar[tahrir | manbasini tahrirlash]
Kompyuter faylasufi Bill Rapaport kompyuter fanining uchta buyuk tushunchasini qayd etdi:^[69]

• 
  Gotfrid Vilgelm Leybnits, Jorj Bul, Alan Tyuring, Klod Shennon va Samuel Morzening tushunchasi: kompyuter „har qanday narsani“ ifodalash uchun faqat ikkita ob’ekt bilan shugʻullanishi kerak. ^{[note 4]}
  

Hisoblash mumkin boʻlgan har qanday muammo haqidagi barcha maʼlumotlar faqat 0 va 1 (yoki „yoqish/oʻchirish“, „magnitlangan/magnitsizlangan“, „yuqori“ kabi osonlik bilan ajralib turadigan holatlar oʻrtasida oʻzgarishi mumkin boʻlgan boshqa bistable juftlik yordamida ifodalanishi mumkin. -kuchlanish/past kuchlanish" va boshqalar.).

• 
  Alan Turingning tushunchasi: kompyuter „biror narsa“ qilish uchun bajarishi kerak boʻlgan atigi beshta harakat mavjud.
  

Har bir algoritm faqat beshta asosiy koʻrsatmalardan iborat kompyuter uchun tilda ifodalanishi mumkin:^[70]

• 
  bir joydan chapga siljitish;
  
• 
  bir joyga oʻngga siljitish;
  
• 
  joriy joylashuvdagi belgini oʻqish;
  
• 
  joriy joyda 0 ni chop etish;
  
• 
  joriy manzilda 1-ni chop eting.
  

• 
  Corrado Böhm va Juzeppe Jacopini tushunchasi: kompyuter „har qanday narsani“ qilish uchun zarur boʻlgan bu harakatlarni (murakkabroq boʻlganlarga) birlashtirishning faqat uchta usuli mavjud .^[71]
  

Har qanday asosiy koʻrsatmalar toʻplamini yanada murakkabroqlarga birlashtirish uchun faqat uchta qoida kerak:

• 
  ketma-ketlik : avval buni, keyin buni bajaring;
  
• 
  tanlash : AGAR falonchi holat boʻlsa, THEN buni, ELSE buni bajaring;
  
• 
  takrorlash : falon holat boʻlsa, buni bajaring.
  

Eʼtibor bering, Boem va Jacopini tushunchasining uchta qoidasi goto dan foydalanish bilan yanada soddalashtirilishi mumkin (yaʼni bu tizimli dasturlashdan koʻra oddiyroqdir).
Dasturlash paradigmalari[tahrir | manbasini tahrirlash]
Dasturlash tillari turli vazifalarni turli usullarda bajarish uchun ishlatilishi mumkin. Umumiy dasturlash paradigmalariga quyidagilar kiradi:

• 
  Funktsional dasturlash — bu kompyuter dasturlari tuzilmasi va elementlarini qurish uslubi boʻlib, u hisoblashni matematik funksiyalarni baholash sifatida koʻrib chiqadi va holat va oʻzgaruvchan maʼlumotlardan qochadi. Bu deklarativ dasturlash paradigmasi boʻlib, dasturlash bayonotlar oʻrniga ifodalar yoki deklaratsiyalar bilan amalga oshiriladi.^[72]
  
• 
  Imperativ dasturlash — bu dastur holatini oʻzgartiruvchi bayonotlardan foydalanadigan dasturlash paradigmasi.^[73] Tabiiy tillardagi imperativ kayfiyat buyruqlarni ifodalaganidek, imperativ dastur ham kompyuter bajarishi kerak boʻlgan buyruqlardan iborat. Imperativ dasturlash asosan dastur qanday ishlashini tavsiflashga qaratilgan.
  
• 
  Ob'ektga yo'naltirilgan dasturlash, „ob’ektlar“ kontseptsiyasiga asoslangan dasturlash paradigmasi boʻlib, u maʼlumotlarni oʻz ichiga olishi mumkin, koʻpincha atributlar sifatida tanilgan maydonlar koʻrinishida; va kod, koʻpincha usullar sifatida tanilgan protseduralar shaklida. Ob’ektlarning xususiyati shundaki, ob’ekt protseduralari ular bilan bogʻlangan ob’ektning maʼlumotlar maydonlariga kirishi va koʻpincha ularni oʻzgartirishi mumkin. Shunday qilib, ob’ektga yoʻnaltirilgan kompyuter dasturlari bir-biri bilan oʻzaro taʼsir qiluvchi ob’ektlardan iborat.^[74]
  
• 
  Xizmatga yo'naltirilgan dasturlash, integratsiyalashgan biznes ilovalari va muhim dasturiy taʼminot dasturlarini loyihalash va amalga oshirish uchun „xizmatlar“ dan kompyuter ishining birligi sifatida foydalanadigan dasturlash paradigmasi.
  

Koʻpgina tillar bir nechta paradigmalarni qoʻllab-quvvatlaydi, bu farqni texnik imkoniyatlardan koʻra koʻproq uslub masalasiga aylantiradi.^[75]
Tadqiqot[tahrir | manbasini tahrirlash]
Konferensiyalar informatika tadqiqotlari uchun muhim tadbirlardir. Ushbu konferensiyalar davomida davlat va xususiy sektor tadqiqotchilari oʻzlarining soʻnggi ishlarini taqdim etadilar va uchrashadilar. Koʻpgina boshqa akademik sohalardan farqli oʻlaroq, kompyuter fanida konferensiya maʼruzalarining nufuzi jurnal nashrlariga qaraganda kattaroqdir.^[76][77] Buning taklif qilingan tushuntirishlaridan biri shundaki, bu nisbatan yangi sohaning tez rivojlanishi natijalarni tez koʻrib chiqish va tarqatishni talab qiladi, bu vazifani jurnallardan koʻra konferensiyalar yaxshiroq hal qiladi.^[78]
Taʼlim[tahrir | manbasini tahrirlash]