Informatika sahifasining manbasini koʻrish

{{xatolar}}
'''Informatika''' — ({{lang-de|Informatik}}, {{lang-fr|Informatique}}, {{lang-en|computer science - komputer fani (AQShda), computing science - hisoblash fani (Buyuk Britaniyada)}})

'''Informatika''' [[hisoblash]], [[Avtomatika|avtomatlashtirish]] va [[Axborot|axborotni]] oʻrganadi.<ref>{{Veb manbasi|sarlavha=What is Computer Science? - Computer Science. The University of York|url=https://www.cs.york.ac.uk/undergraduate/what-is-cs/|kirish sanasi=11-iyun 2020-yil|ish=www.cs.york.ac.uk}}</ref> Kompyuter fanlari nazariy fanlarni (masalan, [[Algoritm|algoritmlar]], hisoblash nazariyasi, [[Informatsiya nazariyasi|axborot nazariyasi]] va avtomatlashtirish) [[Amaliy fan|amaliy fanlarga]] (jumladan, [[Kompyuter arxitekturasi|apparat]] va [[Dasturlash|dasturiy taʼminotni] va joriy etish) qamrab oladi.<ref>{{Veb manbasi|url=http://wordnetweb.princeton.edu/perl/webwn?s=computer%20scientist|sarlavha=WordNet Search—3.1|nashriyot=Wordnetweb.princeton.edu|qaralgan sana=14-may 2012-yil}}</ref><ref>{{Veb manbasi|sarlavha=Definition of computer science {{!}} Dictionary.com|url=https://www.dictionary.com/browse/computer-science|kirish sanasi=11-iyun 2020-yil|ish=www.dictionary.com|til=inglizcha}}</ref><ref>{{Veb manbasi|sarlavha=What is Computer Science? {{!}} Undergraduate Computer Science at UMD|url=https://undergrad.cs.umd.edu/what-computer-science|kirish sanasi=15-iyul 2022-yil|ish=undergrad.cs.umd.edu}}</ref> Kompyuter fanlari odatda [[Ilmiy tadqiqot|akademik tadqiqot]] sohasi hisoblanadi va [[Dasturlash|kompyuter dasturlashdan]] farq qiladi.<ref>{{jurnal manbasi|last=Denning|first1=P.J.|last2=Comer|first2=D.E.|last3=Gries|first3=D.|last4=Mulder|first4=M.C.|last5=Tucker|first5=A.|last6=Turner|first6=A.J.|last7=Young|first7=P.R.|date=1989-yil fevral|title=Computing as a discipline|url=https://ieeexplore.ieee.org/document/19833|journal=Computer|volume=22|issue=2|pages=63–70|doi=10.1109/2.19833|issn=1558-0814|quote=Those in the discipline know that computer science encompasses far more than programming.}}</ref>

[[Algoritm|Algoritmlar]] va [[Maʼlumotlar tuzilmasi|maʼlumotlar tuzilmalari]] kompyuter fanida markaziy oʻrinni egallaydi.<ref>{{Kitob manbasi|last=Harel|first=David|url=http://worldcat.org/oclc/876384882|title=Algorithmics The Spirit of Computing|date=2014|publisher=Springer Berlin|isbn=978-3-642-44135-6|oclc=876384882}}</ref> 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|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. [[Ishlatuv tizimi|Operatsion tizimlar]], [[Kompyuter tarmogʻi|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 ong|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.

Informatika fanining asosiy vazifasi nimani avtomatlashtirish mumkin va nima mumkin emasligini aniqlashdir.<ref>{{Kitob manbasi|last=The MIT Press|title=What Can Be Automated? Computer Science and Engineering Research Study {{!}} The MIT Press|url=https://mitpress.mit.edu/books/what-can-be-automated|accessdate=|series=Computer Science Series|date=30-aprel 1980-yil|publisher=MIT Press|isbn=9780262010603|language=inglizcha}}</ref><ref>{{Citation|last=Patton|first1=Richard D.|title=What Can Be Automated? What Cannot Be Automated?|date=2009|url=https://doi.org/10.1007/978-3-540-78831-7_18|journal=Springer Handbook of Automation|pages=305–313|editor-last=Nof|editor-first=Shimon Y.|series=Springer Handbooks|place=Berlin, Heidelberg|publisher=Springer|language=inglizcha|doi=10.1007/978-3-540-78831-7_18|isbn=978-3-540-78831-7|access-date=3-mart 2022-yil|last2=Patton|first2=Peter C.}}</ref><ref>{{jurnal manbasi|last=Denning|first1=P.J.|last2=Comer|first2=D.E.|last3=Gries|first3=D.|last4=Mulder|first4=M.C.|last5=Tucker|first5=A.|last6=Turner|first6=A.J.|last7=Young|first7=P.R.|date=1989-yil fevral|title=Computing as a discipline|url=https://ieeexplore.ieee.org/document/19833|journal=Computer|volume=22|issue=2|pages=63–70|doi=10.1109/2.19833|issn=1558-0814|quote=The discipline of computing is the systematic study of algorithmic processes that describe and transform information, their theory, analysis, design, efficiency, implementation, and application. The fundamental question underlying all of computing is, 'What can be (efficiently) automated?'}}</ref><ref>{{jurnal manbasi|last=Forsythe|first1=George|date=August 5–10, 1969|title=Computer Science and Education|journal=Proceedings of IFIP Congress 1968|quote=The question 'What can be automated?' is one of the most inspiring philosophical and practical questions of contemporary civilization.}}</ref><ref>{{jurnal manbasi|last=Knuth|first1=Donald E.|date=1-avgust 1972-yil|title=George Forsythe and the development of computer science|url=https://doi.org/10.1145/361532.361538|journal=Communications of the ACM|volume=15|issue=8|pages=721–726|doi=10.1145/361532.361538|issn=0001-0782}}</ref> Turing mukofoti odatda informatika sohasidagi eng yuqori tabaqa sifatida tan olinadi.<ref>{{jurnal manbasi|last=Hanson|first1=Vicki L.|date=23-yanvar 2017-yil|title=Celebrating 50 years of the Turing award|url=https://dl.acm.org/doi/fullHtml/10.1145/3033604|journal=Communications of the ACM|volume=60|issue=2|pages=5|doi=10.1145/3033604|issn=0001-0782}}</ref><ref>{{jurnal manbasi|last=Scott|first1=Eric|last2=Martins|first2=Marcella Scoczynski Ribeiro|last3=Yafrani|first3=Mohamed El|last4=Volz|first4=Vanessa|last5=Wilson|first5=Dennis G|date=5-iyun 2018-yil|title=ACM marks 50 years of the ACM A.M. turing award and computing's greatest achievements|url=https://doi.org/10.1145/3231560.3231563|journal=ACM SIGEVOlution|volume=10|issue=3|pages=9–11|doi=10.1145/3231560.3231563}}</ref>

== Tarixi ==
[[Fayl:Ada_lovelace.jpg|link=https://upload.wikimedia.org/wikipedia/commons/thumb/0/0f/Ada_lovelace.jpg/170px-Ada_lovelace.jpg|thumb|[[Ada Lovelace]] kompyuterda qayta ishlash uchun moʻljallangan birinchi [[Algoritm|algoritmni]] nashr etdi.<ref>{{Veb manbasi|url=http://www.computerhistory.org/babbage/adalovelace/|sarlavha=Ada Lovelace {{!}} Babbage Engine {{!}} Computer History Museum|ish=www.computerhistory.org|kirish sanasi=28 December 2016}}</ref>]]
[[Fayl:Babbage40.png|link=https://upload.wikimedia.org/wikipedia/commons/thumb/6/67/Babbage40.png/170px-Babbage40.png|thumb|Charlz Bebbij, baʼzan „hisoblashning otasi“ deb ataladi.<ref>{{Veb manbasi|url=http://www.cbi.umn.edu/about/babbage.html|sarlavha=Charles Babbage Institute: Who Was Charles Babbage?|ish=cbi.umn.edu|kirish sanasi=28 December 2016}}</ref>]]
Informatika fanining eng dastlabki asoslari zamonaviy [[Kompyuter|raqamli kompyuter]] ixtirosidan oldin paydo boʻlgan. Abak kabi sobit raqamli vazifalarni [[Abak|hisoblash]] uchun mashinalar antik davrdan beri mavjud boʻlib, koʻpaytirish va boʻlish kabi hisob-kitoblarga yordam beradi. Hisoblashlarni amalga oshirish [[Algoritm|algoritmlari]] qadimgi davrlardan, hatto murakkab hisoblash texnikasi yaratilgunga qadar ham mavjud boʻlgan.<ref>{{Veb manbasi|sarlavha=History of Computer Science|url=https://cs.uwaterloo.ca/~shallit/Courses/134/history.html#:~:text=In%20the%201960%27s,%20computer%20science,person%20to%20receive%20a%20Ph.|kirish sanasi=15-iyul 2022-yil|ish=cs.uwaterloo.ca}}</ref>

Vilgelm Schickard 1623-yilda birinchi ishlaydigan [[Hisoblash mashinasi|mexanik kalkulyatorni]] loyihalashtirgan va qurgan<ref>{{Veb manbasi|sarlavha=Wilhelm Schickard – Ein Computerpionier|url=http://www.fmi.uni-jena.de/fmimedia/Fakultaet/Institute+und+Abteilungen/Abteilung+f%C3%BCr+Didaktik/GDI/Wilhelm+Schickard.pdf|til=de|kirish sanasi=4-dekabr 2016-yil|arxivsana=19-sentabr 2020-yil|arxivurl=https://web.archive.org/web/20200919014352/https://www.fmi.uni-jena.de/fmimedia/Fakultaet/Institute+und+Abteilungen/Abteilung+f%C3%BCr+Didaktik/GDI/Wilhelm+Schickard.pdf}}</ref> 1673-yilda [[Gottfried Leibniz|Gotfrid Leybnits qadamli]] hisoblagich deb nomlangan raqamli mexanik kalkulyatorni namoyish etdi.<ref>{{Veb manbasi|sarlavha=A Brief History of Computing|url=http://blogs.royalsociety.org/history-of-science/2012/06/25/history-of-computing/|ism=Fiona|muallif=Keates|ish=The Repository|nashriyot=The Royal Society|sana=25-iyun 2012-yil|qaralgan sana=19-yanvar 2014-yil|arxivsana=29-iyun 2012-yil|arxivurl=https://web.archive.org/web/20120629072020/http://blogs.royalsociety.org/history-of-science/2012/06/25/history-of-computing/}}</ref> Turli sabablarga koʻra, jumladan, ikkilik sanoq tizimini hujjatlashtirgani uchun Leybnitsni birinchi [[kompyuter olimi]] va axborot nazariyotchisi deb hisoblash mumkin. 1820-yilda Tomas de Kolmar oʻzining soddalashtirilgan<ref group="note">In 1851</ref> ixtiro qilganda [[Hisoblash mashinasi|mexanik kalkulyator]] sanoatini ishga [[Arifmometr|tushirdi]], bu birinchi hisoblash mashinasi ofis muhitida kundalik foydalanish uchun etarlicha kuchli va ishonchli. Charlz Bebbij 1822-yilda oʻzining " Difference Engine " ning birinchi ''avtomatik mexanik kalkulyatorini'' loyihalashni boshladi, bu esa oxir-oqibat unga ''dasturlashtiriladigan birinchi mexanik kalkulyator'' — oʻzining Analitik dvigateli gʻoyasini berdi.<ref>{{Veb manbasi|sarlavha=Science Museum, Babbage's Analytical Engine, 1834-1871 (Trial model)|url=https://collection.sciencemuseumgroup.org.uk/objects/co62245/babbages-analytical-engine-1834-1871-trial-model-analytical-engines|kirish sanasi=11-may 2020-yil}}</ref> U 1834-yilda ushbu mashinani ishlab chiqishni boshladi va „ikki yildan kamroq vaqt ichida u zamonaviy kompyuterning koʻplab [[wiktionary:Special:Search/salient|muhim]] xususiyatlarini aniqladi“.<ref name="Hyman1982">{{Kitob manbasi|last=Anthony Hyman|title=Charles Babbage, pioneer of the computer|url=https://archive.org/details/charlesbabbagepi0000hyma|year=1982|isbn=9780691083032}}</ref> „ [[Jakkard mashinasi|Jacquard toʻquv dastgohidan]] olingan perfokarta tizimini qabul qilish muhim qadam boʻldi“<ref name="Hyman1982" /> uni cheksiz dasturlash imkonini beradi.<ref group="note">"The introduction of punched cards into the new engine was important not only as a more convenient form of control than the drums, or because programs could now be of unlimited extent, and could be stored and repeated without the danger of introducing errors in setting the machine by hand; it was important also because it served to crystallize Babbageʼs feeling that he had invented something really new, something much more than a sophisticated calculating machine." [[Computer science#COLLIER|Bruce Collier]], 1970</ref> 1843-yilda Analitik dvigatel haqidagi fransuz maqolasini tarjima qilish paytida, [[Ada Lovelace]] oʻzi kiritgan koʻplab eslatmalardan birida [[Bernoulli sonlari|Bernoulli raqamlarini]] hisoblash algoritmini yozgan, bu esa amalga oshirish uchun maxsus moʻljallangan birinchi nashr etilgan algoritm hisoblanadi. kompyuterda.<ref>{{Veb manbasi|url=http://www.scottlan.edu/Lriddle/women/ada-love.htm|sarlavha=A Selection and Adaptation From Ada's Notes found in Ada, The Enchantress of Numbers, " by Betty Alexandra Toole Ed.D. Strawberry Press, Mill Valley, CA|qaralgan sana=4-may 2006-yil|arxivurl=https://web.archive.org/web/20060210172109/http://www.scottlan.edu/lriddle/women/ada-love.htm|arxivsana=February 10, 2006}}</ref> Taxminan 1885-yilda Herman Xollerit statistik maʼlumotlarni qayta ishlash uchun perfokartalardan foydalangan [[Tabulyator|tabulatorni]] ixtiro qildi; oxir-oqibat uning kompaniyasi [[IBM|IBMning]] bir qismiga aylandi. Bebbijdan keyin, garchi oʻzining oldingi ishlaridan bexabar boʻlsa ham, Persi Ludgeyt 1909-yilda<ref>{{Veb manbasi|url=https://scss.tcd.ie/SCSSTreasuresCatalog/miscellany/TCD-SCSS-X.20121208.002/TCD-SCSS-X.20121208.002.pdf/|sarlavha=The John Gabriel Byrne Computer Science Collection|qaralgan sana=8-avgust 2019-yil|arxivurl=https://web.archive.org/web/20190416071721/https://www.scss.tcd.ie/SCSSTreasuresCatalog/miscellany/TCD-SCSS-X.20121208.002/TCD-SCSS-X.20121208.002.pdf|arxivsana=April 16, 2019}}</ref> tarixdagi mexanik analitik dvigatellar uchun ikkita dizayndan ikkinchisini nashr etdi. 1937-yilda, Bebbijning amalga oshirib boʻlmaydigan orzusidan 100 yil oʻtgach, Govard Eyken barcha turdagi perfokarta uskunalarini ishlab chiqaruvchi va kalkulyator biznesi<ref>"In this sense Aiken needed IBM, whose technology included the use of punched cards, the accumulation of numerical data, and the transfer of numerical data from one register to another", [[Computer science#HAIKEN|Bernard Cohen]], p.44 (2000)</ref> shugʻullanuvchi IBM kompaniyasini oʻzining ulkan dasturlashtiriladigan kalkulyatori [[Garvard Mark I|ASCC/Garvard Mark I]] ni yaratishga ishontirdi. Babbageʼs Analytical Engine-da, uning oʻzi kartalar va markaziy hisoblash blokidan foydalangan. Mashina tugagach, baʼzilar buni „Bebbijning orzusi amalga oshdi“ deb olqishladi.<ref>[[Computer science#CITEREFRandell1973|Brian Randell]], p. 187, 1975</ref>

1940-yillarda, [[Atanasoff - Berry kompyuteri|Atanasoff-Berry kompyuteri]] va [[ENIAC]] kabi yangi va kuchliroq [[Hisoblash texnikasi|hisoblash]] mashinalarining rivojlanishi bilan ''kompyuter'' atamasi ularning insoniy oʻtmishdoshlariga emas, balki mashinalarga nisbatan qoʻllanila boshlandi.<ref>The [[Association for Computing Machinery]] (ACM) was founded in 1947.</ref> Kompyuterlardan faqat matematik hisob-kitoblar uchun emas, balki koʻproq foydalanish mumkinligi maʼlum boʻlganligi sababli, informatika sohasi umuman [[Hisoblash|hisoblashni]] oʻrganish uchun kengaydi. 1945-yilda [[IBM]] [[New York (shahar)|Nyu-York shahridagi]] [[Columbia universiteti|Kolumbiya universitetida]] [[Tomas J. Uotson tadqiqot markazi|Uotson ilmiy hisoblash laboratoriyasiga]] asos soldi. Manxettenning gʻarbiy tomonidagi yangilangan birodarlik uyi IBMning sof fanga bagʻishlangan birinchi laboratoriyasi edi. Laboratoriya bugungi kunda butun dunyo boʻylab tadqiqot obyektlarini boshqaradigan IBM tadqiqot boʻlimining asoschisi hisoblanadi.<ref>{{Veb manbasi|url=https://www.ibm.com/ibm/history/history/year_1945.html|sarlavha=IBM Archives: 1945|sana=23-yanvar 2003-yil|nashriyot=Ibm.com|qaralgan sana=19-mart 2019-yil}}</ref> Oxir oqibat, IBM va Kolumbiya universiteti oʻrtasidagi yaqin aloqalar yangi ilmiy fanning paydo boʻlishida muhim rol oʻynadi, Kolumbiya 1946-yilda kompyuter fanlari boʻyicha birinchi akademik-kredit kurslaridan birini taklif qildi<ref>{{Veb manbasi|url=https://www.ibm.com/ibm/history/ibm100/us/en/icons/compsci/|sarlavha=IBM100 – The Origins of Computer Science|nashriyot=Ibm.com|sana=15-sentabr 1995-yil|qaralgan sana=19-mart 2019-yil}}</ref> Informatika 1950-yillar va 1960-yillarning boshlarida alohida akademik fan sifatida shakllana boshladi.<ref name="Denning_cs_discipline">{{jurnal manbasi|last=Denning|first1=Peter J.|author-link=Peter J. Denning|year=2000|title=Computer Science: The Discipline|url=http://www.idi.ntnu.no/emner/dif8916/denning.pdf|journal=Encyclopedia of Computer Science|archiveurl=https://web.archive.org/web/20060525195404/http://www.idi.ntnu.no/emner/dif8916/denning.pdf|archivedate=May 25, 2006}}</ref><ref>{{Veb manbasi|url=http://www.cl.cam.ac.uk/conference/EDSAC99/statistics.html|sarlavha=Some EDSAC statistics|nashriyot=University of Cambridge|qaralgan sana=19-noyabr 2011-yil}}</ref> 1953-yilda [[Cambridge universiteti|Kembrij universiteti]] [[Kembrij kompyuter laboratoriyasi|kompyuter laboratoriyasida]] dunyodagi birinchi kompyuter fanlari boʻyicha diplom dasturi, [[Kompyuter fanlari bo'yicha Kembrij diplomi|Kembrij diplomi kompyuter fanlari boʻyicha]] boshlangan. Qoʻshma Shtatlardagi birinchi kompyuter fanlari boʻlimi 1962-yilda [[Purdue universiteti|Purdue universitetida]] tashkil etilgan<ref>{{Veb manbasi|url=http://www.cs.purdue.edu/about/conte.html|sarlavha=Computer science pioneer Samuel D. Conte dies at 85|sana=1-iyul 2002-yil|nashriyot=Purdue Computer Science|qaralgan sana=12-dekabr 2014-yil}}</ref> Amaliy kompyuterlar mavjud boʻlganidan beri, hisoblashning koʻplab ilovalari oʻz huquqlarida alohida oʻrganish sohalariga aylandi.

== Etimologiya ==
Garchi birinchi marta 1956-yilda taklif qilingan boʻlsa-da,<ref name="Tedre2014">{{Kitob manbasi|last=Tedre|first=Matti|title=The Science of Computing: Shaping a Discipline|publisher=Taylor and Francis / CRC Press|year=2014}}</ref> „informatika“ atamasi 1959-yilda ''[[ACM kommunikatsiyalari|ACMning Communications]]'' jurnalidagi<ref name="Fine_1959">{{jurnal manbasi|last=Louis Fine|year=1960|title=The Role of the University in Computers, Data Processing, and Related Fields|journal=Communications of the ACM|volume=2|issue=9|pages=7–14|doi=10.1145/368424.368427}}</ref> maqolasida paydo boʻladi, unda Lui Feyn [[Harvard maktabi|Garvard universitetining]] yaratilishiga oʻxshash ''kompyuter fanlari boʻyicha Oliy maktabni'' yaratish haqida bahs yuritadi. 1921-yilda [[Harvard maktabi|biznes maktabi]]<ref>{{Veb manbasi|sarlavha=Stanford University Oral History|url=http://library.stanford.edu/guides/stanford-university-oral-history|nashriyot=Stanford University|qaralgan sana=30-may 2013-yil}}</ref> Lui bu nomni [[menejment fani]] kabi fan amaliy va fanlararo xususiyatga ega boʻlib, shu bilan birga akademik intizomga xos xususiyatlarga ega ekanligini taʼkidlab oqlaydi.<ref name="Fine_1959" /> Uning saʼy-harakatlari va [[Hisoblash matematikasi|raqamli tahlilchi]] [[Jorj Forsit]] kabi boshqalarning saʼy-harakatlari taqdirlandi: universitetlar 1962-yilda Purduedan boshlab bunday boʻlimlarni yaratishga kirishdilar<ref>[[Donald Knut|Donald Knuth]] (1972). ''[http://www.stanford.edu/dept/ICME/docs/history/forsythe_knuth.pdf „George Forsythe and the Development of Computer Science“]''. ''Comms. ACM''. {{Webarxiv}}</ref> Nomiga qaramay, kompyuter fanining katta qismi kompyuterlarning oʻzini oʻrganishni oʻz ichiga olmaydi. Shu sababli, bir nechta muqobil nomlar taklif qilindi.<ref>{{Veb manbasi|muallif=Matti Tedre|yil=2006|url=http://epublications.uef.fi/pub/urn_isbn_952-458-867-6/urn_isbn_952-458-867-6.pdf|arxivurl=https://ghostarchive.org/archive/20221009/http://epublications.uef.fi/pub/urn_isbn_952-458-867-6/urn_isbn_952-458-867-6.pdf|arxivsana=2022-10-09|sarlavha=The Development of Computer Science: A Sociocultural Perspective|qaralgan sana=12-dekabr 2014-yil}}</ref> Yirik universitetlarning baʼzi boʻlimlari bu farqni aniq taʼkidlash uchun ''hisoblash fanlari'' atamasini afzal koʻrishadi. Daniyalik olim [[Piter Naur]] ''datalogy'' atamasini taklif qildi<ref>{{jurnal manbasi|last=Peter Naur|year=1966|title=The science of datalogy|journal=Communications of the ACM|volume=9|issue=7|page=485|doi=10.1145/365719.366510}}</ref> ilmiy intizom maʼlumotlar va maʼlumotlarni qayta ishlash atrofida aylanadi, deb haqiqatni aks ettirish uchun, albatta, kompyuterlar jalb emas. Ushbu atamani ishlatgan birinchi ilmiy muassasa 1969-yilda tashkil etilgan [[Kopengagen]] universitetining Datalogiya kafedrasi boʻlib, Peter Naur datalogiya boʻyicha birinchi professor boʻlgan. Bu atama asosan Skandinaviya mamlakatlarida qoʻllaniladi. Naur tomonidan ham taklif qilingan muqobil atama [[Ma'lumotlar fani|maʼlumotlar]] fanidir; Bu endi maʼlumotlarni tahlil qilishning [[ko'p tarmoqli]] sohasi, jumladan, statistika va maʼlumotlar bazalari uchun ishlatiladi.

Hisoblashning dastlabki kunlarida ''ACM kommunikatsiyalarida'' hisoblash sohasi amaliyotchilari uchun bir qator atamalar taklif qilingan — ''turingineer'', ''turolog'', ''oqim jadvallari-odam'', ''amaliy meta-matematik'' va ''amaliy [[Epistemologiya|epistemolog]]'' .<ref>{{jurnal manbasi|date=<!-- missing! -->|volume=1|issue=4|page=6|doi=10.1145/368796.368802|last=Weiss|first1=E.A.|title=Letters to the editor|journal=Communications of the ACM|last2=Corley|first2=Henry P.T.}}</ref> Uch oy oʻtgach, xuddi shu jurnalda ''komptolog'', keyingi yil esa ''gipolog'' taklif qilindi.<ref>Communications of the ACM 2 (1):p.4</ref> ''Hisoblash'' atamasi ham taklif qilingan.<ref>IEEE Computer 28 (12): p.136</ref> Yevropada „avtomatik maʼlumot“ (masalan, italyancha „informazione automatica“) yoki „axborot va matematika“ iboralarining shartnomaviy tarjimalaridan olingan atamalar tez-tez ishlatiladi, masalan ''informatique'' (fransuz), ''Informatik'' (nemis), ''informatica'' (italyan, golland.), ''informática'' (ispan, portugal), ''informatika'' ([[slavyan tillari]] va [[Venger tili|venger]]) yoki ''pliroforiki'' (''pliroforikk'', bu informatika degan maʼnoni anglatadi) [[Yunon tili|yunoncha]] . Shunga oʻxshash soʻzlar Buyuk Britaniyada ham qabul qilingan ([[Informatika maktabi, Edinburg universiteti|Edinburg universiteti Informatika maktabida]] boʻlgani kabi).<ref>P. Mounier-Kuhn, ''L’Informatique en France, de la seconde guerre mondiale au Plan Calcul. L'émergence d’une science'', Paris, PUPS, 2010, ch. 3 & 4.</ref> „Biroq AQShda [[informatika]] amaliy hisoblash yoki boshqa domen kontekstida hisoblash bilan bogʻliq.“<ref>{{Veb manbasi|muallif=Groth|ism=Dennis P.|url=http://cacm.acm.org/magazines/2010/2/69363-why-an-informatics-degree|sarlavha=Why an Informatics Degree?|sana=2010-yil fevral|ish=Communications of the ACM|nashriyot=Cacm.acm.org}}</ref>

Koʻpincha [[Edsger V. Deykstra|Edsger Deykstraga]] tegishli boʻlgan — lekin deyarli birinchi boʻlib shakllantirilmagan — folklor iqtibosida „Kompyuter fanlari astronomiya teleskoplar haqida boʻlgani kabi kompyuterlar haqida emas“ deb taʼkidlaydi.<ref group="note">See the entry „[[wikiquote:Computer science|Computer science]]“ on Wikiquote for the history of this quotation.</ref> Kompyuterlar va kompyuter tizimlarini loyihalash va joylashtirish odatda informatikadan boshqa fanlar viloyati hisoblanadi. Masalan, kompyuter texnikasini oʻrganish odatda [[Kompyuter muhandisligi|kompyuter injiniringining]] bir qismi hisoblanadi, tijorat [[Kompyuter|kompyuter tizimlari]] va ularni joylashtirishni oʻrganish esa koʻpincha axborot texnologiyalari yoki [[Axborot tizimi|axborot tizimlari]] deb ataladi. Biroq, kompyuter bilan bogʻliq turli fanlar oʻrtasida fikr almashildi. Kompyuter fanlari tadqiqotlari koʻpincha [[kognitiv fan]], [[Hisoblash tilshunosligi|tilshunoslik]], [[matematika]], [[fizika]], [[biologiya]], [[Yer haqidagi fan|Yer fani]], [[Hisoblash statistikasi|statistika]], [[falsafa]] va [[mantiq]] kabi boshqa fanlar bilan kesishadi.

Baʼzilar kompyuter fanini koʻplab ilmiy fanlarga qaraganda matematika bilan yaqinroq bogʻliq deb hisoblashadi, baʼzi kuzatuvchilar esa hisoblashni matematika fanidir, deyishadi.<ref name="Denning_cs_discipline2">{{jurnal manbasi|last=Denning|first1=Peter J.|author-link=Peter J. Denning|year=2000|title=Computer Science: The Discipline|url=http://www.idi.ntnu.no/emner/dif8916/denning.pdf|journal=Encyclopedia of Computer Science|archiveurl=https://web.archive.org/web/20060525195404/http://www.idi.ntnu.no/emner/dif8916/denning.pdf|archivedate=May 25, 2006}}</ref> Ilk kompyuter faniga [[Kurt Gödel]], [[Alan Turing|Alan Tyuring]], [[Jon fon Neyman]], [[Rózsa Péter|Rozsa Peter]] va [[Alonzo cherkovi|Alonzo cherkov]] kabi matematiklarning ishlari kuchli taʼsir koʻrsatgan va [[matematik mantiq]], [[Kategoriyalar nazariyasi|kategoriya]] kabi sohalarda ikki soha oʻrtasida foydali fikr almashuvi davom etmoqda. [[Kategoriyalar nazariyasi|nazariya]], [[domen nazariyasi]] va [[algebra]] .<ref name="Tedre20142">{{Kitob manbasi|last=Tedre|first=Matti|title=The Science of Computing: Shaping a Discipline|publisher=Taylor and Francis / CRC Press|year=2014}}</ref>

Kompyuter fanlari va dasturiy taʼminot muhandisligi oʻrtasidagi munosabatlar munozarali masala boʻlib, u „Dasturiy taʼminot muhandisligi“ atamasi nimani anglatishini va kompyuter fanining qanday taʼriflanishini [[Dastur muhandisi|nizolar]] bilan yanada murakkablashtiradi.<ref>{{jurnal manbasi|last=Tedre|first1=M.|title=Computing as a Science: A Survey of Competing Viewpoints|doi=10.1007/s11023-011-9240-4|journal=Minds and Machines|volume=21|issue=3|pages=361–387|year=2011}}</ref> [[Devid Parnas]], boshqa muhandislik va fan fanlari oʻrtasidagi munosabatlardan namuna olib, kompyuter fanining asosiy yoʻnalishi umuman hisoblash xususiyatlarini oʻrganish ekanligini taʼkidladi, dasturiy taʼminot muhandisligining asosiy yoʻnalishi esa amaliy natijalarga erishish uchun maxsus hisob-kitoblarni loyihalashdir. ikkita alohida, ammo bir-birini toʻldiruvchi intizomga aylantiruvchi maqsadlar.<ref>{{jurnal manbasi|last=Parnas|first1=D.L.|journal=Annals of Software Engineering|volume=6|pages=19–37|year=1998|doi=10.1023/A:1018949113292|title=Software engineering programmes are not computer science programmes}}, p. 19: „Rather than treat software engineering as a subfield of computer science, I treat it as an element of the set, Civil Engineering, Mechanical Engineering, Chemical Engineering, Electrical Engineering, […]“</ref>

Informatika fanining akademik, siyosiy va moliyaviy jihatlari, odatda, kafedraning matematik urgʻu yoki muhandislik urgʻusi bilan tuzilganligiga bogʻliq. Matematikaga urgʻu berilgan va raqamli yoʻnalishga ega boʻlgan kompyuter fanlari boʻlimlari [[Hisoblash fani|hisoblash fanlari]] bilan moslashishni koʻrib chiqadi. Ikkala turdagi boʻlimlar, agar barcha tadqiqotlar boʻlmasa ham, taʼlim sohasini koʻprik qilishga harakat qilishadi.

== Falsafa ==

=== Kompyuter fanining epistemologiyasi ===
Nomida „fan“ soʻzi boʻlishiga qaramay, informatika fan, matematika yoki muhandislik fanidirmi yoki yoʻqmi degan bahslar mavjud.<ref name="plato">{{Kitob manbasi|chapterurl=https://plato.stanford.edu/entries/computer-science/#EpisStatCompScie|title=The Philosophy of Computer Science (Stanford Encyclopedia of Philosophy)|chapter=The Philosophy of Computer Science|year=2021|publisher=Metaphysics Research Lab, Stanford University}}</ref> [[Allen Nyuell]] va [[Herbert A. Simon|Gerbert A. Simon]] 1975-yilda bahslashdilar.{{Quote|text=Kompyuter fanlari empirik fandir. Biz uni eksperimental fan deb atagan bo'lardik, lekin astronomiya, iqtisod va geologiya singari, uning ba'zi noyob kuzatish va tajriba shakllari eksperimental usulning tor stereotipiga to'g'ri kelmaydi. Shunga qaramay, ular tajribalardir. Qurilgan har bir yangi mashina tajribadir. Aslida mashinani qurish tabiatga savol tug'diradi; va biz javobni mashinaning ishlayotganligini kuzatish va mavjud barcha analitik va o'lchov vositalari yordamida tahlil qilish orqali tinglaymiz.<ref name = "plato"/>}}Oʻshandan beri kompyuter fanini empirik fan sifatida tasniflash mumkinligi taʼkidlangan, chunki u [[To'g'rilik (informatika)|dasturlarning toʻgʻriligini]] baholash uchun empirik testlardan foydalanadi, ammo kompyuter fanining qonunlari va teoremalarini (agar mavjud boʻlsa) aniqlashda muammo qolmoqda. informatika fanidagi eksperimentlarning tabiati.<ref name="plato2">{{Kitob manbasi|chapterurl=https://plato.stanford.edu/entries/computer-science/#EpisStatCompScie|title=The Philosophy of Computer Science (Stanford Encyclopedia of Philosophy)|chapter=The Philosophy of Computer Science|year=2021|publisher=Metaphysics Research Lab, Stanford University}}</ref> Informatika fanini muhandislik intizomi sifatida tasniflash tarafdorlari, hisoblash tizimlarining ishonchliligi [[Qurilish ishi|qurilish muhandisligidagi]] koʻpriklar va [[Aerokosmik muhandislik|aerokosmik muhandislikdagi]] samolyotlar bilan bir xil tarzda tekshiriladi, deb taʼkidlaydilar.<ref name="plato2" /> Ular, shuningdek, empirik fanlar hozirgi vaqtda mavjud boʻlgan narsalarni kuzatar ekan, informatika mavjud boʻlishi mumkin boʻlgan narsalarni kuzatadi va olimlar kuzatish natijasida qonunlarni kashf etar ekanlar, informatikada tegishli qonunlar topilmagan va buning oʻrniga hodisalar yaratish bilan shugʻullanadi.<ref name="plato2" />

Informatikani matematik intizom sifatida tasniflash tarafdorlari, kompyuter dasturlari matematik obyektlarning jismoniy amalga oshirilishi va dasturlarni matematik [[rasmiy usullar]] bilan [[Deduksiya|deduktiv asosda asoslash]] mumkinligini taʼkidlaydilar.<ref name="plato3">{{Kitob manbasi|chapterurl=https://plato.stanford.edu/entries/computer-science/#EpisStatCompScie|title=The Philosophy of Computer Science (Stanford Encyclopedia of Philosophy)|chapter=The Philosophy of Computer Science|year=2021|publisher=Metaphysics Research Lab, Stanford University}}</ref> Kompyuter olimlari [[Edsger V. Deykstra|Edsger W. Dijkstra]] va [[Toni Xoar|Toni Hoare]] kompyuter dasturlari uchun koʻrsatmalarni matematik jumlalar deb hisoblashadi va dasturlash tillari uchun rasmiy semantikani matematik [[Aksiomatik tizim|aksiomatik tizimlar]] sifatida izohlaydilar.<ref name="plato3" />

=== Informatika fanining paradigmalari ===
Bir qator kompyuter olimlari informatika fanida uchta alohida paradigmani ajratish haqida bahslashdilar.infarmatika axparitlarni o'rganadi [[Piter Vegner]] bu paradigmalar fan, texnologiya va matematika ekanligini taʼkidladi.<ref>{{Cite conference|last=Wegner, P.|title=Research paradigms in computer science—Proceedings of the 2nd international Conference on Software Engineering|location=San Francisco, California, United States|date=October 13–15, 1976|publisher=IEEE Computer Society Press, Los Alamitos, CA}}</ref> [[Piter J. Denning|Piter Denningning]] ishchi guruhi ular nazariya, abstraksiya (modellashtirish) va dizayn ekanligini taʼkidladi.<ref>{{jurnal manbasi|last=Denning|first1=P.J.|last2=Comer|first2=D.E.|last3=Gries|first3=D.|last4=Mulder|first4=M.C.|last5=Tucker|first5=A.|last6=Turner|first6=A.J.|last7=Young|first7=P.R.|title=Computing as a discipline|journal=Communications of the ACM|volume=32|pages=9–23|date=1989-yil yanvar|doi=10.1145/63238.63239}}</ref> Amnon X. Eden ularni „ratsionalistik paradigma“ (informatikani nazariy informatikada keng tarqalgan va asosan [[Deduksiya|deduktiv fikrlashni]] qoʻllaydigan matematikaning bir tarmogʻi sifatida koʻrib chiqadi), „texnokratik paradigma“ (uni muhandislik sohasida topish mumkin) deb taʼriflagan. yondashuvlar, asosan dasturiy injiniringda) va „ilmiy paradigma“ (kompyuter bilan bogʻliq artefaktlarga [[Tabiiy fanlar|tabiiy fanlarning]] empirik nuqtai nazaridan yondashadi,<ref name="denning07">{{jurnal manbasi|first1=Peter J.|last=Denning|title=Computing is a natural science|journal=Communications of the ACM|year=2007|volume=50|issue=7|pages=13–18|doi=10.1145/1272516.1272529}}</ref> [[Sunʼiy ong|sunʼiy intellektning]] baʼzi tarmoqlarida aniqlanishi mumkin).<ref>{{jurnal manbasi|first1=A.H.|title=Three Paradigms of Computer Science|journal=[[Minds and Machines]]|last=Eden|volume=17|issue=2|year=2007|url=http://www.eden-study.org/articles/2007/three_paradigms_of_computer_science.pdf|doi=10.1007/s11023-007-9060-8|pages=135–167|archiveurl=https://web.archive.org/web/20160215100211/http://www.eden-study.org/articles/2007/three_paradigms_of_computer_science.pdf|archivedate=February 15, 2016}}</ref> Informatika fani inson tomonidan yaratilgan hisoblash tizimlarini loyihalash, spetsifikatsiya qilish, dasturlash, tekshirish, amalga oshirish va sinovdan oʻtkazish bilan bogʻliq usullarga qaratilgan.<ref>{{Cite encyclopedia|last1=Turner|first1=Raymond|last2=Angius|first2=Nicola|editor1-last=Zalta|editor1-first=Edward N.|title=The Philosophy of Computer Science|encyclopedia=The Stanford Encyclopedia of Philosophy|date=2019|url=https://plato.stanford.edu/archives/spr2019/entries/computer-science/}}</ref>

== Maydonlar ==
{{Quote|text=Astronomiya teleskoplar haqida bo'lgani kabi, kompyuter fanlari ham kompyuterlar haqida emas.|sign=[[Edsger Dijkstra]]|source=(
Gsg[[Edsger Dijkstra]]}}Informatika fan sifatida algoritmlarni nazariy oʻrganish va hisoblash chegaralaridan tortib, apparat va dasturiy taʼminotda hisoblash tizimlarini amalga oshirishning amaliy masalalarigacha boʻlgan bir qator mavzularni oʻz ichiga oladi.<ref name="CSAB1997">{{Veb manbasi|nashriyot=Computing Sciences Accreditation Board|sarlavha=Computer Science as a Profession|url=http://www.csab.org/comp_sci_profession.html|sana=May 28, 1997|qaralgan sana=23-may 2010-yil|arxivurl=https://web.archive.org/web/20080617030847/http://www.csab.org/comp_sci_profession.html|arxivsana=June 17, 2008}}</ref><ref>{{Kitob manbasi|last=Committee on the Fundamentals of Computer Science: Challenges and Opportunities, National Research Council|title=Computer Science: Reflections on the Field, Reflections from the Field|url=http://www.nap.edu/catalog.php?record_id=11106#toc|publisher=National Academies Press|isbn=978-0-309-09301-9|year=2004}}</ref> [[CSAB (professional tashkilot)|CSAB]], ilgari Hisoblash fanlari akkreditatsiya kengashi ([[Hisoblash mashinalari uyushmasi|ACM]]) va [[IEEE Kompyuter Jamiyati|IEEE Kompyuter jamiyati]] (IEEE CS)<ref>{{Veb manbasi|url=http://www.csab.org/|sarlavha=CSAB Leading Computer Education|nashriyot=CSAB|sana=3-avgust 2011-yil|qaralgan sana=19-noyabr 2011-yil}}</ref> vakillaridan iborat boʻlib, kompyuter intizomi uchun muhim deb hisoblaydigan toʻrtta sohani aniqlaydi. fan: ''hisoblash nazariyasi'', ''algoritmlar va maʼlumotlar tuzilmalari'', ''dasturlash metodologiyasi va tillari'', ''kompyuter elementlari va arxitekturasi'' . Ushbu toʻrtta sohaga qoʻshimcha ravishda, CSAB dasturiy taʼminot muhandisligi, sunʼiy intellekt, kompyuter tarmoqlari va aloqasi, maʼlumotlar bazasi tizimlari, parallel hisoblash, taqsimlangan hisoblash, inson va kompyuter oʻzaro taʼsiri, kompyuter grafikasi, operatsion tizimlar va raqamli va [[Kompyuter algebrasi|ramziy hisoblash]] kabi sohalarni ham aniqlaydi. kompyuter fanining muhim sohalari hisoblanadi.<ref name="CSAB1997" />

=== Nazariy informatika ===
''Nazariy kompyuter fanlari'' matematik va mavhum ruhdadir, lekin u oʻz motivatsiyasini amaliy va kundalik hisoblashdan oladi. Uning maqsadi hisoblashning mohiyatini tushunish va bu tushunish natijasida yanada samarali metodologiyalarni taqdim etishdir.

=== Hisoblash nazariyasi ===
[[Piter J. Denning|Piter Denningning]] soʻzlariga koʻra, kompyuter fanining asosiy savoli: „Nimani avtomatlashtirish mumkin?“<ref name="Denning_cs_discipline3">{{jurnal manbasi|last=Denning|first1=Peter J.|author-link=Peter J. Denning|year=2000|title=Computer Science: The Discipline|url=http://www.idi.ntnu.no/emner/dif8916/denning.pdf|journal=Encyclopedia of Computer Science|archiveurl=https://web.archive.org/web/20060525195404/http://www.idi.ntnu.no/emner/dif8916/denning.pdf|archivedate=May 25, 2006}}</ref> Hisoblash nazariyasi nimani hisoblash mumkinligi va bu hisob-kitoblarni bajarish uchun qancha resurslar talab qilinishi haqidagi asosiy savollarga javob berishga qaratilgan. Birinchi savolga javob berishga harakat qilib, [[Hisoblash nazariyasi|hisoblash qobiliyati nazariyasi]] hisoblashning turli nazariy [[Hisoblash modellari|modellarida]] qaysi hisoblash muammolarini echish mumkinligini tekshiradi. Ikkinchi savol koʻplab hisoblash muammolarini hal qilishda turli yondashuvlar bilan bogʻliq vaqt va makon xarajatlarini oʻrganadigan [[hisoblash murakkabligi nazariyasi]] tomonidan koʻrib chiqiladi.

Mashhur [[P va NP muammosi|P = NP?]] [[Mingyillik mukofoti muammolari|Mingyillik mukofoti muammolaridan]] biri<ref>[http://www.claymath.org/millennium/P_vs_NP/ Clay Mathematics Institute] P = NP {{Webarxiv}}</ref> muammosi hisoblash nazariyasidagi ochiq muammodir.
{| cellspacing="15" style="border:1px solid #ccc; text-align:center; margin:auto;"
|[[Fayl:DFAexample.svg|130x130px]]</img>
|[[Fayl:Syntax_tree.svg|96x96px]]</img>
|<math>M= \{ X : X \not\in X \}</math>
|[[Fayl:Complexity_classes.svg|120x120px]]</img>
|-
|[[Avtomatlar nazariyasi]]
|[[Rasmiy til|Rasmiy tillar]]
|[[Hisoblash nazariyasi]]
|[[Hisoblash murakkabligi nazariyasi]]
|-
|[[Fayl:Interaction_Net_as_Configuration.png|96x96px]]</img>
|[[Fayl:Blochsphere.svg|96x96px]]</img>
|[[Fayl:XNOR_ANSI_Labelled.svg]]</img>
|[[Fayl:Kellerautomat.svg|96x96px]]</img>
|-
|[[Hisoblash modellari]]
|[[Kvant kompyuter|Kvant hisoblash nazariyasi]]
|[[Sxema (informatika)|Mantiqiy sxemalar nazariyasi]]
|[[Uyali avtomatlar]]
|}

=== Axborot va kodlash nazariyasi ===
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 [[Signalni qayta ishlash|signallarni qayta ishlash]] operatsiyalarida asosiy cheklovlarni topish uchun ishlab chiqilgan.<ref>{{Veb manbasi|sana=14-oktabr 2002-yil|muallif=P. Collins|ism=Graham|sarlavha=Claude E. Shannon: Founder of Information Theory|url=http://www.scientificamerican.com/article.cfm?id=claude-e-shannon-founder|ish=Scientific American|qaralgan sana=12-dekabr 2014-yil}}</ref> Kodlash nazariyasi — [[Kod|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 [[Lineer tarmoq kodlash|tarmoq kodlash]] uchun ham qoʻllaniladi. Kodlar samarali va ishonchli [[Ma’lumotlarni uzatish|maʼlumotlarni uzatish]] usullarini loyihalash maqsadida oʻrganiladi.<ref>Van-Nam Huynh; Vladik Kreinovich; Songsak Sriboonchitta; 2012. Uncertainty Analysis in Econometrics with Applications. Springer Science & Business Media. p. 63. {{ISBN|978-3-642-35443-4}}.</ref>
{| cellspacing="15" style="border:1px solid #ccc; text-align:center; margin:auto;"
|[[Fayl:Hamming.jpg|96x96px]]</img>
|[[Fayl:Binary_symmetric_channel.svg|103x103px]]</img>
|[[Fayl:Digitalteilchen.svg|96x96px]]</img>
|[[Fayl:H0_h1_fehler.jpg|96x96px]]</img>
|[[Fayl:Mandelpart2_red.png|96x96px]]</img>
|-
|[[Kodlash nazariyasi]]
|[[Kanal sig'imi]]
|[[Algoritmik axborot nazariyasi]]
|[[Signalni aniqlash nazariyasi]]
|[[Kolmogorov murakkabligi]]
|}

=== Maʼlumotlar tuzilmalari va algoritmlari ===
Maʼlumotlar tuzilmalari va algoritmlari keng tarqalgan ishlatiladigan hisoblash usullari va ularning hisoblash samaradorligini oʻrganishdir.
{| cellspacing="15" style="border:1px solid #ccc; text-align:center; margin:auto;"
|{{Math|''O'' (''n''<sup>2</sup>)}}
|[[Fayl:Sorting_quicksort_anim.gif|96x96px]]
|[[Fayl:Tree_(computer_science).svg|109x109px]]
|[[Fayl:TSP_Deutschland_3.png|103x103px]]
|[[Fayl:SimplexRangeSearching.svg|104x104px]]
|[[Fayl:Contraction_vertices.jpg|96x96px]]
|-
|[[Algoritmlarni tahlil qilish|Analysis of algorithms]]
|[[Algoritmika|Algorithm design]]
|[[Maʼlumotlar tuzilmasi|Data structures]]
|[[Kombinatoriy optimallashtirish|Combinatorial optimization]]
|[[Hisoblash geometriyasi|Computational geometry]]
|[[Tasodifiy algoritmlar|Randomized algorithms]]
|}

=== Dasturlash tili nazariyasi va rasmiy usullari ===
Dasturlash tili nazariyasi — bu kompyuter fanining [[Dasturlash tili|dasturlash tillari]] va ularning individual [[Dasturlash tili|xususiyatlarini]] loyihalash, amalga oshirish, tahlil qilish, tavsiflash va tasniflash bilan shugʻullanadigan boʻlimi. U [[matematika]], dasturiy taʼminot muhandisligi va [[Tilshunoslik|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 ta’minoti|apparat]] tizimlarini [[Rasmiy spetsifikatsiya|spetsifikatsiya]] qilish, ishlab chiqish va [[Rasmiy tekshirish|tekshirish]] uchun [[Matematika|matematik]] asoslangan texnikaning oʻziga xos turi.<ref>Phillip A. Laplante, 2010. Encyclopedia of Software Engineering Three-Volume Set (Print). CRC Press. p. 309. {{ISBN|978-1-351-24926-3}}.</ref> 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 [[Kompyuter xavfsizligi|xavfsizlik]] juda muhim boʻlgan yuqori yaxlitlik va [[Hayotiy muhim tizim|hayot uchun muhim tizimlarni]] ishlab chiqishda qoʻllaniladi. Rasmiy usullar eng koʻp turli xil [[nazariy informatika]] asoslarini, xususan, [[Informatika fanida mantiq|mantiqiy]] hisoblar, [[Rasmiy til|rasmiy tillar]], [[avtomatlar nazariyasi]] va [[Dastur semantikasi|dastur semantikasini]], shuningdek, [[Tip tizimlari|tizimlar]] va [[Algebraik ma'lumotlar turlari|algebraik maʼlumotlar turlarini]] dasturiy taʼminot va apparat spetsifikatsiyasidagi muammolarga qoʻllash sifatida tasvirlangan. tekshirish.
{| cellspacing="15" style="border:1px solid #ccc; text-align:center; margin:auto;"
|[[Fayl:IF-THEN-ELSE-END_flowchart.svg|121x121px]]</img>
|<math>\Gamma\vdash x: \text{Int}</math>
|[[Fayl:Compiler.svg|108x108px]]</img>
|[[Fayl:Python_add5_syntax.svg|96x96px]]</img>
|[[Fayl:Prop-tableau-1.svg|115x115px]]</img>
|[[Fayl:Coq_plus_comm_screenshot.jpg|96x96px]]</img>
|-
|[[Semantika (informatika)|Formal semantika]]
|[[Tip nazariyasi]]
|[[Kompilyator qurilishi|Kompilyator dizayni]]
|[[Dasturlash tili|Dasturlash tillari]]
|[[Rasmiy tekshirish]]
|[[Avtomatlashtirilgan teoremani isbotlash]]
|}

=== Kompyuter tizimlari va hisoblash jarayonlari ===

==== Sunʼiy intellekt ====
Sunʼiy intellekt (AI) odamlar va hayvonlarda mavjud muammolarni hal qilish, qaror qabul qilish, atrof-muhitga moslashish, oʻrganish va aloqa kabi maqsadga yoʻnaltirilgan jarayonlarni sintez qilishga qaratilgan yoki talab qilinadi. [[Kibernetika]] va [[Sun'iy intellekt tarixi|Dartmut konferensiyasida]] (1956) sunʼiy intellekt boʻyicha tadqiqotlar oʻzining kelib chiqishidan boshlab [[amaliy matematika]], [[Matematik mantiq|ramziy mantiq]], [[semiotika]], [[elektrotexnika]], [[Ong falsafasi|aql falsafasi]], [[neyrofiziologiya]] kabi tajriba sohalariga asoslangan holda, albatta, [[Ijtimoiy intellekt|fanlararo]] boʻlgan. [[Ijtimoiy intellekt|razvedka]] . Ommabop ongda AI [[Robototexnika|robotlarni ishlab chiqish]] bilan bogʻliq, ammo amaliy qoʻllashning asosiy sohasi hisoblash tushunishni talab qiladigan [[dasturiy ta'minotni ishlab chiqish]] sohalarida oʻrnatilgan komponent sifatida boʻlgan. 1940-yillarning oxirida [[Alan Turing|Alan Tyuringning]] „Kompyuterlar oʻylay oladimi?“ Degan savoli boshlangʻich nuqtasi boʻldi va bu savol hali ham javobsiz qolmoqda, garchi [[Turing testi|Tyuring testi]] hali ham inson aqli miqyosidagi kompyuter natijalarini baholash uchun ishlatiladi. Ammo baholash va bashorat qilish vazifalarini avtomatlashtirish murakkab real dunyo maʼlumotlarini oʻz ichiga olgan kompyuter dasturlari sohalarida inson monitoringi va aralashuvi oʻrnini bosuvchi sifatida tobora muvaffaqiyatli boʻldi.
{| cellspacing="15" style="border:1px solid #ccc; text-align:center; margin:auto;"
|[[Fayl:Nicolas_P._Rougier's_rendering_of_the_human_brain.png|96x96px]]</img>
|[[Fayl:Human_eye,_rendered_from_Eye.png|96x96px]]</img>
|[[Fayl:Colored_neural_network.svg|115x115px]]</img>
|[[Fayl:Markov_Decision_Process.svg|96x96px]]</img>
|-
|[[Hisoblash ta'limi nazariyasi]]
|[[Kompyuter ko'rish]]
|[[Sunʼiy neyron tarmoqlari|Neyron tarmoqlar]]
|[[Avtomatlashtirilgan rejalashtirish va rejalashtirish|Rejalashtirish va rejalashtirish]]
|-
|[[Fayl:English.png|96x96px]]</img>
|[[Fayl:Knight's_tour.svg|96x96px]]</img>
|[[Fayl:Ackley.gif|96x96px]]</img>
|[[Fayl:AutonomicSystemModel.png|96x96px]]</img>
|-
|[[Tabiiy tilni qayta ishlash]]
|[[Algoritmik o'yin nazariyasi|Hisoblash oʻyinlari nazariyasi]]
|[[Evolyutsion hisoblash]]
|[[Avtonom hisoblash]]
|-
|[[Fayl:Neuron.svg|96x96px]]</img>
|[[Fayl:KnnClassification.svg|96x96px]]</img>
|[[Fayl:ROS_C_logo.jpg|100x100px]]</img>
|[[Fayl:Rule_alignment.gif|96x96px]]</img>
|-
|[[Bilimlarni ifodalash va fikrlash|Taqdim etish va fikrlash]]
|[[Shaklni aniqlash]]
|[[Robototexnika]]
|[[To'dali razvedka]]
|}

=== Kompyuter arxitekturasi va tashkil etilishi ===
Kompyuter arxitekturasi yoki raqamli kompyuter tashkiloti — bu kompyuter tizimining kontseptual dizayni va asosiy operatsion tuzilishi. U asosan markaziy protsessorning ichki ishlashi va xotiradagi manzillarga kirish usuliga eʼtibor qaratadi.<ref>{{Veb manbasi|muallif=A. Thisted|ism=Ronald|sarlavha=Computer Architecture|url=http://galton.uchicago.edu/~thisted/Distribute/comparch.pdf|arxivurl=https://ghostarchive.org/archive/20221009/http://galton.uchicago.edu/~thisted/Distribute/comparch.pdf|arxivsana=2022-10-09|nashriyot=The University of Chicago|sana=7-aprel 1997-yil}}</ref> Kompyuter muhandislari alohida [[protsessor]] komponentlari, [[Mikrokontroller|mikrokontrollerlar]], [[Shaxsiy kompyuter|shaxsiy kompyuterlardan]] [[Superkompyuter|superkompyuterlar]] va [[O'rnatilgan tizim|oʻrnatilgan tizimlargacha]] boʻlgan [[Apparat ta’minoti|kompyuter texnikasining]] [[Hisoblash mantiqi|hisoblash mantigʻi]] va dizaynini oʻrganadilar. Kompyuter adabiyotidagi „arxitektura“ atamasini 1959-yilda IBM’ning asosiy tadqiqot markazidagi Mashinalarni tashkil etish boʻlimi aʼzolari Layl R. Jonson va [[Fred Bruks|Frederik P. Brooks, Jr.]]
{| cellspacing="15" style="border:1px solid #ccc; text-align:center; margin:auto;"
|[[Fayl:ABasicComputer.svg|96x96px]]</img>
|[[Fayl:Intel_Core2_arch.svg|111x111px]]</img>
|[[Fayl:SIMD.svg|96x96px]]</img>
|[[Fayl:Z80_arch.svg|96x96px]]</img>
|-
|[[Protsessor|Qayta ishlash birligi]]
|[[Mikroarxitektura]]
|[[Ko'p ishlov berish]]
|[[Protsessor dizayni]]
|-
|[[Fayl:Roomba_original.jpg|96x96px]]</img>
|[[Fayl:Flowchart.png|96x96px]]</img>
|[[Fayl:Kernel_Layout.svg|96x96px]]</img>
|[[Fayl:Uarm_metal_wiki2.jpg|96x96px]]</img>
|-
|[[Hamma joyda hisoblash]]
|[[Tizimlar arxitekturasi]]
|[[Ishlatuv tizimi|Operatsion tizimlar]]
|[[Kirish/chiqish]]
|-
|[[Fayl:Physical_computing.svg|96x96px]]</img>
|[[Fayl:FIR_Filter_General.svg|96x96px]]</img>
|[[Fayl:Dep-1.svg|96x96px]]</img>
|[[Fayl:Linker.svg|117x117px]]</img>
|-
|[[O'rnatilgan tizim]]
|[[Haqiqiy vaqtda hisoblash]]
|[[Ishonchlilik]]
|[[Interpretatsiya (dasturlash)|Tarjimon]]
|}

=== Bir vaqtning oʻzida, parallel va taqsimlangan hisoblash ===
Bir vaqtning oʻzida bir nechta hisoblashlar bir vaqtning oʻzida bajariladigan va bir-biri bilan potentsial oʻzaro taʼsir qiladigan tizimlarning xossasi.<ref>Jiacun Wang, 2017. Real-Time Embedded Systems. Wiley. p. 12. {{ISBN|978-1-119-42070-5}}.</ref> Umumiy bir vaqtda hisoblash uchun bir qator matematik modellar ishlab chiqilgan, jumladan [[Petri to'ri|Petri tarmoqlari]], [[Jarayon hisobi|jarayon]] hisoblari va [[Parallel tasodifiy kirish mashinasi|Parallel Tasodifiy Kirish Mashina]] modeli.<ref>Gordana Dodig-Crnkovic; Raffaela Giovagnoli; 2013. Computing Nature: Turing Centenary Perspective. Springer Science & Business Media. p. 247. {{ISBN|978-3-642-37225-4}}.</ref> Bir vaqtning oʻzida bir nechta kompyuterlar tarmoqqa ulangan boʻlsa, bu taqsimlangan tizim deb nomlanadi. Ushbu taqsimlangan tizimdagi kompyuterlar oʻzlarining shaxsiy xotirasiga ega va umumiy maqsadlarga erishish uchun maʼlumotlar almashinuvi mumkin.<ref>Simon Elias Bibri; 2018. Smart Sustainable Cities of the Future: The Untapped Potential of Big Data Analytics and Context-Aware Computing for Advancing Sustainability. Springer. p. 74. {{ISBN|978-3-319-73981-6}}.</ref>

=== Kompyuter tarmoqlari ===
Kompyuter fanining ushbu sohasi butun dunyo boʻylab kompyuterlar oʻrtasidagi tarmoqlarni boshqarishga qaratilgan.

=== Kompyuter xavfsizligi va kriptografiya ===
Kompyuter xavfsizligi — bu maʼlumotni ruxsatsiz kirish, buzilish yoki oʻzgartirishdan himoya qilish va tizimning moʻljallangan foydalanuvchilari uchun foydalanish imkoniyatini saqlab qolish maqsadida kompyuter texnologiyasining bir tarmogʻidir.

Tarixiy [[kriptografiya]] — bu maxfiy xabarlarni yozish va shifrlash sanʼati. Zamonaviy kriptografiya — bu hujumga uchragan taqsimlangan hisob-kitoblar bilan bogʻliq muammolarni ilmiy oʻrganish.<ref>{{Kitob manbasi|last=Katz|first=Jonathan|url=https://www.worldcat.org/oclc/137325053|title=Introduction to modern cryptography|date=2008|publisher=Chapman & Hall/CRC|others=Yehuda Lindell|isbn=978-1-58488-551-1|location=Boca Raton|oclc=137325053}}</ref> Zamonaviy kriptografiyada oʻrganiladigan texnologiyalar orasida simmetrik va assimetrik [[shifrlash]], [[Elektron raqamli imzo|raqamli imzolar]], [[Kriptografik xesh funksiyasi|kriptografik xesh]] [[Asosiy kelishuv protokoli|-funksiyalar, kalit kelishuv protokollari]], [[blokcheyn]], [[Nolinchi bilim isboti|nol bilimlarni isbotlash]] va [[Buzilgan sxema|buzilgan sxemalar]] mavjud.

=== Maʼlumotlar bazalari va maʼlumotlarni qazib olish ===
Maʼlumotlar bazasi katta hajmdagi maʼlumotlarni osongina tartibga solish, saqlash va olish uchun moʻljallangan. Raqamli maʼlumotlar bazalari [[Ma'lumotlar bazasi modeli|maʼlumotlar bazasi modellari]] va [[So'rov tili|soʻrovlar tillari]] orqali maʼlumotlarni saqlash, yaratish, saqlash va qidirish uchun maʼlumotlar bazasini boshqarish tizimlari yordamida boshqariladi. Maʼlumotni qazib olish — bu katta maʼlumotlar toʻplamlarida naqshlarni aniqlash jarayoni.

=== Kompyuter grafikasi va vizualizatsiya ===
Kompyuter grafikasi raqamli vizual tarkibni oʻrganadi va tasvir maʼlumotlarini sintez qilish va manipulyatsiya qilishni oʻz ichiga oladi. Tadqiqot kompyuter fanining boshqa koʻplab sohalari, jumladan, [[Kompyuter ko'rish|kompyuterni koʻrish]], [[tasvirni qayta ishlash]] va [[hisoblash geometriyasi]] bilan bogʻliq boʻlib, maxsus effektlar va [[Videooʻyin|videooʻyinlar]] sohalarida keng qoʻllaniladi.
{| cellspacing="15" style="border:1px solid #ccc; text-align:center; margin:auto;"
|[[Fayl:Simx2=transl_OK.svg|100x100px]]</img>
|[[Fayl:FWDvsINV_Kinematics_HighResTransp.png|96x96px]]</img>
|[[Fayl:5-cell.gif|96x96px]]</img>
|[[Fayl:Hud_on_the_cat.jpg|96x96px]]</img>
|[[Fayl:Visible_light_eye-tracking_algorithm.jpg|96x96px]]</img>
|[[Fayl:Csg_tree.png|96x96px]]</img>
|-
|[[2D kompyuter grafikasi]]
|[[Kompyuter animatsiyasi]]
|[[Renderlash]]
|[[Aralash haqiqat]]
|[[Virtual reallik]]
|[[Qattiq modellashtirish]]
|}

=== Tasvir va ovozni qayta ishlash ===
[[Axborot]] tasvir, ovoz, video yoki boshqa multimedia koʻrinishida boʻlishi mumkin. [[Bit|Bitta]] maʼlumot [[Signal|signallar]] orqali uzatilishi mumkin. Uni [[Axborotni qayta ishlash|qayta ishlash]] [[Informatika|informatikaning]] markaziy tushunchasi boʻlib, axborotni qayta ishlash algoritmlarini axborot tashuvchisi turidan — elektr, mexanik yoki biologik boʻlishidan qatʼiy nazar oʻrganadigan [[Hisoblash texnikasi|hisoblash]] boʻyicha Yevropa nuqtai nazaridir. Bu soha [[Informatsiya nazariyasi|axborot nazariyasi]], [[Elektr aloqa|telekommunikatsiya]], [[Axborot muhandisligi (soha)|axborot injiniringida]] muhim rol oʻynaydi va [[Tibbiy tasvirni hisoblash|tibbiy tasvirlarni hisoblash]] va [[Nutq sintezi|nutq sintezida]] va boshqalarda qoʻllaniladi. ''[[Tez Furye konvertatsiyasi|Tez Furye oʻzgartirish]] algoritmlarining murakkabligining pastki chegarasi nima?'' [[Informatika fanidan hal qilinmagan muammolar ro'yxati|nazariy informatika fanining hal qilinmagan muammolaridan biridir]] .
{| cellspacing="15" style="border:1px solid #ccc; text-align:center; margin:auto;"
|[[Fayl:DIT-FFT-butterfly.png|96x96px]]</img>
|[[Fayl:Bayer_pattern_on_sensor.svg|96x96px]]</img>
|[[Fayl:Opus_quality_comparison_colorblind_compatible.svg|96x96px]]</img>
|[[Fayl:Quality_comparison_jpg_vs_saveforweb.jpg|96x96px]]</img>
|[[Fayl:MeningiomaMRISegmentation.png|96x96px]]</img>
|[[Fayl:Ætoms_-_Translation.svg|96x96px]]</img>
|-
|[[Tez Furye konvertatsiyasi|FFT algoritmlari]]
|[[Tasvirni qayta ishlash]]
|[[Nutqni aniqlash]]
|[[Ma'lumotlarni siqish]]
|[[Tibbiy tasvirni hisoblash]]
|[[Nutq sintezi]]
|}

=== Amaliy informatika ===

==== Hisoblash fanlari, moliya va muhandislik ====
[[Ilmiy hisoblash]] (yoki [[Hisoblash fani|hisoblash fanlari]]) — bu [[Ilmiy modellashtirish|matematik modellar]] va [[Hisoblash matematikasi|miqdoriy tahlil]] usullarini yaratish va [[Fan|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,<ref>Muhammad H. Rashid, 2016. SPICE for Power Electronics and Electric Power. CRC Press. p. 6. {{ISBN|978-1-4398-6047-2}}.</ref>, shuningdek, yangi (yoki oʻzgartirilgan) dizaynlarni jismoniy amalga oshirish uchun dasturiy taʼminot diqqatga sazovordir. Ikkinchisi [[Integral sxema|integral mikrosxemalar]] uchun muhim dizayn dasturlarini oʻz ichiga oladi.<ref>{{Yangiliklar manbasi |title=What is an integrated circuit (IC)? A vital component of modern electronics |language=inglizcha |work=WhatIs.com |url=https://whatis.techtarget.com/definition/integrated-circuit-IC |access-date=15-noyabr 2021-yil}}</ref>
{| cellspacing="15" style="border:1px solid #ccc; text-align:center; margin:auto;"
|[[Fayl:Lorenz_attractor_yb.svg|96x96px]]</img>
|[[Fayl:Quark_wiki.jpg|96x96px]]</img>
|[[Fayl:Naphthalene-3D-balls.png|96x96px]]</img>
|[[Fayl:1u04-argonaute.png|96x96px]]</img>
|[[Fayl:GalvesLocherbach_-_Low_resolution.gif|96x96px]]</img>
|[[Fayl:Plutchik-wheel.svg|97x97px]]</img>
|[[Fayl:X-ray_of_hand,_where_bone_age_is_automatically_found_by_BoneXpert_software.jpg|99x99px]]</img>
|[[Fayl:Elmer-pump-heatequation.png|94x94px]]</img>
|[[Fayl:Bachlut1.png|113x113px]]</img>
|-
|[[Hisoblash matematikasi|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 ===
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 ===
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ʼminot ishlab chiqish jarayoni|dasturiy taʼminotni ishlab chiqish jarayonlari]] .

== Kashfiyotlar ==
Kompyuter faylasufi [[Uilyam J. Rapaport|Bill Rapaport]] ''kompyuter fanining uchta buyuk tushunchasini'' qayd etdi:<ref>{{Veb manbasi|url=http://www.cse.buffalo.edu/~rapaport/computation.html|sarlavha=What Is Computation?|nashriyot=State University of New York at Buffalo|muallif=Rapaport|ism=William J.|sana=20-sentabr 2013-yil}}</ref>

* [[Gottfried Leibniz|Gotfrid Vilgelm Leybnits]], [[George Boole|Jorj Bul]], [[Alan Turing|Alan Tyuring]], [[Klod Shennon]] va [[Semyuel Morze|Samuel Morzening]] tushunchasi: kompyuter „har qanday narsani“ ifodalash uchun faqat ''ikkita obyekt'' bilan shugʻullanishi kerak. {{Refn|The word "anything" is written in quotation marks because there are things that computers cannot do. One example is: to answer the question if an arbitrary given computer program will eventually finish or run forever (the [[Halting problem]]).|group="note"}}

:: 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 Turing|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:<ref>B. Jack Copeland, 2012. Alan Turingʻs Electronic Brain: The Struggle to Build the ACE, the World’s Fastest Computer. OUP Oxford. p. 107. {{ISBN|978-0-19-960915-4}}.</ref>
:::* 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.
:* [[Korrado Böhm|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'' .<ref>Charles W. Herbert, 2010. An Introduction to Programming Using Alice 2.2. Cengage Learning. p. 122. {{ISBN|0-538-47866-7}}.</ref>
::: 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 [[O'tish|goto]] dan foydalanish bilan yanada soddalashtirilishi mumkin (yaʼni bu [[Strukturaviy dasturlash|tizimli dasturlashdan]] koʻra oddiyroqdir).

== Dasturlash paradigmalari ==
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.<ref>Md. Rezaul Karim; Sridhar Alla; 2017. Scala and Spark for Big Data Analytics: Explore the concepts of functional programming, data streaming, and machine learning. Packt Publishing Ltd. p. 87. {{ISBN|978-1-78355-050-0}}.</ref>
* [[Imperativ dasturlash]] — bu dastur holatini oʻzgartiruvchi bayonotlardan foydalanadigan dasturlash paradigmasi.<ref>Lex Sheehan, 2017. Learning Functional Programming in Go: Change the way you approach your applications using functional programming in Go. Packt Publishing Ltd. p. 16. {{ISBN|978-1-78728-604-7}}.</ref> 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. Obyektlarning xususiyati shundaki, obyekt protseduralari ular bilan bogʻlangan obyektning maʼlumotlar maydonlariga kirishi va koʻpincha ularni oʻzgartirishi mumkin. Shunday qilib, obyektga yoʻnaltirilgan kompyuter dasturlari bir-biri bilan oʻzaro taʼsir qiluvchi obyektlardan iborat.<ref>Evelio Padilla, 2015. Substation Automation Systems: Design and Implementation. Wiley. p. 245. {{ISBN|978-1-118-98730-8}}.</ref>
* [[Xizmatga yo'naltirilgan dasturlash]], integratsiyalashgan biznes ilovalari va [[Missiya muhim|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.<ref>{{Veb manbasi|sarlavha=Multi-Paradigm Programming Language|url=https://developer.mozilla.org/en-US/docs/multiparadigmlanguage.html|ish=developer.mozilla.org|nashriyot=[[Mozilla Foundation]]|arxivurl=https://web.archive.org/web/20130821052407/https://developer.mozilla.org/en-US/docs/multiparadigmlanguage.html|arxivsana=21 August 2013}}</ref>

== Tadqiqot ==
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 [[Ish yuritish|konferensiya maʼruzalarining]] nufuzi jurnal nashrlariga qaraganda kattaroqdir.<ref>{{jurnal manbasi|last=Meyer|first1=Bertrand|title=Viewpoint: Research evaluation for computer science|journal=Communications of the ACM|date=2009-yil aprel|volume=25|issue=4|pages=31–34|doi=10.1145/1498765.1498780}}</ref><ref>{{Veb manbasi|muallif=Patterson|ism=David|sarlavha=Evaluating Computer Scientists and Engineers For Promotion and Tenure|url=http://cra.org/resources/bp-view/evaluating_computer_scientists_and_engineers_for_promotion_and_tenure/|nashriyot=Computing Research Association|sana=1999-yil avgust}}</ref> 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.<ref>{{jurnal manbasi|last=Fortnow|first1=Lance|title=Viewpoint: Time for Computer Science to Grow Up|journal=Communications of the ACM|date=2009-yil avgust|volume=52|issue=8|pages=33–35|doi=10.1145/1536616.1536631|url=http://cacm.acm.org/magazines/2009/8/34492-viewpoint-time-for-computer-science-to-grow-up/fulltext}}</ref>

== Taʼlim ==
'''Kompyuter fanlari''', oʻzining yaqin sinonimlari, '''Hisoblash''', '''Kompyuter tadqiqotlari''' bilan mashhur boʻlib, [[Birlashgan Qirollik|Buyuk Britaniya]] maktablarida [[To'plamni qayta ishlash|partiyalarni qayta ishlash]], [[Perfokartalar|sezgir kartalar]] va [[Qog'oz lenta|qogʻoz lentalarni]] belgilash kunlaridan beri oʻqitilib kelinmoqda, lekin odatda tanlangan bir nechta talabalarga.<ref>{{Yangiliklar manbasi |last=Burns |first=Judith |date=3-aprel 2016-yil |title=Computer science A-level 1970s style |url=https://www.bbc.co.uk/news/education-35890450 |access-date=9-fevral 2019-yil}}</ref> 1981-yilda Bi-bi-si [[BBC Model B|mikro-kompyuter]] va [[Econet|sinflar tarmogʻini]] ishlab chiqardi va Kompyuter fanlari GCE [[O darajasi|O darajasidagi]] talabalar (11-16 yoshlilar) va kompyuter fanidan [[Bir daraja|A darajasigacha]] boʻlgan talabalar uchun odatiy holga aylandi. Uning ahamiyati eʼtirof etildi va 3 va 4 asosiy bosqichlar uchun [[Milliy o'quv dasturi|Milliy oʻquv dasturining]] majburiy qismiga aylandi. 2014-yil sentabr oyida u 4 yoshdan oshgan barcha oʻquvchilar uchun huquq boʻldi<ref name="Jones">{{Veb manbasi|muallif=Jones|ism=Michael|sarlavha=Developing a Computer Science Curriculum in England: Exploring Approaches in the USA|url=https://www.wcmt.org.uk/sites/default/files/report-documents/Jones%20M%20Report%202015%20%20Final.pdf|nashriyot=Winston Churchill Memorial Trust|qaralgan sana=9-fevral 2019-yil|sana=1915-yil oktabr|arxivsana=22-oktabr 2016-yil|arxivurl=https://web.archive.org/web/20161022182632/https://www.wcmt.org.uk/sites/default/files/report-documents/Jones%20M%20Report%202015%20%20Final.pdf}}</ref>

[[Amerika Qoʻshma Shtatlari|AQSHda]] 14000 ta maktab okrugi oʻquv rejasini hal qiladi, taʼminot buzilgan.<ref>{{Yangiliklar manbasi |date=25-fevral 2014-yil |title=Computer Science: Not Just an Elective Anymore |work=Education Week |url=http://www.edweek.org/ew/articles/2014/02/26/22computer_ep.h33.html}}</ref> [[Hisoblash mashinalari uyushmasi|Hisoblash mashinalari assotsiatsiyasi]] (ACM) va [[Kompyuter fanlari o'qituvchilari uyushmasi|Kompyuter fanlari oʻqituvchilari assotsiatsiyasi]] (CSTA) tomonidan 2010-yil hisobotiga koʻra, 50 shtatdan faqat 14 tasida oʻrta maktab informatika uchun muhim taʼlim standartlari qabul qilingan.<ref>{{Veb manbasi|sarlavha=Running on Empty: The Failure to Teach K–12 Computer Science in the Digital Age|url=http://runningonempty.acm.org/fullreport2.pdf|sana=2010|ism=Cameron|muallif=Wilson|nashriyot=ACM}}</ref> 2021-yilgi hisobotga koʻra, AQShdagi oʻrta maktablarning atigi 51 foizi kompyuter fanini taklif qiladi.<ref name="code2021">{{Veb manbasi|nashriyot=Code.org, CSTA, & ECEP Alliance|yil=2021|sarlavha=2021 State of computer science education: Accelerating action through advocacy.|url=https://advocacy.code.org/2021_state_of_cs.pdf|arxivurl=https://ghostarchive.org/archive/20221009/https://advocacy.code.org/2021_state_of_cs.pdf|arxivsana=2022-10-09}}</ref>

Isroil, Yangi Zelandiya va Janubiy Koreya oʻzlarining milliy oʻrta taʼlim oʻquv dasturlariga informatika fanini kiritdilar,<ref>{{Yangiliklar manbasi |date=26-aprel 2014-yil |title=A is for algorithm |work=The Economist |url=https://www.economist.com/news/international/21601250-global-push-more-computer-science-classrooms-starting-bear-fruit}}</ref><ref>{{Veb manbasi|sarlavha=Computing at School International comparisons|url=http://www.computingatschool.org.uk/data/uploads/internationalcomparisons-v5.pdf|kirish sanasi=20-iyul 2015-yil|arxivsana=8-may 2013-yil|arxivurl=https://web.archive.org/web/20130508214038/http://www.computingatschool.org.uk/data/uploads/internationalcomparisons-v5.pdf}}</ref> va yana bir qancha boshqa davlatlar quyidagi dasturlarga amal qilmoqda.<ref>{{Yangiliklar manbasi |date=23-mart 2014-yil |title=Adding Coding to the Curriculum |work=The New York Times |url=https://www.nytimes.com/2014/03/24/world/europe/adding-coding-to-the-curriculum.html |url-access=limited |archive-url=https://ghostarchive.org/archive/20220101/https://www.nytimes.com/2014/03/24/world/europe/adding-coding-to-the-curriculum.html |archive-date=1-yanvar 2022-yil}}</ref>

== Qoʻshimcha oʻqish uchun ==

* [[Computer engineering|Kompyuter muhandisligi]]
* [[Computer programming|Kompyuter dasturlash]]
* [[Digital Revolution|Raqamli inqilob]]
* [[Information and communications technology|Axborot va kommunikatsiya texnologiyalari]]
* [[Information technology|Axborot texnologiyalari]]
* [[List of computer scientists|Kompyuter fanlari roʻyxati]]
* [[List of computer science awards|Kompyuter fanlari boʻyicha mukofotlar roʻyxati]]
* [[List of important publications in computer science|Informatika boʻyicha muhim nashrlar roʻyxati]]
* [[List of pioneers in computer science|Kompyuter fanlari boʻyicha kashshoflar roʻyxati]]
* [[List of unsolved problems in computer science|Informatika fanidan hal qilinmagan muammolar roʻyxati]]
* [[Programming language|Dasturlash tili]]
* [[Software engineering|Dasturiy taʼminot muhandisligi]]

== Eslatmalar ==
<references group="note" responsive="1"></references>

== Adabiyotlar ==
{{refbegin}}

=== Overview ===
* {{kitob manbasi|first=Allen B.|last=Tucker|author-link=Allen B. Tucker|title=Computer Science Handbook|url=https://archive.org/details/computerscienceh0000unse|edition=2nd|publisher=Chapman and Hall/CRC|year=2004|isbn=978-1-58488-360-9}}
** „Within more than 70 chapters, every one new or significantly revised, one can find any kind of information and references about computer science one can imagine. […] all in all, there is absolute nothing about Computer Science that can not be found in the 2.5 kilogram-encyclopaedia with its 110 survey articles […].“ (Christoph Meinel, ''[[Zentralblatt MATH]]'')
* {{kitob manbasi|first=Jan|last=van Leeuwen|author-link=Jan van Leeuwen|title=Handbook of Theoretical Computer Science|publisher=The MIT Press|year=1994|isbn=978-0-262-72020-5}}
** „[…] this set is the most unique and possibly the most useful to the [theoretical computer science] community, in support both of teaching and research […]. The books can be used by anyone wanting simply to gain an understanding of one of these areas, or by someone desiring to be in research in a topic, or by instructors wishing to find timely information on a subject they are teaching outside their major areas of expertise.“ (Rocky Ross, ''[[SIGACT News]]'')
* {{kitob manbasi|title=Encyclopedia of Computer Science|edition=4th|first1=Anthony|last1=Ralston|author-link=Anthony Ralston|first2=Edwin D.|last2=Reilly|author-link2=Edwin D. Reilly|first3=David|last3=Hemmendinger|author-link3=David Hemmendinger|publisher=Grove's Dictionaries|year=2000|isbn=978-1-56159-248-7|url=http://portal.acm.org/ralston.cfm}}
** „Since 1976, this has been the definitive reference work on computer, computing, and computer science. […] Alphabetically arranged and classified into broad subject areas, the entries cover hardware, computer systems, information and data, software, the mathematics of computing, theory of computation, methodologies, applications, and computing milieu. The editors have done a commendable job of blending historical perspective and practical reference information. The encyclopedia remains essential for most public and academic library reference collections.“ (Joe Accardin, Northeastern Illinois Univ., Chicago)
* {{kitob manbasi|url=https://archive.org/details/milestonesincomp0000reil|url-access=registration|title=Milestones in Computer Science and Information Technology|author=Edwin D. Reilly|publisher=Greenwood Publishing Group|year=2003|isbn=978-1-57356-521-9}}

=== Selected literature ===
* {{kitob manbasi|first=Donald E.|last=Knuth|author-link=Donald Knuth|title=Selected Papers on Computer Science|publisher=CSLI Publications, [[Cambridge University Press]]|year=1996}}
* {{kitob manbasi|ref=COLLIER|last=Collier|first=Bruce|title=The little engine that could've: The calculating machines of Charles Babbage|publisher=Garland Publishing Inc|isbn=978-0-8240-0043-1|url=http://robroy.dyndns.info/collier/index.html|year=1990}}
* {{kitob manbasi|ref=HAIKEN|first=Bernard|last=Cohen|title=Howard Aiken, Portrait of a computer pioneer|url=https://archive.org/details/howardaikenportr0000cohe_x5o4|publisher=The MIT press|year=2000|isbn=978-0-262-53179-5}}
* {{kitob manbasi|first=Matti|last=Tedre|title=The Science of Computing: Shaping a Discipline|publisher=CRC Press, [[Taylor & Francis]]|year=2014}}
* {{kitob manbasi|title=The origins of Digital computers, Selected Papers|url=https://archive.org/details/originsofdigital0000rand|last=Randell|first=Brian|author-link=Brian Randell|year=1973|publisher=Springer-Verlag|isbn=978-3-540-06169-4}}
** „Covering a period from 1966 to 1993, its interest lies not only in the content of each of these papers — still timely today — but also in their being put together so that ideas expressed at different times complement each other nicely.“ (N. Bernard, ''Zentralblatt MATH'')

=== Articles ===
* Peter J. Denning. ''[http://portal.acm.org/citation.cfm?id=1053309&coll=&dl=ACM&CFID=15151515&CFTOKEN=6184618 Is computer science science?]'', Communications of the ACM, April 2005.
* Peter J. Denning, ''[http://portal.acm.org/citation.cfm?id=971303&dl=ACM&coll=&CFID=15151515&CFTOKEN=6184618 Great principles in computing curricula]'', Technical Symposium on Computer Science Education, 2004.
* Research evaluation for computer science, Informatics Europe [http://www.eqanie.eu/media/Como%20Conference/Tanca-Research_Assessment_A_new_Initiative_by_Informatics_Europe.pdf report] {{Webarchive|url=https://web.archive.org/web/20171018181136/http://www.eqanie.eu/media/Como%20Conference/Tanca-Research_Assessment_A_new_Initiative_by_Informatics_Europe.pdf|date=October 18, 2017}}. Shorter journal version: Bertrand Meyer, Christine Choppy, Jan van Leeuwen and Jorgen Staunstrup, ''Research evaluation for computer science'', in [[Communications of the ACM]], vol. 52, no. 4, pp.&nbsp;31-34, April 2009.

=== Curriculum and classification ===
* [[Association for Computing Machinery]]. [https://web.archive.org/web/20080828002940/http://www.acm.org/class/1998/overview.html 1998 ACM Computing Classification System]. 1998.
* Joint Task Force of Association for Computing Machinery (ACM), [[Association for Information Systems]] (AIS) and [[IEEE Computer Society]] (IEEE CS). [https://web.archive.org/web/20141021153204/http://www.acm.org/education/curric_vols/CC2005-March06Final.pdf Computing Curricula 2005: The Overview Report]. September 30, 2005.
* [[Norman Gibbs]], Allen Tucker. „A model curriculum for a liberal arts degree in computer science“. ''Communications of the ACM'', Volume 29 Issue 3, March 1986.
{{refend}}

== Manbalar ==
{{manbalar}}

== Havolalar ==

* {{Curlie|Computers/Computer_Science/}}
* [http://www.lib.uwaterloo.ca/society/compsci_soc.html Scholarly Societies in Computer Science] Archived June 23, 2011, at the Wayback Machine
* [https://www.youtube.com/watch?v=fjMU-km-Cso What is Computer Science?]
* [http://jeffhuang.com/best_paper_awards.html Best Papers Awards in Computer Science since 1996]
* [http://se.ethz.ch/~meyer/gallery/ Photographs of computer scientists] by [[Bertrand Meyer]]
* [http://www.eecs.berkeley.edu/department/history.shtml EECS.berkeley.edu]

=== Tashkilotlar: ===

* [http://www.acm.org/ Hisoblash mashinalari uyushmasi]
* [http://www.computer.org/ IEEE Kompyuter Jamiyati]
* [http://www.informatics-europe.org/ Informatika Yevropa]
* [http://www.aaai.org/home.html AAAI] {{Webarxiv|url=https://web.archive.org/web/20200622123801/https://www.aaai.org/home.html |date=2020-06-22 }}
* [https://web.archive.org/web/20160205000119/http://membercentral.aaas.org/categories/computer-science AAAS kompyuter fanlari]

=== Bibliografiya va akademik qidiruv tizimlari ===

* [http://citeseerx.ist.psu.edu/ CiteSeer <sup>''x''</sup>] ([[CiteSeerX|maqola]]): qidiruv tizimi, raqamli kutubxona va kompyuter va axborot faniga qaratilgan ilmiy va akademik maqolalar ombori.
* [http://dblp.uni-trier.de/ DBLP Kompyuter fanlari bibliografiyasi] ([[Raqamli bibliografiya va kutubxona loyihasi|maqola]]): Germaniyaning Trier universitetida joylashgan informatika bibliografiyasi veb-sayti.
* [http://liinwww.ira.uka.de/bibliography/ Informatika bibliografiyalari] {{Webarxiv|url=https://web.archive.org/web/20110607123538/http://liinwww.ira.uka.de/bibliography/ |date=2011-06-07 }} [[Kompyuter fanlari bibliografiyalari to'plami|toʻplami (Informatika bibliografiyalari toʻplami]])

=== Boshqa ===

* [https://cs.stackexchange.com/ Kompyuter fanlari — Stack Exchange] : kompyuter fanlari boʻyicha jamoatchilik tomonidan boshqariladigan savol-javob sayti
* [http://www.cs.bu.edu/AboutCS/WhatIsCS.pdf Kompyuter fani nima] {{Webarxiv|url=https://web.archive.org/web/20150218130340/http://www.cs.bu.edu/AboutCS/WhatIsCS.pdf |date=18-fevral 2015-yil }} Archived
* [https://web.archive.org/web/20170810205524/https://www.cs.mtu.edu/~john/jenning.pdf Kompyuter fanlari fanmi?]
* [https://www.researchgate.net/publication/306078165_Computer_Science_Software_Must_be_Considered_as_an_Independent_Discipline_Computer_Science_Software_must_not_be_Treated_as_a_Sub-Domain_or_Subset_of_Mathematics Kompyuter fanlari (dasturiy taʼminot) mustaqil fan sifatida koʻrib chiqilishi kerak.]
{{Tashqi havolalar}}

[[Turkum:Texnika va aniq fanlar]]