www.wikidata.uk-ua.nina.az
Informa tika fr informatique angl informatics computer science nim Informatik nauka pro informaciyu metodi ta zasobi yiyi opracyuvannya u tomu chisli za dopomogoyu obchislyuvalnih sistem 1 Informatika ohoplyuye yak teoretichni disciplini algoritmi teoriyu obchislyuvanosti teoriyu informaciyi ta avtomatizaciyu tak i praktichni rozrobku ta vprovadzhennya aparatnogo ta programnogo zabezpechennya 2 3 4 Informatika yak nauka zazvichaj vvazhayetsya oblastyu akademichnih doslidzhen na vidminu vid komp yuternogo programuvannya 5 Fundamentalni galuzi informatikiTeoriya mov programuvannyaTeoriya skladnosti obchislenShtuchnij intelektArhitektura komp yutera Algoritmi ta strukturi danih zajmayut klyuchove misce v informatici 6 teoriya obchislyuvanosti stosuyetsya abstraktnih modelej obchislen i zagalnih klasiv zadach yaki mozhna rozv yazati z yih dopomogoyu Kriptografiya ta komp yuterna bezpeka peredbachayut vivchennya zasobiv bezpechnogo zberezhennya danih zv yazku ta zapobigannya vrazlivostyam bezpeki informacijnih sistem Komp yuterna grafika ta obchislyuvalna geometriya spryamovani na stvorennya zobrazhen ta yih opracyuvannya Teoriya mov programuvannya rozglyadaye rizni sposobi opisu obchislyuvalnih procesiv teoriya baz danih stosuyetsya upravlinnya shovishami danih Vivchennya vzayemodiyi lyudina komp yuter spryamovane na doslidzhennya interfejsiv cherez yaki vzayemodiyut lyudi ta komp yuteri a inzheneriya programnogo zabezpechennya zoseredzhuyetsya na dizajni ta principah rozrobki programnogo zabezpechennya v takih oblastyah yak operacijni sistemi merezhi ta vbudovani sistemi doslidzhuyut principi ta dizajn skladnih sistem Arhitektura komp yutera opisuye konstrukciyu komponentiv komp yutera ta obladnannya sho keruyetsya komp yuterom Shtuchnij intelekt i mashinne navchannya spryamovani na realizaciyu za dopomogoyu komp yuteriv takih procesiv yak virishennya problem prijnyattya rishen adaptaciya do navkolishnogo seredovisha planuvannya ta navchannya U ramkah doslidzhen shtuchnogo intelektu komp yuternij zir spryamovanij na rozpiznavannya j opracyuvannya danih iz zobrazhen i video obrobka prirodnih mov spryamovana na rozpiznavannya j opracyuvannya tekstovih i lingvistichnih danih Osnovne zavdannya informatiki polyagaye v tomu shob viznachiti klasi zadach ta tipi procesiv yaki mozhna avtomatizuvati 7 8 9 Zmist 1 Osnovni principi 2 Etimologiya 2 1 Pohodzhennya nazvi 3 Filosofiya 3 1 Epistemologiya informatiki 3 2 Bagatoznachnist 4 Istoriya 4 1 Osnovni dosyagnennya 5 Struktura informatiki 5 1 Teoretichna informatika 5 1 1 Teoriya algoritmiv 5 1 2 Informaciya ta teoriya koduvannya 5 1 3 Algoritmi ta strukturi danih 5 1 4 Teoriya mov programuvannya 5 1 5 Formalni metodi 5 2 Prikladna informatika 5 2 1 Shtuchnij intelekt 5 2 2 Arhitektura komp yutera ta komp yuterna inzheneriya 5 2 3 Analiz produktivnosti komp yutera 5 2 4 Komp yuterna grafika ta vizualizaciya 5 2 5 Komp yuterna bezpeka ta kriptografiya 5 2 6 Komp yuterne modelyuvannya ta chiselni metodi 5 2 7 Komp yuterni merezhi 5 2 8 Paralelni ta rozpodileni sistemi 5 2 9 Bazi danih 5 2 10 Informatika u ohoroni zdorov ya 5 2 11 Naukova informatika 5 2 12 Programna inzheneriya 5 3 Prirodnicha informatika 6 Div takozh 7 Primitki 8 LiteraturaOsnovni principi RedaguvatiVikonannya postavlenih pered neyu zavdan obchislyuvalna mashina mozhe zabezpechuvati za dopomogoyu peremishennya pevnih mehanichnih chastin ruhu potokiv elektroniv fotoniv abo zavdyaki vikoristannyu efektiv vid inshih dobre vivchenih fizichnih yavish Na sogodni bilshist najposhirenishih tipiv vikoristovuvanih obchislyuvalnih mashin elektronni obchislyuvalni mashini Arhitektura obchislyuvalnih mashin mozhe bezposeredno modelyuvati rozv yazuvanu problemu maksimalno blizko u znachenni matematichnogo opisu vidobrazhayuchi doslidzhuvani fizichni yavisha Tak elektronni potoki mozhut vikoristovuvatisya yak modeli potokiv vodi pri modelyuvanni grebel abo damb Skonstrujovani takim chinom analogovi obchislyuvalni mashini buli zvichnimi u 1960 h rokah prote sogodni ye dostatno ridkisnim yavishem U bilshosti suchasnih obchislyuvalnih mashin zadachu spochatku opisuyut u matematichnih terminah pri comu vsyu neobhidnu informaciyu predstavlyayut u dvijkovomu viglyadi u viglyadi odinic i nuliv pislya chogo diyi z yiyi obrobki zvodyatsya do zastosuvannya prostoyi algebrayichnoyi logiki Oskilki praktichno vsyu matematiku mozhe buti zvedeno do vikonannya bulevih operacij dostatno shvidku elektronnu obchislyuvalnu mashinu mozhe buti zastosovano dlya rozv yazannya bilshosti matematichnih zavdan a takozh i bilshosti takih zavdan z obrobki informaciyi yaki mozhe buti legko zvedeno do matematichnih Citata yaku pripisuyut Edsgeru Dejkstri stverdzhuye sho vvazhati sho informatika vivchaye komp yuteri ce te zh same yak vvazhati sho astronomiya vivchaye teleskopi Rozrobka komp yuteriv i komp yuternih sistem yak pravilo vvazhayetsya oblastyu inshih inzhenernih disciplin napriklad rozrobka komp yuternogo obladnannya vvazhayetsya chastinoyu komp yuternoyi inzheneriyi a stvorennya komercijnih komp yuternih sistem ta yih rozgortannya nazivayut informacijnimi tehnologiyami abo informacijnimi sistemami Mizh riznimi komp yuternimi disciplinami vidbuvayetsya obmin ideyami doslidzhennya v galuzi informatiki takozh chasto peretinayutsya z inshimi disciplinami takimi yak kognitivistika lingvistika matematika fizika biologiya nauki pro Zemlyu statistika filosofiya ta logika Bagato hto vvazhaye sho informatika maye nabagato tisnishij zv yazok z matematikoyu nizh inshi naukovi disciplini Na rannyu informatiku silno vplinuli roboti takih matematikiv yak Kurt Gedelya Alana Tyuringa Dzhona fon Nejmana i Alonzo Chercha 10 Devid Parnas beruchi priklad zi zv yazkiv mizh inshimi inzhenernimi ta naukovimi disciplinami stverdzhuvav sho osnovnim v informatici ye vivchennya vlastivostej obchislen zagalom todi yak osnovnim u rozrobci programnogo zabezpechennya ye stvorennya konkretnih algoritmiv dlya dosyagnennya praktichnih cilej 11 Etimologiya RedaguvatiPohodzhennya nazvi Redaguvati Termin nim Informatik vviv nimeckij kibernetik inzhener z telekomunikacij specialist z teoriyi informaciyi Karl Shtajnbuh u statti Informatik Automatische Informationsverarbeitung Informatika Avtomatichna obrobka informaciyi 12 1957 roku V nimeckih dzherelah vvazhayut sho slovo informatika Informatik utvoreno zlittyam sliv informaciya Information ta avtomatichnij Automatik 13 inshij poglyad polyagaye v tomu sho informatika Informatik ce neologizm utvorenij zi slova informaciya Information za analogiyeyu zi slovom matematika Mathematik 14 Anglomovnij termin Computer science Komp yuterna nauka z yavivsya v 1959 roci v naukovomu zhurnali Communications of the ACM 15 v yakomu Luyi Fejn Louis Fein vistupav za stvorennya Graduate School in Computer Sciences Vishoyi shkoli v galuzi komp yuternih nauk analogichnoyi Garvardskij biznes shkoli stvorenij 1921 roku 16 Obgruntovuyuchi taku nazvu Luyi Fejn posilavsya na Management science Nauka upravlinnya yaka tak samo yak i informatika maye prikladnij ta mizhdisciplinarnij harakter pri comu maye oznaki harakterni dlya naukovoyi disciplini Francuzkij termin informatique yakij takozh vikoristovuyetsya u kilkoh yevropejskih movah bulo zaproponovano u 1962 roci Filipom Drejfusom U 1965 roci chlenom korespondentom AN SRSR Oleksandrom Harkevichem v knizi Osnovi naukovoyi informaciyi bulo vikoristano termin informatika 17 Nezvazhayuchi na svoyu anglomovnu nazvu Computer Science komp yuterna nauka bilshist naukovih napryamiv pov yazanih z informatikoyu ne vklyuchaye vivchennya samih komp yuteriv Vnaslidok cogo bulo zaproponovano kilka alternativnih nazv Deyaki universiteti viddayut perevagu terminu obchislyuvalna nauka computing science shob pidkresliti riznicyu mizh terminami U skandinavskih krayinah vikoristovuyut termin datologiya datalogy V inshih krayinah Yevropi chasto vikoristovuyutsya termini pohidni vid skorochenogo perekladu fraz informaciya ta avtomatika napriklad informazione automatica italijskoyu movoyu i informaciya ta matematika information and mathematics napriklad informatique Franciya Informatik Nimechchina informatica Italiya Niderlandi informatica Ispaniya Portugaliya informatika u slov yanskih movah abo pliroforiki plhroforikh sho oznachaye informatika v Greciyi Filosofiya RedaguvatiOsnovna stattya Filosofiya informatiki Epistemologiya informatiki RedaguvatiNezvazhayuchi na slovo nauka v nazvi tochatsya diskusiyi shodo togo chi ye informatika naukovoyu matematichnoyu chi inzhenernoyu disciplinoyu 18 Allen Nyuell i Gerbert A Sajmon stverdzhuvali v 1975 roci Informatika ye empirichnoyu disciplinoyu Mi b nazvali ce eksperimentalnoyu naukoyu ale yak i astronomiya ekonomika ta geologiya deyaki z yiyi unikalnih form sposterezhennya ta dosvidu ne vidpovidayut vuzkomu stereotipu eksperimentalnogo metodu Tim ne mensh ce eksperimenti Kozhna nova mashina yaka buduyetsya ye eksperimentom Naspravdi stvorennya mashini stavit pitannya pered prirodoyu i mi visluhovuyemo vidpovid sposterigayuchi za robotoyu mashini ta analizuyuchi yiyi vsima dostupnimi analitichnimi ta vimiryuvalnimi zasobami 18 Z tih pir stverdzhuyetsya sho informatiku mozhna klasifikuvati yak empirichnu nauku oskilki vona vikoristovuye empirichne testuvannya dlya ocinki pravilnosti program ale zalishayetsya problema u viznachenni zakoniv i teorem informatiki yaksho taki isnuyut i viznachennya harakter eksperimentiv v informatici 19 Prihilniki klasifikaciyi informatiki yak inzhenernoyi disciplini stverdzhuyut sho nadijnist obchislyuvalnih sistem doslidzhuyetsya tak samo yak mosti v civilnomu budivnictvi ta litaki v aerokosmichnij inzheneriyi Voni takozh stverdzhuyut sho v toj chas yak empirichni nauki sposterigayut za tim sho isnuye zaraz informatika sposterigaye za tim sho mozhlivo isnuvati i hocha vcheni vidkrivayut zakoni na osnovi sposterezhen v informatici ne bulo znajdeno vidpovidnih zakoniv i vona natomist zajmayetsya stvorennyam yavish 19 Prihilniki klasifikaciyi informatiki yak matematichnoyi disciplini stverdzhuyut sho komp yuterni programi ye fizichnimi realizaciyami matematichnih sutnostej i programi mozhut buti deduktivno obgruntovani za dopomogoyu matematichnih formalnih metodiv Vcheni Edsger Dejkstra ta Toni Goar vvazhayut instrukciyi dlya komp yuternih program matematichnimi rechennyami ta interpretuyut formalnu semantiku dlya mov programuvannya yak matematichni aksiomatichni sistemi 19 Bagatoznachnist Redaguvati Vcheni fahivci u galuzi informatiki stverdzhuyut sho v informatici isnuyut tri okremi paradigmi Napriklad Piter Vegner vidilyav nauku tehnologiyu ta matematiku 20 Piter Denning teoriyu abstrakciyu modelyuvannya ta dizajn 21 Amnon H Eden opisuvav ci paradigmi yak 22 racionalistichnu paradigmu u yakij informatika ye rozdilom matematiki yaka dominuye v teoretichnij informatici i vikoristovuye algebru logiki tehnokratichnu paradigmu yaka vikoristovuyetsya v inzhenernih pidhodah najbilsh vazhlivih u programnij inzheneriyi naukovu paradigmu yaka rozglyadaye informatiku yake galuz prirodnichih empirichnih nauk z tiyeyu rizniceyu sho v nij doslidzhuyutsya shtuchni ob yekti programi ta komp yuteri U rizni periodi rozvitku informatiki u ponyattya informatika vkladavsya riznij zmist Informatika ce Teoriya naukovo informacijnoyi diyalnosti U ramkah bibliotechnoyi spravi pid terminom naukovo informacijna diyalnist rozumiyetsya praktichna robota zi zboru analitiko sintetichnoyi pererobki zberigannya poshuku ta nadannya vchenim ta fahivcyam zakriplenoyi v dokumentah naukovoyi informaciyi Tretye vidannya Velikoyi radyanskoyi enciklopediyi 1970 i rr fiksuye informatiku yak disciplinu sho vivchaye strukturu ta zagalni vlastivosti naukovoyi informaciyi a takozh zakonomirnosti yiyi stvorennya peretvorennya peredachi ta vikoristannya u riznih sferah lyudskoyi diyalnosti Nauka pro obchislyuvalni mashini ta yih zastosuvannya obchislyuvalna tehnika ta programuvannya 1976 roku profesori Myunhenskogo tehnichnogo universitetu F L Bauer ta G Gooz napisali knigu Informatika Vstupnij kurs perevedenu togo zh roku V K Sabelfeldom uchnem vidomogo radyanskogo vchenogo Andriya Petrovicha Yershova rosijskoyu movoyu Vin pereklav Informatik slovom informatika i viznachili yak nauku sho zajmayetsya rozrobkoyu teoriyi programuvannya ta zastosuvannya EOM Termin Informatik F L Bauer ta G Gooz poyasnyuyut yak nimecku nazvu dlya computer science galuzi znannya yaka sklalasya v samostijnu naukovu disciplinu v shistdesyati roki nasampered u SShA a takozh u Velikij Britaniyi V anglijskij movi mabut zalishitsya computer science obchislyuvalna nauka prichomu cej termin maye uhil u sferu teoriyi Fundamentalna nauka pro informacijni procesi v prirodi suspilstvi ta tehnichni sistemi Na pochatku 1989 roku M I Zhaldak vikoristovuyuchi tlumachennya informatiki dane akademikom A P Yershovim pisav sho informatika fundamentalna naukova disciplina yaka maye vivchati zakoni prirodi informacijni procesi i vidpovidni tehnologiyi 23 24 25 Istoriya RedaguvatiOsnovna stattya Istoriya informatiki Charlz Bebbidzh vvazhayetsya vinahidnikom pershogo mehanichnogo komp yutera Ada Lavlejs napisala pershij algoritm priznachenij dlya jogo vikonannya na mehanichnomu komp yuteriNajpershi osnovi togo sho zgodom stane informatikoyu pereduyut vinahodu suchasnogo cifrovogo komp yutera Mashini dlya rozrahunku kilkoh arifmetichnih zavdan taki yak rahivnici isnuvali z davnih daven dopomagayuchi v takih obchislennyah yak mnozhennya ta dilennya Blez Paskal sproektuvav i zibrav pershij robochij mehanichnij kalkulyator vidomij yak kalkulyator Paskalya v 1642 roci U 1673 roci Gotfrid Lejbnic prodemonstruvav mehanichnij kalkulyator arifmometr nazvanij Stepped Reckoner Jogo mozhna vvazhati pershim uchenim u galuzi komp yuternih nauk i fahivcem u galuzi teoriyi informaciyi oskilki sered inshogo vin she opisav dvijkovu binarnu sistemu chislennya U 1820 roci Tomas de Kolmar zapustiv promislovij vipusk mehanichnogo kalkulyatora pislya togo yak vin stvoriv svij sproshenij arifmometr yakij buv pershoyu lichilnoyu mashinoyu dosit micnoyu i nadijnoyu dlya shodennogo vikoristannya Charlz Bebbidzh pochav proektuvannya pershogo avtomatichnogo mehanichnogo kalkulyatora Riznicevoyi mashini sho v 1822 roci podalo jomu ideyu pershogo programovanogo mehanichnogo kalkulyatora Analitichnoyi mashini Vin pochav robotu nad ciyeyu mashinoyu v 1834 roci i mensh nizh za dva roki bulo sformulovano bagato osnovnih ris suchasnogo komp yutera Vazhlivim krokom stalo vikoristannya perfokart vid tkackogo verstatu Zhakkarda sho vidkrivalo neskinchenni prostori dlya programuvannya V 1843 roci pid chas perekladu francuzkoyi statti shodo Analitichnoyi mashini Ada Lavlejs napisala dlya neyi algoritm dlya obchislennya chisel Bernulli yakij vvazhayetsya pershoyu komp yuternoyu programoyu Blizko 1885 roku German Gollerit vinajshov tabulyator yakij vikoristovuvav perfokarti dlya obrobki statistichnoyi informaciyi zreshtoyu jogo kompaniya stala chastinoyu IBM U 1937 roci cherez sto rokiv pislya nezdijsnennoyi mriyi Bebbidzha Govard Ejken perekonav kerivnictvo IBM sho viroblyala vsi vidi obladnannya dlya perforovanih kart i zaluchenoyi v biznes zi stvorennya kalkulyatoriv rozrobiti svij gigantskij programovanij kalkulyator ASCC Harvard Mark zasnovanij na principah mashini Bebbidzha yaka u svoyu chergu vikoristovuvala perfokarti ta centralnij obchislyuvach central computing unit U 1940 h z poyavoyu novih i potuzhnishih obchislyuvalnih mashin termin komp yuter stav poznachati ci mashini a ne lyudej kotri zajmayutsya obchislennyami teper slovo computer u comu znachenni vzhivayetsya ridko Koli stalo yasno sho komp yuteri mozhna vikoristovuvati ne tilki dlya matematichnih rozrahunkiv oblast doslidzhen informatiki rozshirilasya dlya togo shob vivchati obchislennya v cilomu Informatika nabula statusu samostijnoyi naukovoyi disciplini v 1950 h i na pochatku 1960 h rokiv Z rozpovsyudzhennyam komp yuteriv viniklo bagato novih samodostatnih naukovih napryamiv sho gruntuyutsya na obchislennyah za dopomogoyu komp yuteriv Malo hto spochatku mig pripustiti sho sami komp yuteri stanut predmetom naukovih doslidzhen ale naprikinci 1950 h rokiv cya dumka poshirilasya sered vchenih Nini vidomij brend IBM na toj chas buv odnim iz uchasnikiv revolyuciyi v informatici IBM skorochennya vid International Business Machines vipustila komp yuteri IBM 704 i piznishe IBM 709 yaki vzhe shiroko vikoristovuvalisya odnochasno z vivchennyam ta aprobaciyeyu cih pristroyiv Suchasnij etap rozvitku informatiki harakterizuyetsya glibokim rozuminnyam zagalnonaukovogo znachennya naukovo informacijnoyi diyalnosti ta vse shirshim zastosuvannyam u nij elektronnih obchislyuvalnih mashin Osnovni dosyagnennya Redaguvati Nimecki vijskovi vikoristovuvali shifruvalnu mashinu Enigma yak na zobrazhenni pid chas Drugoyi svitovoyi vijni dlya obminu sekretnimi povidomlennyami Masshtabni rozshifrovki trafiku Enigmi v Bletchli Park buli vazhlivim faktorom yakij zrobiv vnesok u peremogu vijsk soyuznikiv u Drugij Svitovij vijni 26 Nezvazhayuchi na korotku istoriyu yak oficijnu naukovu disciplinu informatika vnesla fundamentalnij vnesok u nauku i suspilstvo Po suti informatika poryad z elektronikoyu ye odniyeyu z osnovopolozhnih nauk potochnoyi epohi lyudskoyi istoriyi yaka nazivayetsya informacijnoyu epohoyu Pri comu informatika ye literom informacijnoyi revolyuciyi ta tretim velikim krokom u rozvitku tehnologij pislya Promislovoyi revolyuciyi 1750 1850 rr n e ta Neolitichnoyi revolyuciyi 8000 5000 rr do n e Vnesok informatiki Pochatok cifrovoyi revolyuciyi sho vklyuchaye informacijnu epohu ta internet Dano formalne viznachennya obchislen ta obchislyuvanosti i dokaz togo sho isnuyut algoritmichno nerozv yazni zavdannya Vvedeno ponyattya movi programuvannya tobto zasobi dlya tochnogo virazhennya metodologichnoyi informaciyi na riznih rivnyah abstrakciyi U kriptografiyi rozshifruvannya kodu Enigmi stalo vazhlivim chinnikom peremogi soyuznih vijsk u Drugij svitovij vijni Obchislyuvalni metodi zabezpechili mozhlivist praktichnoyi ocinki procesiv ta situacij velikoyi skladnosti a takozh mozhlivist provedennya eksperimentiv viklyuchno za rahunok programnogo zabezpechennya Z yavilasya mozhlivist pogliblenogo vivchennya rozumu ta kartuvannya genomu lyudini zavdyaki proektu Genom lyudini Proekti rozpodilenih obchislen taki yak Folding Home doslidzhuyut zgortannya molekul bilka Algoritmichna torgivlya pidvishila efektivnist ta likvidnist finansovih rinkiv za dopomogoyu shtuchnogo intelektu mashinnogo navchannya ta inshih statistichnih ta chiselnih metodiv na velikih diapazonah danih Chaste vikoristannya algoritmichnoyi torgivli mozhe posiliti volatilnist Komp yuterna grafika CGI povsyudno vikoristovuyutsya v suchasnih rozvagah osoblivo v galuzi telebachennya kino reklami animaciyi ta video igor Navit filmi v yakih nemaye yavnogo vikoristannya CGI yak pravilo znyato na cifrovi kameri i zgodom obrobleno abo vidredagovano v programah obrobki video Modelyuvannya riznih procesiv napriklad u gidrodinamici fizici elektrici elektronnih sistemah i lancyugah a takozh dlya modelyuvannya suspilstva ta socialnih situacij zokrema vijskovih igor vrahovuyuchi dovkillya ta in Suchasni komp yuteri dozvolyayut optimizuvati napriklad taki konstrukciyi yak proekt cilogo litaka Vidomim programnim zabezpechennyam ye simulyator elektronnih shem SPICE i programne zabezpechennya dlya fizichnoyi realizaciyi novih abo modifikovanih konstrukcij sho vklyuchaye rozrobku integralnih shem Shtuchnij intelekt nabuvaye vse bilshogo znachennya vodnochas stayuchi skladnishim i efektivnishim Isnuye bezlich zastosuvannya shtuchnogo intelektu ShI napriklad roboti pilososi yaki mozhna vikoristovuvati vdoma ShI takozh ye u videoigrah robotah vognevoyi pidtrimki ta protiraketnih sistemah Struktura informatiki RedaguvatiInformatika podilyayetsya na nizku rozdiliv Yak naukova disciplina informatika ohoplyuye shiroke kolo tem vid teoretichnih doslidzhen algoritmiv ta mezh obchislen do praktichnoyi realizaciyi obchislyuvalnih sistem u galuzi aparatnogo ta programnogo zabezpechennya Komitet CSAB Rada z akreditaciyi obchislyuvalnih nauk sho vklyuchaye predstavnikiv Asociaciyi obchislyuvalnoyi tehniki ACM ta Komp yuternogo tovaristva IEEE IEEE CS viznachiv chotiri oblasti najvazhlivishi dlya disciplini informatika teoriya obchislen algoritmi ta strukturi danih metodologiya programuvannya ta mov komp yuterni elementi ta arhitektura Na dodatok do cih chotiroh napryamkiv komitet CSAB viznachaye taki vazhlivi galuzi informatiki rozrobka programnogo zabezpechennya shtuchnij intelekt komp yuterni merezhi ta telekomunikaciyi sistemi upravlinnya bazami danih paralelni obchislennya rozpodileni obchislennya vzayemodiyi mizh lyudinoyu ta komp yuterom komp yuterna grafika operacijni sistemi chislovi ta simvolni obchislennya Teoretichna informatika Redaguvati Osnovna stattya Teoretichna informatikaVelichezne pole doslidzhen teoretichnoyi informatiki vklyuchaye yak klasichnu teoriyu algoritmiv i shirokij spektr tem sho z abstraktnimi logichnimi i matematichnimi aspektami obchislen Teoretichna informatika zajmayetsya teoriyami formalnih mov avtomativ algoritmiv obchislyuvanosti ta obchislyuvalnoyi skladnosti a takozh obchislyuvalnoyu teoriyeyu grafiv kriptologiyeyu logikoyu vklyuchayuchi logiku vislovlyuvan ta logiku predikativ formalnoyu semantikoyu ta zakladaye teoretichni osnovi kompilyatoriv mov programuvannya Teoriya algoritmiv Redaguvati Osnovna stattya Teoriya algoritmivZa slovami Pitera Denninga en do fundamentalnih pitan informatiki nalezhit take zapitannya Sho mozhe buti efektivno avtomatizovano Vivchennya teoriyi algoritmiv sfokusovano poshuku vidpovidej na fundamentalni pitannya u tomu sho mozhna obchisliti i skilki resursiv neobhidne cih obchislen Dlya vidpovidi pershe pitannya teoriyi obchislyuvanosti rozglyadayutsya obchislyuvalni zavdannya rozv yazuvani riznih teoretichnih modelyah obchislen Druge pitannya prisvyachene teoriyi obchislyuvalnoyi skladnosti u cij teoriyi analizuyutsya vitrati chasu ta pam yati riznih algoritmiv pri virishenni bezlichi obchislyuvalnih zavdan Znamenita zadacha P NP odna iz Zadach tisyacholittya ye nevirishenim zavdannyam u teoriyi algoritmiv P NP GNITIRW TERCES Teoriya avtomativ Teoriya obchislyuvanosti Obchislyuvalna skladnist Kriptografiya Kvantovij komp yuterInformaciya ta teoriya koduvannya Redaguvati Osnovni statti Teoriya informaciyi ta Teoriya koduvannyaTeoriya informaciyi pov yazani z kilkisnoyi ocinkoyu informaciyi Cej napryamok otrimav rozvitok zavdyaki pracyam Kloda E Shennona yakij znajshov fundamentalni obmezhennya na obrobku signalu v takih operaciyah yak stisnennya danih nadijne zberezhennya ta peredacha danih Teoriya koduvannya vivchaye vlastivosti kodiv sistemi peretvorennya informaciyi z odniyeyi formi v inshu ta yih pridatnist dlya konkretnoyi zadachi Kodi vikoristovuyutsya dlya stisnennya danih u kriptografiyi dlya viyavlennya ta korekciyi pomilok a ostannim chasom takozh i dlya merezhnogo koduvannya Kodi vivchayutsya z metoyu rozrobki efektivnih ta nadijnih metodiv peredachi danih Algoritmi ta strukturi danih Redaguvati Algoritmi i strukturi danih yak rozdil informatiki pov yazani z vivchennyam obchislyuvalnih metodiv sho najchastishe vikoristovuyutsya i ocinkoyu yih obchislyuvalnoyi efektivnosti O n 2 O n 2 Analiz algoritmiv Algoritmi Strukturi danih Kombinatorna optimizaciya Obchislyuvalna geometriyaTeoriya mov programuvannya Redaguvati U teoriyi mov programuvannya yak pidrozdil informatiki vivchayut proektuvannya realizaciyu analiz ta klasifikaciyu mov programuvannya v cilomu a takozh vivchayut okremi elementi mov Cya galuz informatiki z odnogo boku velikoyu miroyu pokladayetsya dosyagnennya takih nauk yak matematika programna inzheneriya i lingvistika z inshogo boku sama duzhe vplivaye z yihnoyi rozvitok Teoriya mov programuvannya aktivno rozvivayetsya bagato naukovih zhurnaliv prisvyacheni comu napryamu G x Int displaystyle Gamma vdash x text Int Teoriya tipiv Proyektuvannya kompilyatora Mova programuvannya Formalni metodi Redaguvati Osnovna stattya Formalni metodiFormalni metodi ce svogo rodu matematichnij pidhid priznachenij dlya specifikaciyi rozrobki ta verifikaciyi programnih ta aparatnih sistem Vikoristannya formalnih metodiv rozrobki programnogo i aparatnogo zabezpechennya motivovano rozrahunkom te sho sho yak ta inshih inzhenernih disciplinah nalezhnij matematichnij analiz zabezpechit nadijnist i stijkist proyektu Formalni metodi ye vazhlivoyu teoretichnoyu osnovoyu rozrobki programnogo zabezpechennya osoblivo u vipadkah koli sprava stosuyetsya nadijnosti chi bezpeki Formalni metodi ye korisnim dopovnennyam do testuvannya programnogo zabezpechennya oskilki voni dopomagayut uniknuti pomilok i ye osnovoyu dlya testuvannya Dlya shirokogo vikoristannya potribna rozrobka specialnogo instrumentariyu Odnak visoka vartist vikoristannya formalnih metodiv vkazuye na te sho voni yak pravilo vikoristovuyutsya tilki pri rozrobci visokointegrovanih i zhittyevo vazhlivih sistem de nadijnist i bezpeka mayut pershoryadne znachennya Formalni metodi mayut dosit shiroke zastosuvannya vid teoretichnih osnov informatiki zokrema logiki obchislen formalnih mov teoriyi avtomativ program ta semantiki do sistem tipiv i problem algebrayichnih tipiv danih u zadachah specifikaciyi ta verifikaciyi programnogo ta aparatnogo zabezpechennya Prikladna informatika Redaguvati Prikladna informatika spryamovano zastosuvannya ponyat i rezultativ teoretichnoyi informatiki do virishennya konkretnih zavdan u konkretnih prikladnih oblastyah Shtuchnij intelekt Redaguvati Osnovna stattya Shtuchnij intelektCe oblast informatiki nerozrivno pov yazana z takimi cilespryamovanimi procesami yak virishennya zavdan prijnyattya rishen adaptaciya do navkolishnih umov navchannya ta komunikaciya vlastivimi i lyudyam i tvarinam Viniknennya shtuchnogo intelektu ShI pov yazane z kibernetikoyu ta vede svij vidlik z Dartmutskoyi Konferenciyi 1956 Doslidzhennya v galuzi shtuchnogo intelektu ShI z neobhidnistyu buli mizhdisciplinarnimi i gruntuvalisya na takih naukah yak prikladna matematika matematichna logika semiotika elektrotehnika filosofiya svidomosti nejrofiziologiya ta socialnij intelekt U obivateliv shtuchnij intelekt asociyuyetsya v pershu chergu z robototehnikoyu ale krim cogo ShI ye nevid yemnoyu chastinoyu rozrobki programnogo zabezpechennya v riznih oblastyah Vidpravnoyu tochkoyu naprikinci 1940 h rokiv stalo pitannya Alana Tyuringa Chi mozhut komp yuteri dumati i ce zalishayetsya faktichno bez vidpovidi hocha test Tyuringa dosi vikoristovuyetsya z metoyu ocinki rezultativ roboti komp yutera masshtabah lyudskogo intelektu Mashinne navchannya Komp yuternij zir Obrobka zobrazhen Teoriya rozpiznavannya obraziv Kognitivistika Intelektualnij analiz danih Evolyucijne modelyuvannya Informacijnij poshuk Podannya znan Obrobka prirodnoyi movi Robototehnika Komp yuternij analiz medichnih zobrazhen en Arhitektura komp yutera ta komp yuterna inzheneriya Redaguvati Osnovna stattya Arhitektura komp yutera ta Komp yuterna inzheneriyaArhitektura komp yutera abo organizaciya cifrovogo komp yutera ye konceptualnoyu strukturoyu komp yuternoyi sistemi Vona zoseredzhena v osnovnomu na sposobi pri yakomu centralnij procesor vikonuye vnutrishni operaciyi ta zvertayetsya do adres u pam yati Vona chasto vklyuchaye disciplini obchislyuvalnoyi tehniki ta elektrotehniki vibir i z yednannya aparatnih komponentiv dlya stvorennya komp yuteriv yaki zadovolnyayut funkcionalnim produktivnim i finansovim cilyam Komp yuterna inzheneriya pov yazana z aparatnoyu chastinoyu obchislyuvalnoyi tehniki napriklad osnovami mikroprocesornoyi tehniki komp yuternih arhitektur i rozpodilenih sistem Takim chinom vona zabezpechuye zv yazok z elektrotehnikoyu Buleva algebra Mikroarhitektura Bagatoprocesornist Operacijna sistema Komp yuterna merezha Baza danih Informacijna bezpeka Povsyudni obchislennya Arhitektura sistemi Proyektuvannya kompilyatora Movi programuvannyaAnaliz produktivnosti komp yutera Redaguvati Osnovna stattya Obchislyuvalna potuzhnist komp yuteraAnaliz produktivnosti komp yutera ce vivchennya roboti komp yuteriv z metoyu pidvishennya propusknoyi spromozhnosti upravlinnya chasom vidguku efektivnogo vikoristannya resursiv usunennya vuzkih misc ta prognozuvannya produktivnosti pri peredbachuvanih pikovih navantazhennyah Komp yuterna grafika ta vizualizaciya Redaguvati Osnovna stattya Komp yuterna grafikaKomp yuterna grafika ye vivchennya cifrovogo vizualnogo zmistu i vklyuchaye sintez i manipulyaciyu danimi zobrazhennya Cej napryamok pov yazanij z bagatma inshimi oblastyami informatiki u tomu chisli z komp yuternim zorom obrobkoyu zobrazhen ta obchislyuvalnoyu geometriyeyu takozh vin aktivno zastosovuyetsya v galuzi specefektiv ta video igor Komp yuterna bezpeka ta kriptografiya Redaguvati Osnovna stattya KriptografiyaKomp yuterna bezpeka ce napryamok doslidzhen komp yuternih tehnologij nacilenih na zahist informaciyi vid nesankcionovanogo dostupu rujnuvannya abo modifikaciyu pri zberezhenni dostupnosti ta zruchnosti vikoristannya sistemi dlya peredbachuvanih koristuvachiv Kriptografiya zh ye naukoyu pro shifruvannya ta deshifruvannya informaciyi Suchasna kriptografiya znachnoyu miroyu pov yazana z informatikoyu oskilki pri rozrobci ta vikoristanni bagatoh algoritmiv shifruvannya ta deshifruvannya vrahovuyetsya yihnya obchislyuvalna skladnist Komp yuterne modelyuvannya ta chiselni metodi Redaguvati Osnovna stattya Cifrove modelyuvannyaKomp yuterne modelyuvannya ta chiselni metodi ye oblastyami doslidzhen u zadachi pobudovi matematichnih modelej metodiv kilkisnogo analizu vikoristannya komp yuteriv dlya analizu ta virishennya naukovih problem Naspravdi ce zazvichaj zastosuvannya komp yuternogo modelyuvannya ta inshih form obchislen yaki zastosovuyut u zavdannya riznih naukovih disciplin Obchislyuvalna matematika Obchislyuvalna fizika Obchislyuvalna himiya BioinformatikaKomp yuterni merezhi Redaguvati Osnovna stattya Komp yuterna merezhaShe odnim vazhlivim napryamom ye zv yazok mizh mashinami Vona zabezpechuye elektronnij obmin danimi mizh komp yuterami i otzhe ye tehnichnoyu bazoyu dlya Internetu Krim rozrobki marshrutizatoriv komutatoriv ta mizhmerezhevih ekraniv do ciyeyi disciplini nalezhat rozrobka ta standartizaciya merezhevih protokoliv takih yak TCP HTTP abo SOAP dlya obminu danimi mizh mashinami Paralelni ta rozpodileni sistemi Redaguvati Osnovni statti Paralelizm informatika ta Rozpodileni obchislennyaParalelizm ce vlastivist sistem u yakomu kilka obchislen vikonuyutsya odnochasno i navit mozhlivo vzayemodiyut drug z odnim Bulo rozrobleno ryad matematichnih modelej dlya zagalnogo vidu paralelnih obchislen u tomu chisli merezhi Petri procesi obchislennya ta model Parallel Random Access Machine en mashini z paralelnim dovilnim dostupom Rozpodilena sistema rozshiryuye ideyu paralelizmu na kilka komp yuteriv pov yazanih za dopomogoyu merezhi Komp yuteri v mezhah odniyeyi rozpodilenoyi sistemi mayut vlasnu pam yat i chasto obminyuyutsya informaciyeyu mizh soboyu dlya dosyagnennya spilnoyi meti Bazi danih Redaguvati Osnovna stattya Baza danihBaza danih organizovana vidpovidno do pevnih pravil i pidtrimuvana v pam yati komp yutera sukupnist danih sho harakterizuye aktualnij stan pevnoyi predmetnoyi oblasti ta vikoristovuyetsya dlya zadovolennya potreb koristuvachiv Upravlinnya bazami danih vidbuvayetsya z dopomogoyu sistem upravlinnya bazami danih SUBD Informatika u ohoroni zdorov ya Redaguvati Informatika ohoroni zdorov ya rozglyadaye obchislyuvalni metodi dlya virishennya zavdan u sferi ohoroni zdorov ya Naukova informatika Redaguvati Osnovna stattya Naukova informatikaNaukova informatika ce mizhdisciplinarna oblast pov yazana z analizom zborom klasifikaciyeyu manipulyuvannyam zberigannyam poshukom rozpovsyudzhennyam ta zahistom informaciyi utochniti Programna inzheneriya Redaguvati Osnovna stattya Programna inzheneriyaProgramna inzheneriya ce dodatok sistematichnogo disciplinovanogo vimirnogo pidhodu do rozrobki funkcionuvannya ta suprovodu programnogo zabezpechennya a takozh doslidzhennya cih pidhodiv tobto dodatok disciplini inzheneriyi do programnogo zabezpechennya Prirodnicha informatika Redaguvati Osnovna stattya Prirodnicha informatikaPrirodna informatika ce napryam prirodnichih doslidzhen sho vivchaye procesi obrobki informaciyi v prirodi mozku i lyudskomu suspilstvi utochniti Vona spirayetsya na taki klasichni naukovi napryami yak teoriyi evolyuciyi morfogenezu ta biologiyi rozvitku sistemni doslidzhennya doslidzhennya mozku DNK imunnoyi sistemi ta klitinnih membran teoriya menedzhmentu ta grupovoyi povedinki istoriya ta inshi Kibernetika sho viznachayetsya yak nauka pro zagalni zakonomirnosti procesiv upravlinnya ta peredachi informaciyi v riznih sistemah chi to mashini zhivi organizmi chi suspilstvo ye blizkim ale desho inshim naukovim napryamom Tak samo yak matematika ta osnovna chastina suchasnoyi informatiki vono navryad chi mozhe buti vidneseno do galuzi prirodnichih nauk oskilki rizko vidriznyayetsya vid nih svoyeyu metodologiyeyu nezvazhayuchi na shiroke zastosuvannya u suchasnih prirodnichih naukah matematichnogo ta komp yuternogo modelyuvannya Div takozh RedaguvatiVikicitati mistyat vislovlyuvannya na temu InformatikaVikishovishe maye multimedijni dani za temoyu InformatikaBioinformatika Gidroinformatika Ekonomichna informatika Istorichna informatika Medichna informatika Naukova informatika Nejroinformatika Pravova informatika Prikladna informatika Socialna informatika Vikladannya informatiki Informacijna ekonomikaPrimitki Redaguvati What is Computer Science Computer Science University of York www cs york ac uk Procitovano 23 zhovtnya 2022 WordNet Search 3 1 wordnetweb princeton edu Procitovano 23 zhovtnya 2022 Definition of computer science Dictionary com www dictionary com angl Procitovano 23 zhovtnya 2022 What is Computer Science Undergraduate Computer Science at UMD undergrad cs umd edu Procitovano 23 zhovtnya 2022 Denning P J Comer D E Gries D Mulder M C Tucker A Turner A J Young P R 1989 02 Computing as a discipline Computer 22 2 s 63 70 ISSN 1558 0814 doi 10 1109 2 19833 Procitovano 23 zhovtnya 2022 Harel David 2014 Algorithmics The Spirit of Computing Springer Berlin Arden Bruce W 1980 What can be automated the computer science and engineering research study COSERS Cambridge Mass MIT Press ISBN 0 262 01060 7 OCLC 5992299 Nof Shimon Y 2009 Springer handbook of automation with DVD ROM and 149 tables Berlin Springer ISBN 978 3 540 78831 7 OCLC 437347051 Denning P J Comer D E Gries D Mulder M C Tucker A Turner A J Young P R 1989 02 Computing as a discipline Computer 22 2 s 63 70 ISSN 0018 9162 doi 10 1109 2 19833 Procitovano 23 zhovtnya 2022 Tedre Matti 2014 The Science of Computing Shaping a Discipline Taylor and Francis CRC Press Parnas David Lorge 1998 No title found Annals of Software Engineering 6 1 4 s 19 37 doi 10 1023 A 1018949113292 Procitovano 23 zhovtnya 2022 Karl Steinbuch Standard Elektrik AG Informatikwerk INFORMATIK Automatische Informationsverarbeitung SEG Nachrichten 1957 Heft 4 Was ist Informatik Eine Begriffsklarung PDF 50 kB von Susanne Kumar Sinner und Tiziana Zugaro Merimi perevireno 21 04 2016 Kursbuch Informatik I Arhivovano 14 grudnya 2013 u Wayback Machine von Sebastian Abeck perevireno 21 04 2016 Fein Louis 1959 09 The role of the University in computers data processing and related fields Communications of the ACM angl 2 9 s 7 14 ISSN 0001 0782 doi 10 1145 368424 368427 Procitovano 23 zhovtnya 2022 Krogman Alexandra Guides Our guides have moved Our guides have moved guides library stanford edu angl Procitovano 23 zhovtnya 2022 Mihajlov A I Chernyj A I Gilyarevskij R S 1968 Osnovy informatiki 2 e izd pererab i dop M Nauka a b Angius Nicola Primiero Giuseppe Turner Raymond 2021 U Zalta Edward N The Philosophy of Computer Science The Stanford Encyclopedia of Philosophy vid Spring 2021 Metaphysics Research Lab Stanford University a b v Angius Nicola Primiero Giuseppe Turner Raymond 2021 U Zalta Edward N The Philosophy of Computer Science The Stanford Encyclopedia of Philosophy vid Spring 2021 Metaphysics Research Lab Stanford University Wegner P October 13 15 1976 Research paradigms in computer science Proceedings of the 2nd international Conference on Software Engineering Los Alamitos CA San Francisco California United States IEEE Computer Society Press Comer D E Gries David Mulder Michael C Tucker Allen Turner A Joe Young Paul R 1989 01 Computing as a discipline U Denning Peter J Communications of the ACM angl 32 1 s 9 23 ISSN 0001 0782 doi 10 1145 63238 63239 Procitovano 23 zhovtnya 2022 Eden Amnon H 7 serpnya 2007 Three Paradigms of Computer Science Minds and Machines angl 17 2 s 135 167 ISSN 0924 6495 doi 10 1007 s11023 007 9060 8 Procitovano 23 zhovtnya 2022 Zhaldak M I 1989 Sistema podgotovki uchitelya k ispolzovaniyu informacionnoj tehnologii v uchebnom processe M APN SSSR NII soderzhaniya i metodov obucheniya s 48 Zhaldak M I 2011 11 Sistema pidgotovki vchitelya do vikoristannya informacijno komunikacijnih tehnologij v navchalnomu procesi Naukovij chasopis NPU imeni M P Dragomanova Seriya 2 Komp yuterno oriyentovani sistemi navchannya s 3 15 Zhaldak M I Informatika fundamentalna naukova disciplina Vona maye vivchati zakoni prirodi informacijni procesi i vidpovidni tehnologiyi Komp yuter u shkoli ta sim yi 2010 r 1 s 49 54 David Kahn The Codebreakers 1967 Literatura RedaguvatiGlushkov V M Kibernetika vychislitelnaya tehnika informatika izbran trudy v 3 t T 1 Matematicheskie voprosy kibernetiki V M Glushkov otv red V S Mihalevich In t kibernetiki AN USSR K Naukova dumka 1990 263 s Glushkov V M Kibernetika vychislitelnaya tehnika informatika izbran trudy v 3 t T 2 EVM tehnicheskaya baza kibernetiki V M Glushkov otv red V S Mihalevich In t kibernetiki AN USSR K Naukova dumka 1990 268 s Glushkov V M Kibernetika vychislitelnaya tehnika informatika izbran trudy v 3 t T 3 Kibernetika i ee primenenie v narodnom hozyajstve V M Glushkov otv red V S Mihalevich In t kibernetiki AN USSR K Naukova dumka 1990 224 s Sergiyenko I V Naukovi ideyi V M Glushkova ta rozvitok aktualnih napryamiv informatiki monografiya I V Sergiyenko In t kibernetiki im V M Glushkova NAN Ukrayini K Naukova dumka 2013 287 s Lavrisheva K M Tehnologiyi komp yuteriv sistem i program vid akademika Glushkova K M Lavrisheva Inzheneriya programnogo zabezpechennya 2013 2 S 7 17 Tadevosyan R G Yackovska R O Informatika Algoritmichnij pidhid R G Tadevosyan Vinnicya VNAU 2010 210 s Glibovec M M Osnovi komp yuternih algoritmiv monografiya M M Glibovec K KM Akademiya 2003 450 2 s Specializovani komp yuterni tehnologiyi v informatici pid zagalnoyu redakciyeyu Ya M Nikolajchuka Ternopil TzOV Terno graf 2017 913 s Nikolajchuk Ya M Vozna N Ya Pituh I R Proektuvannya specializovanih komp yuternih sistem Ternopil TNEU 2010 392c Cimbalyuk V S Informacijne pravo konceptualni polozhennya do kodifikaciyi informacijnogo zakonodavstva monografiya V S Cimbalyuk K Osvita Ukrayini 2011 426 s Ce nezavershena stattya z informatiki Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi Otrimano z https uk wikipedia org w index php title Informatika amp oldid 39566958