Inafasiriwa moja kwa moja kutoka kwa Wikipedia ya Kiingereza na Tafsiri ya Google

Sayansi ya kompyuta

kubwa mji mkuu lambda Plot ya algorithm ya quicksort
Tea ya Utah inayowakilisha graphics za kompyuta Microsoft Tastenmaus panya inayowakilisha mwingiliano wa binadamu-kompyuta
Sayansi ya kompyuta inahusika na misingi ya nadharia ya habari na hesabu, pamoja na mbinu za vitendo za utekelezaji na matumizi ya misingi hii.

Sayansi ya kompyuta ni utafiti wa nadharia, majaribio, na uhandisi ambao huunda msingi wa kubuni na matumizi ya kompyuta. Ni mbinu ya sayansi na vitendo ya kuhesabu na maombi yake na utafiti wa utaratibu wa uwezekano, muundo, kujieleza, na utaratibu wa taratibu za taratibu (au taratibu ) ambazo zinasisitiza upatikanaji, uwakilishi, usindikaji, uhifadhi, mawasiliano, na ufikiaji kwa habari. Njia nyingine, ufafanuzi zaidi wa sayansi ya kompyuta ni utafiti wa automatisering taratibu za algorithmic ambazo zinazidi. Mwanasayansi wa uchunguzi mtaalamu wa nadharia ya kuhesabu na kubuni ya mifumo ya kompyuta. [1]

Mashamba yake yanaweza kugawanywa katika taaluma mbalimbali za kinadharia na vitendo . Masuala mengine, kama nadharia ya utata (ambayo inachunguza mali ya msingi ya matatizo ya computational na isiyoambukizwa), ni wazi sana, wakati mashamba kama vile kompyuta graphics kusisitiza maombi halisi duniani kuona. Maeneo mengine bado yanakabiliwa na changamoto katika kutekeleza hesabu. Kwa mfano, nadharia ya lugha ya programu inachunguza mbinu mbalimbali za maelezo ya hesabu, wakati utafiti wa programu za kompyuta yenyewe unachunguza vipengele mbalimbali vya matumizi ya lugha ya programu na mifumo ngumu . Maingiliano ya mwanadamu huchukua changamoto katika kufanya kompyuta na mahesabu ya manufaa, yanayotumiwa, na kupatikana kwa wanadamu.

Yaliyomo

Historia

Charles Babbage wakati mwingine hujulikana kama "baba wa kompyuta". [2]
Ada Lovelace ni sifa kwa kuandika algorithm ya kwanza ya kusindika kwenye kompyuta. [3]

Msingi wa mwanzo wa nini itakuwa sayansi ya kompyuta kabla ya uvumbuzi wa kompyuta ya kisasa ya digital . Mashine kwa ajili ya kuhesabu kazi za nambari za kudumu kama vile abacus zimekuwepo tangu zamani, kusaidia katika mchanganyiko kama vile kuzidisha na kugawa. Zaidi ya hayo, taratibu za kufanya mazoezi zimekuwepo tangu zamani, hata kabla ya maendeleo ya vifaa vya kompyuta vya kisasa.

Wilhelm Schickard iliyoundwa na ujenzi kwanza kufanya kazi mitambo calculator katika 1623. [4] Katika 1673, Gottfried Leibniz alionyesha digital mitambo calculator, aitwaye kupitiwa Reckoner . [5] Anaweza kuchukuliwa kuwa mwanasayansi wa kwanza wa kompyuta na mtaalam wa habari, kwa sababu, kwa sababu nyingine, kuandika mfumo wa nambari ya binary. Mwaka 1820, Thomas de Colmar ilizindua mitambo calculator sekta [note 1] wakati yeye iliyotolewa yake kilichorahisishwa arithmometer , ambayo ilikuwa ya kwanza kuhesabu mashine nguvu ya kutosha na ya kuaminika ya kutosha kutumika kila siku katika mazingira ya ofisi. Charles Babbage alianza kubuni ya Calculator ya kwanza ya mitambo , injini yake ya tofauti , mwaka 1822, ambayo hatimaye ilimpa wazo la calculator ya kwanza ya kupangilia mitambo , Engine Analytical . [6] Alianza kuendeleza mashine hii mwaka wa 1834, na "chini ya miaka miwili, alikuwa amefanya sifa nyingi za kompyuta ya kisasa". [7] "Hatua muhimu ilikuwa kupitishwa kwa mfumo wa kadi iliyopigwa inayotokana na upangaji wa Jacquard " [7] ili kuifanya iwezekanavyo. [note 2] Katika 1843, wakati wa tafsiri ya makala Kifaransa juu ya Analytical Engine, Ada Lovelace aliandika, katika moja ya maelezo mengi yeye ni pamoja na, algorithm kukokotoa idadi Bernoulli , ambayo ni kuchukuliwa kuwa kompyuta ya kwanza ya mpango. [8] Around 1885, Herman Hollerith zuliwa tabulator , ambayo kutumika ngumi kadi mchakato taarifa za takwimu, hatimaye kampuni yake ikawa sehemu ya IBM . Mwaka wa 1937, miaka mia moja baada ya ndoto isiyowezekana ya ndoto, Howard Aiken aliamini IBM, ambayo ilikuwa ikitengeneza vifaa vyote vya kadi ya punched na pia ilikuwa katika biashara ya calculator [9] ili kuendeleza kihesabu chake kikubwa kinachotengenezwa , ASCC / Harvard Mark I , msingi kwenye injini ya uchambuzi wa Babichi, ambayo yenyewe ilitumia kadi na kitengo kikuu cha kompyuta. Wakati mashine hiyo imekamilika, wengine walimtukuza kama "ndoto ya Babbage ikaja". [10]

Katika miaka ya 1940, kama mashine mpya ya kompyuta na nguvu zaidi ilipatikana, kompyuta hiyo ilikuja kutaja mashine badala ya watangulizi wao wa kibinadamu. [11] Kama ilivyoeleweka kwamba kompyuta zinaweza kutumiwa kwa mahesabu zaidi ya hesabu tu, shamba la sayansi ya kompyuta iliongezeka ili kujifunza hesabu kwa ujumla. Sayansi ya kompyuta ilianza kuanzishwa kama nidhamu tofauti ya kitaaluma katika miaka ya 1950 na mapema ya miaka ya 1960. [12] [13] Mpango wa kwanza wa shahada ya dunia ya sayansi ya kompyuta, Cambridge Diploma katika Sayansi ya Kompyuta , ilianza Chuo Kikuu cha Cambridge Computer Laboratory mwaka 1953. Mpango wa kwanza wa shahada ya sayansi ya kompyuta huko Marekani iliundwa Chuo Kikuu cha Purdue mwaka 1962. [14] Tangu kompyuta za vitendo zilipatikana, maombi mengi ya kompyuta yamekuwa maeneo tofauti ya kujifunza kwa haki zao.

Ingawa wengi awali waliamini haiwezekani kwamba kompyuta wenyewe kwa kweli inaweza kuwa uwanja wa kisayansi wa kujifunza, mwishoni mwa miaka ya hamsini hatimaye ilikubaliwa kati ya idadi kubwa ya watu wenye elimu. [15] [16] Ni brand ya IBM inayojulikana sasa ambayo iliunda sehemu ya mapinduzi ya sayansi ya kompyuta wakati huu. IBM (fupi kwa Mashine ya Kimataifa ya Biashara) ilitoa IBM 704 [17] na baadaye kompyuta za IBM 709 [18] , zilizotumiwa sana wakati wa kuchunguza vifaa hivyo. "Hata hivyo, kufanya kazi na IBM [kompyuta] kulikuwa na shida [...] ikiwa ungekuwa ukipoteza barua moja kwa maelekezo moja, programu hiyo itaanguka, na utahitaji kuanza mchakato wote tena". [15] Katika mwishoni mwa miaka ya 1950, nidhamu ya sayansi ya kompyuta ilikuwa sana katika hatua zake za maendeleo, na masuala hayo yalikuwa ya kawaida. [16]

Muda umeona maboresho makubwa katika usability na ufanisi wa teknolojia ya kompyuta . [19] Jamii ya kisasa imeona mabadiliko makubwa katika watumiaji wa teknolojia ya kompyuta, kutoka kwa matumizi tu na wataalam na wataalamu, kwa msingi wa karibu wa utumiaji. Awali, kompyuta zilikuwa za gharama kubwa sana, na kiwango fulani cha misaada ya kibinadamu ilihitajika kwa matumizi mazuri-kwa sehemu kutoka kwa waendeshaji wa kompyuta wa kitaaluma. Kama kupitishwa kwa kompyuta kunenea zaidi na kwa gharama nafuu, msaada wa wanadamu wa chini ulihitajika kwa matumizi ya kawaida.

Michango

Jeshi la Ujerumani lilifanya mashine ya Enigma (iliyoonyeshwa hapa) wakati wa Vita Kuu ya II kwa ajili ya mawasiliano waliyotaka kuweka siri. Kuondoa kwa kiasi kikubwa cha trafiki ya Enigma kwenye Bletchley Park ilikuwa jambo muhimu ambalo lilichangia ushindi wa Allied katika WWII. [20]

Licha ya historia yake fupi kama nidhamu rasmi ya kitaaluma, sayansi ya kompyuta imetoa michango kadhaa ya msingi kwa sayansi na jamii-kwa kweli, pamoja na umeme , ni sayansi ya mwanzilishi ya wakati wa sasa wa historia ya mwanadamu inayoitwa Age Habari na dereva ya mapinduzi ya habari , kuonekana kama leap ya tatu kubwa katika maendeleo ya teknolojia ya binadamu baada ya Mapinduzi ya Viwanda (1750-1850 CE) na Mapinduzi ya Kilimo (8000-5000 BC).

Michango hii ni pamoja na:

  • Mwanzo wa " Mapinduzi ya Digital ", ambayo yanajumuisha Umri wa Habari wa sasa na mtandao. [21]
  • Ufafanuzi rasmi wa hesabu na ufanisi , na ushahidi wa kwamba kuna shida za kutokubalika na zisizoweza kuambukizwa . [22]
  • Dhana ya lugha ya programu , chombo cha uelezeo sahihi wa habari za kisheria katika viwango mbalimbali vya kutofautiana. [23]
  • Kwa kupiga picha , kuvunja kanuni ya Enigma ilikuwa jambo muhimu linalochangia ushindi wa Allied katika Vita Kuu ya II. [20]
  • Kompyuta ya kisayansi imewezesha tathmini ya vitendo na hali za utata mkubwa, pamoja na majaribio kabisa kwa programu. Pia ilisababisha utafiti wa juu wa akili, na ramani ya jenasi ya binadamu iliwezekana na Mradi wa Binadamu wa Genome . [21] Kusambazwa miradi ya kompyuta kama Folding @ nyumbani kuchunguza kupunja protini .
  • Biashara ya algorithm imeongeza ufanisi na ukwasi wa masoko ya fedha kwa kutumia akili bandia , kujifunza mashine , na mbinu nyingine za takwimu na namba kwa kiasi kikubwa. [24] Biashara ya juu ya frequency algorithmic pia inaweza kuenea tamaa . [25]
  • Graphics za kompyuta na picha zinazozalishwa na kompyuta zimekuwa zimejitokeza katika burudani za kisasa, hasa kwenye televisheni, sinema , matangazo, uhuishaji na michezo ya video. Hata filamu ambazo hazipatikani CGI zisizo wazi huwa "zimefanyika" sasa kwenye kamera za digital , au zimehifadhiwa au zitumiwa baada ya kutumia mhariri wa video ya digital. [26] [27]
  • Ufanisi wa michakato mbalimbali, ikiwa ni pamoja na mienendo ya maji ya kompyuta, mifumo ya kimwili, umeme, na umeme na mizunguko, pamoja na jamii na hali za kijamii (hasa michezo ya vita) pamoja na makazi yao, miongoni mwa wengine wengi. Kompyuta za kisasa zinawezesha uboreshaji wa miundo kama ndege kamili. Inajulikana katika muundo wa umeme wa umeme na wa umeme ni SPICE, pamoja na programu ya utambuzi wa kimwili wa miundo mpya (au iliyopita). Mwisho huo ni pamoja na programu muhimu ya kubuni kwa nyaya zinazounganishwa . [ citation inahitajika ]
  • Ufahamu wa akili unazidi kuwa muhimu wakati unapopata ufanisi zaidi na mgumu. Kuna maombi mengi ya AI, ambayo yanaweza kuonekana nyumbani, kama vile wasambazaji wa utupu wa roboti . Pia ni katika michezo ya video na kwenye uwanja wa vita wa kisasa katika drones, mifumo ya kupambana na misisi, na robots za msaada wa kikosi .
  • Ushirikiano wa Binadamu-Kompyuta unachanganya algorithms ya riwaya na mikakati ya kubuni inayowezesha utendaji wa haraka wa binadamu, viwango vya chini vya kosa, urahisi katika kujifunza, na kuridhika sana. Watafiti hutumia uchunguzi wa kitaifa na data ya automatiska ya data ili kuelewa mahitaji ya mtumiaji, kisha kufanya vipimo vya usability ili kuboresha miundo. Uvumbuzi muhimu ni pamoja na uharibifu wa moja kwa moja , viungo vya mtandao vinavyochaguliwa, miundo ya skrini ya kugusa , maombi ya simu, na ukweli halisi .

Etymology

Ingawa kwanza ilipendekezwa mwaka wa 1956, [16] neno "sayansi ya kompyuta" linaonekana katika makala ya 1959 katika Mawasiliano ya ACM , [28] ambapo Louis Fein anasema kwa kuundwa kwa Shule ya Chuo Kikuu cha Sayansi za Kompyuta ikiwa ni sawa na kuundwa kwa Harvard Shule ya Biashara mwaka 1921, [29] kuthibitisha jina kwa kusema kuwa, kama sayansi ya usimamizi , suala hilo linatumiwa na asili ya asili, wakati una sifa za kawaida za nidhamu. [28] Juhudi zake, na wale wa wengine kama vile mchambuzi namba George Forsythe , walikuwa zawadi: vikuu aliendelea kujenga programu kama, kuanzia na Purdue mwaka wa 1962. [30] Licha ya jina lake, kiasi kikubwa cha sayansi ya kompyuta haihusishi utafiti wa kompyuta wenyewe. Kwa sababu hii, majina kadhaa mbadala yamependekezwa. [31] Idara zingine za vyuo vikuu vingi hupendelea muda wa kutumia sayansi , ili kusisitiza usawa huo. Mwanasayansi wa Kidenmaki Peter Naur alipendekeza neno datalogy , [32] kutafakari ukweli kwamba nidhamu ya kisayansi inahusu kuzungumza data na data, wakati si lazima kuwashirikisha kompyuta. Taasisi ya kwanza ya kisayansi kutumia neno hilo ilikuwa Idara ya Datalogy katika Chuo Kikuu cha Copenhagen, ilianzishwa mwaka 1969, na Peter Naur kuwa profesa wa kwanza katika datalogy. Neno hutumiwa hasa katika nchi za Scandinavia. Njia mbadala, pia iliyopendekezwa na Naur, ni sayansi ya data ; hii sasa inatumiwa kwa eneo tofauti la uchambuzi wa takwimu, ikiwa ni pamoja na takwimu na database.

Pia, katika siku za mwanzo za kompyuta, maneno kadhaa kwa watendaji wa uwanja wa kompyuta yalipendekezwa katika Mawasiliano ya ACM - mkimbizi , mwanadamu wa turologist , mzunguko-mtu , meta-mtaalamu wa hesabu , na mtambuzi wa epistemologist . [33] Miezi mitatu baadaye katika jarida hilo hilo, comptologist ilipendekezwa, ikifuatiwa mwaka ujao na mwanasayansi . [34] Nyuzo za muda mrefu pia zimependekezwa. [35] Katika Ulaya, maneno yaliyotokana na tafsiri zilizoingizwa kwa maneno "habari moja kwa moja" (kwa mfano "informazione automatica" katika Kiitaliano) au "habari na hisabati" hutumiwa mara nyingi, kwa mfano informatique (Kifaransa), Informatik (Kijerumani), informatica (Kiitaliano, Kiholanzi ), informática (Kihispania, Kireno), informatika ( Lugha za Slavic na Hungarian ) au pliroforiki ( πληροφορική , ambayo ina maana ya teknolojia ) kwa Kigiriki . Maneno kama hayo yamekubaliwa nchini Uingereza (kama katika Shule ya Informatics ya Chuo Kikuu cha Edinburgh ). [36] "Katika Marekani, hata hivyo, informatics ni kuunganishwa na kompyuta kutumika, au kompyuta katika mazingira ya uwanja mwingine." [37]

Nukuu ya folkloric, ambayo mara nyingi huhusishwa na-lakini kwa hakika sio ya kwanza iliyoandaliwa na - Edsger Dijkstra , inasema kwamba "sayansi ya kompyuta haijui zaidi kuhusu kompyuta kuliko ya astronomy inahusu telescopes." [kumbuka 3] Kubuni na kupelekwa kwa kompyuta na mifumo ya kompyuta kwa ujumla huonekana kama jimbo la taaluma zaidi ya sayansi ya kompyuta. Kwa mfano, utafiti wa vifaa vya kompyuta mara nyingi huonekana kama sehemu ya uhandisi wa kompyuta , wakati utafiti wa mifumo ya kompyuta ya kibiashara na kupelekwa kwao mara nyingi huitwa teknolojia ya habari au mifumo ya habari . Hata hivyo, kumekuwa na mbolea nyingi za misalaba ya mawazo kati ya taaluma mbalimbali zinazohusiana na kompyuta. Utafiti wa sayansi ya kompyuta pia mara nyingi huzingatia taaluma nyingine, kama falsafa, sayansi ya utambuzi , lugha , hisabati , fizikia , biolojia , takwimu , na mantiki .

Sayansi ya kompyuta inachukuliwa na wengine kuwa na uhusiano wa karibu sana na hisabati kuliko taaluma nyingi za sayansi, na watazamaji wengine wanasema kwamba kompyuta ni sayansi ya hisabati. [12] Mapema sayansi ya kompyuta iliathiriwa sana na kazi ya wataalamu wa hisabati kama vile Kurt Gödel , Alan Turing , Rózsa Péter na Alonzo Church na kunaendelea kuwa na kubadilishana kati ya mawazo kati ya maeneo mawili katika maeneo kama vile mantiki ya hisabati , nadharia ya jamii , nadharia ya kikoa , na algebra . [16]

Uhusiano kati ya sayansi ya kompyuta na uhandisi wa programu ni suala la mashindano, ambalo linatokana na migogoro juu ya kile neno "uhandisi wa programu" lina maana, na jinsi sayansi ya kompyuta inavyoelezwa. [38] Daudi Parnas , akichunguza uhusiano kati ya taaluma nyingine za uhandisi na sayansi, amesema kuwa lengo kuu la sayansi ya kompyuta linajifunza mali ya hesabu kwa ujumla, wakati lengo kuu la uhandisi wa programu ni muundo wa mahesabu maalum kufikia malengo ya vitendo, na kufanya taaluma mbili tofauti na za ziada. [39]

Masuala ya kitaaluma, kisiasa, na fedha ya sayansi ya kompyuta hutegemea kama idara inayoundwa na mkazo wa hisabati au kwa msisitizo wa uhandisi. Idara ya sayansi ya kompyuta na msisitizo wa hisabati na kwa mwelekeo wa namba huzingatia ulinganifu na sayansi ya kompyuta . Aina zote mbili za idara huwa na jitihada za kuzunguka shamba kwa elimu kama sio katika utafiti wote.

Falsafa

Wanasayansi wengi wa kompyuta wanasema kwa tofauti ya dhana tatu tofauti katika sayansi ya kompyuta. Peter Wegner alisema kuwa maelekezo hayo ni sayansi, teknolojia, na hisabati. [40] Kundi la kazi la Peter Denning linasema kuwa ni nadharia, kupoteza (kutengeneza mfano), na kubuni. [41] Amnnon H. Eden aliwaelezea kuwa "mtazamo wa kimapenzi" (ambao unachukua sayansi ya kompyuta kama tawi la hisabati, ambalo linapatikana katika sayansi ya kompyuta ya kinadharia, na hasa huajiri mawazo ya kuzingatia ), "mtazamo wa teknolojia" (ambayo inaweza kuwa kupatikana katika mbinu za uhandisi, hasa katika uhandisi wa programu), na "dhana ya sayansi" (ambayo inakaribia mabaki ya kuhusiana na kompyuta kutokana na mtazamo wa kimantiki wa sayansi ya asili , inayojulikana katika baadhi ya matawi ya akili ya bandia ). [42]

Maeneo ya sayansi ya kompyuta

Kama nidhamu, sayansi ya kompyuta inatumia mada mbalimbali kutoka kwa masomo ya kinadharia ya algorithms na mipaka ya hesabu kwa masuala ya vitendo vya utekelezaji wa mifumo ya kompyuta katika vifaa na programu. [44] [44] CSAB , zamani inayoitwa Bodi ya Uhakiki wa Sayansi ya Kompyuta (Computing Sciences Accreditation Board) ambayo imeundwa na wawakilishi wa Chama cha Mitambo ya Kompyuta (ACM), na IEEE Computer Society (IEEE CS) [45] - inathibitisha maeneo manne ambayo inachunguza muhimu kwa nidhamu ya sayansi ya kompyuta: nadharia ya hesabu , algorithms na miundo ya data , mbinu za programu na lugha , na vipengele vya kompyuta na usanifu . Mbali na maeneo haya mawili, CSAB pia hufafanua nyanja kama vile uhandisi wa programu, akili za bandia, mitandao ya kompyuta na mawasiliano, mifumo ya database, hesabu sambamba, usambazaji wa usambazaji, maingiliano ya kompyuta, kompyuta, mifumo ya uendeshaji, na hesabu za namba na za mfano kama kuwa maeneo muhimu ya sayansi ya kompyuta. [43]

Sayansi ya sayansi ya kinadharia

Sayansi ya Kompyuta ya kinadharia ni ya hisabati na ya kimapenzi katika roho, lakini inapata motisha kutoka kwa hesabu ya vitendo na ya kila siku. Lengo lake ni kuelewa asili ya hesabu na, kama matokeo ya ufahamu huu, hutoa njia bora zaidi. Masomo yote yanayohusiana na hisabati, mantiki na dhana rasmi na mbinu zinaweza kuchukuliwa kama sayansi ya kompyuta ya kinadharia, ikiwa ni pamoja na kwamba msukumo hutolewa kwenye uwanja wa kompyuta .

Miundo ya data na algorithms

Miundo ya data na taratibu ni utafiti wa mbinu za kawaida za kompyuta na ufanisi wao wa computational.

O ( n 2 ) Tengeneza quicksort anim.gif Kuunganishwa kwa orodha list.png TSP Deutschland 3.png SimplexRangeSearching.svg
Uchambuzi wa algorithms Miundo Miundo ya data Uchanganuzi wa maunganisho Jiometri ya mashindano

Nadharia ya hesabu

Kwa mujibu wa Peter Denning , swali la msingi la msingi wa sayansi ya kompyuta ni, "Ni nini (kwa ufanisi) automatiska?" [12] Nadharia ya hesabu inazingatia kujibu maswali ya msingi juu ya nini kinaweza kuhesabiwa na ni kiasi gani cha rasilimali zinazohitajika kufanya masomo hayo. Kwa jitihada za kujibu swali la kwanza, nadharia ya computability inachunguza ni matatizo gani ya computational yanayotokana na mifano mbalimbali ya kinadharia ya hesabu . Swali la pili linashughulikiwa na nadharia ya utata , ambayo inachunguza gharama za muda na nafasi zinazohusiana na njia mbalimbali za kutatua matatizo mengi ya computational.

P ya maarufu P = NP? tatizo, moja ya Matatizo ya Tuzo ya Milenia , [46] ni tatizo wazi katika nadharia ya hesabu.

DFAexample.svg Wang tiles.svg P = NP? GNITIRW-TERCES Blochsphere.svg
Nadharia ya moja kwa moja Nadharia ya ufanisi Nadharia ya utata wa ngumu Kielelezo Nadharia ya kompyuta ya Quantum

Habari na coding nadharia

Nadharia ya habari ni kuhusiana na upimaji wa habari. Hii ilitengenezwa na Claude Shannon ili kupata mipaka ya msingi juu ya shughuli za usindikaji wa signal kama vile kuimarisha data na kuhifadhi kumbukumbu na kuwasilisha data kwa uaminifu. [47] Nadharia ya coding ni utafiti wa mali ya kanuni (mifumo ya kubadili habari kutoka kwa fomu moja hadi nyingine) na fitness yao kwa maombi maalum. Maandishi hutumiwa kwa uingizaji wa data , kielelezo , kupima makosa na marekebisho , na hivi karibuni pia kwa kuunganisha mtandao . Kanuni zinajifunza kwa lengo la kubuni mbinu bora za uhamisho wa data .

Nadharia ya lugha ya programu

Nadharia ya lugha ya programu ni tawi la sayansi ya kompyuta inayohusika na kubuni, utekelezaji, uchambuzi, sifa, na uainishaji wa lugha za programu na vipengele vyao binafsi. Inakuja ndani ya nidhamu ya sayansi ya kompyuta, wote kutegemea na kuathiri hisabati , uhandisi wa programu, na lugha . Ni eneo la utafiti wa kazi, na majarida mengi ya kujifunza ya kitaaluma.

Compiler.svg Kipindi cha python add5 syntax.svg
Weka nadharia Muundo wa usanifu Lugha za programu

Mbinu rasmi

Mbinu rasmi ni aina fulani ya mbinu ya hisabati kwa ajili ya vipimo , maendeleo na uhakiki wa mifumo ya programu na vifaa . Matumizi ya mbinu rasmi kwa ajili ya programu na kubuni vifaa ni motisha na matarajio kwamba, kama katika nyingine ya uhandisi, kufanya uchambuzi sahihi wa hisabati inaweza kuchangia kuaminika na ustadi wa design. Wao huunda msongaji muhimu wa uhandisi wa uhandisi wa programu, hasa ambapo usalama au usalama unahusishwa. Njia za kawaida zinafaa kwa kupima programu kwa sababu zinasaidia kuepuka makosa na pia inaweza kutoa mfumo wa kupima. Kwa matumizi ya viwanda, msaada wa chombo unahitajika. Hata hivyo, gharama kubwa ya kutumia mbinu rasmi ina maana kwamba hutumiwa tu katika maendeleo ya mifumo ya juu ya uadilifu na ya maisha , ambapo usalama au usalama ni muhimu sana. Mbinu rasmi ni bora kama ilivyoelezwa matumizi ya aina haki pana ya kinadharia sayansi ya kompyuta na misingi, hasa mantiki kalkuli, lugha rasmi , nadharia automata , na semantiki mpango , lakini pia aina ya mifumo na aina algebraic data matatizo katika programu na vifaa vipimo na uthibitishaji.

Mifumo ya kompyuta

Usanifu wa kompyuta na uhandisi wa kompyuta

Usanifu wa kompyuta, au shirika la kompyuta la digital, ni mpango wa kubuni na msingi wa uendeshaji wa mfumo wa kompyuta. Inalenga hasa juu ya njia ambayo kituo cha usindikaji cha kati kinafanya ndani na hupata anwani katika kumbukumbu. [48] Mara nyingi shamba huhusisha taaluma ya uhandisi wa kompyuta na uhandisi wa umeme, kuchagua na kuunganisha vipengele vya vifaa vya kuunda kompyuta ambazo hukutana na kazi, utendaji, na malengo ya gharama.

NOR ANSI.svg Fivestagespipeline.png SIMD.svg
Neno la Digital Microarchitecture Multiprocessing
Roomba asili.jpg Flowchart.png Uendeshaji wa mfumo wa uendeshaji.svg
Kompyuta isiyofaa Usanifu wa mifumo Mifumo ya uendeshaji

Uchunguzi wa utendaji wa kompyuta

Uchunguzi wa utendaji wa kompyuta ni utafiti wa kazi inayozunguka kwa njia ya kompyuta na malengo ya jumla ya kuboresha byput , kudhibiti wakati wa kukabiliana , kutumia rasilimali kwa ufanisi, kuondoa vipindi , na kutabiri utendaji chini ya mizigo ya kilele. [49]

Mifumo sawa, sambamba na kusambazwa

Concurrency ni mali ya mifumo ambayo mchanganyiko kadhaa hufanya wakati huo huo, na uwezekano wa kuingiliana. Mifano kadhaa ya hisabati zimeandaliwa kwa hesabu ya kawaida ya jumla ikiwa ni pamoja na nyavu za Petri , mchakato wa mchakato na Sambamba Random Access Machine mfano. Mfumo wa kusambazwa huongeza wazo la concurrency kwenye kompyuta nyingi zilizounganishwa kupitia mtandao. Kompyuta ndani ya mfumo huo huo unaosambazwa una kumbukumbu zao binafsi, na habari mara nyingi huchangana kati yao ili kufikia lengo la kawaida.

Mitandao ya kompyuta

Tawi hili la sayansi ya kompyuta linalenga kusimamia mitandao kati ya kompyuta duniani kote.

Usalama wa kompyuta na kielelezo

Usalama wa kompyuta ni tawi la teknolojia ya kompyuta, ambalo linajumuisha ulinzi wa habari kutoka kwa upatikanaji usioidhinishwa, kuvuruga, au kubadilisha wakati unaendelea kupata upatikanaji na usability wa mfumo kwa watumiaji wake. Kilembo cha uchapishaji ni mazoezi na kujifunza kujificha (encryption) na hivyo kufafanua (decryption) habari. Kufunikwa kwa kisasa kwa kiasi kikubwa kunahusiana na sayansi ya kompyuta, kwa njia nyingi za uandishi wa maandishi na ufumbuzi hutegemea utata wao wa kompyuta.

Takwimu

Namba ni nia ya kuandaa, kuhifadhi, na kupata kiasi kikubwa cha data kwa urahisi. Takwimu za digital zinasimamiwa kwa kutumia mifumo ya usimamizi wa database kuhifadhi, kuunda, kudumisha, na kutafuta data, kupitia mifano ya database na lugha za swala .

Programu za kompyuta

Graphics za kompyuta na taswira

Graphics za kompyuta ni utafiti wa maudhui ya Visual digital, na inahusisha awali na uharibifu wa data ya picha. Utafiti huo umeshikamana na maeneo mengine mengi katika sayansi ya kompyuta, ikiwa ni pamoja na maono ya kompyuta , usindikaji wa picha , na jiometri ya kompyuta , na hutumiwa sana katika maeneo ya madhara maalum na michezo ya video .

Maingiliano ya kibinadamu

Utafiti unaoendeleza nadharia, kanuni, na miongozo kwa wabunifu wa interface ya wavuti, ili waweze kuunda uzoefu wa mtumiaji wa kuridhisha na vifaa vya desktop, kompyuta, na vifaa.

Kompyuta ya kisayansi

Kompyuta ya kisayansi (au sayansi ya kompyuta ) ni uwanja wa utafiti unaohusika na kujenga mifano ya hisabati na mbinu za uchambuzi wa kiasi na kutumia kompyuta kuchambua na kutatua matatizo ya kisayansi . Kwa matumizi ya vitendo, ni kawaida matumizi ya simulation ya kompyuta na aina nyingine za hesabu kwa matatizo katika taaluma mbalimbali za kisayansi.

Msichana wa Lorenz yb.svg Quark wiki.jpg Naphthalene-3D-balls.png 1u04-argonaute.png
Uchambuzi wa nambari Fizikia ya computational Kemia ya computational Bioinformatics

Ubunifu wa akili

Intelligence Intelligence (AI) inalenga au inahitajika kuunganisha michakato ya lengo la lengo kama vile kutatua matatizo, kufanya maamuzi, kukabiliana na mazingira, kujifunza na mawasiliano iliyopatikana kwa wanadamu na wanyama. Kutoka kwa asili yake katika cybernetics na katika Mkutano wa Dartmouth (1956), uchunguzi wa akili wa bandia umekuwa ni lazima uelekeze, kuunda maeneo ya ustadi kama vile hesabu zilizowekwa , mantiki ya mfano , nusutiki , uhandisi wa umeme , falsafa ya akili , neurophysiolojia , na kijamii akili . AI inahusishwa na akili maarufu na maendeleo ya robotic , lakini uwanja kuu wa matumizi ya vitendo imekuwa kama sehemu iliyoingia katika maeneo ya maendeleo ya programu , ambayo yanahitaji ufahamu wa kompyuta. Hatua ya kuanzia mwishoni mwa miaka ya 1940 ilikuwa swali la Alan Turing "Je! Kompyuta inaweza kufikiri?", Na swali linabakia bila ujibu hata ingawa mtihani wa Turing bado unatumika kutathmini matokeo ya kompyuta kwa kiwango cha akili ya binadamu. Lakini automatisering ya kazi za kutathmini na ya kuenea imezidi kufanikiwa kama mbadala ya ufuatiliaji wa binadamu na kuingilia kati katika maeneo ya maombi ya kompyuta yanajumuisha data ngumu ya ulimwengu halisi.

Utoaji wa ubongo wa kibinadamu wa Nicolas P. Rougier Jicho la kibinadamu, lililotolewa kutoka Eye.png Corner.png
Mafunzo ya mashine Maono ya kompyuta Usindikaji wa picha
KnnClassification.svg Julia iteration data.png Sky.png
Utambuzi wa ruwaza Uchimbaji wa data Hesabu ya mabadiliko
Neuron.svg Kiingereza.png HONDA ASIMO.jpg
Uwakilishi wa ujuzi na mawazo Usindikaji wa lugha ya asili Robotiki

Uhandisi wa programu

Uhandisi wa programu ni utafiti wa kubuni, kutekeleza, na kurekebisha programu ili kuhakikisha kuwa ni ya shaba ya juu, ya bei nafuu, inayoweza kudumishwa, na ya haraka ya kujenga. Ni njia ya utaratibu wa kubuni programu, inayohusisha matumizi ya vitendo vya uhandisi kwa programu. Programu ya uhandisi inahusika na kuandaa na kuchambua programu-haina tu kukabiliana na uumbaji au utengenezaji wa programu mpya, lakini matengenezo yake ya ndani na utaratibu. Wote wahandisi wa programu za programu za kompyuta na wahandisi wa kompyuta za mifumo ya kompyuta wanatarajiwa kuwa miongoni mwa kazi za kuongezeka kwa kasi kutoka 2008 hadi 2018.

Ufahamu mkubwa wa sayansi ya kompyuta

Mwanafalsafa wa kompyuta Bill Rapaport alibainisha Utatu Mkuu wa Sayansi ya Kompyuta : [50]

  • Gottfried Wilhelm Leibniz , George Boole , Alan Turing , Claude Shannon , na ufahamu wa Samuel Morse : Kuna mambo mawili tu ambayo kompyuta inapaswa kushughulika ili kuwakilisha "chochote".
Maelezo yote juu ya tatizo lolote la kompyuta linaweza kusimamishwa kwa kutumia tu 0 na 1 (au jozi nyingine yoyote inayoweza kusambaza ambayo inaweza kupasuka kati ya majimbo mawili yanayotambulika kwa urahisi, kama "juu / off", "magnetized / de-magnetized", "juu -voltage / chini-voltage ", nk).
  • Ufahamu wa Alan Turing : kuna matendo tano tu ambayo kompyuta inafanya ili kufanya "chochote".
Kila algorithm inaweza kuelezwa kwa lugha ya kompyuta yenye maagizo tano tu ya msingi:
  • hoja kushoto mahali moja;
  • hoja sehemu moja ya haki;
  • soma ishara kwa eneo la sasa;
  • Chapisha 0 katika eneo la sasa;
  • Chapisha 1 katika eneo la sasa.
  • Ufafanuzi wa Corrado Böhm na ufafanuzi wa Giuseppe Jacopini : kuna njia tatu tu za kuunganisha vitendo hivi (katika matatizo magumu zaidi) ambazo zinahitajika ili kompyuta ipate "chochote".
Sheria tatu tu zinahitajika ili kuchanganya maagizo yoyote ya msingi kwa wale walio ngumu zaidi:
  • mlolongo : kwanza fanya hili, basi fanya hivyo;
  • uteuzi : Ikiwa vile-na-vile ni kesi, basi fanya hili, ELSE kufanya hivyo;
  • marudio : NI kama vile-na-vile ni kesi DO hii.
Kumbuka kwamba sheria tatu za ufahamu wa Boehm na Jacopini zinaweza kuwa rahisi zaidi kwa matumizi ya goto (ambayo ina maana kuwa ni ya msingi kuliko programu za muundo ).

Academia

Mikutano ni matukio muhimu kwa utafiti wa sayansi ya kompyuta. Wakati wa mikutano hii, watafiti kutoka sekta za umma na binafsi wanawasilisha kazi yao ya hivi karibuni na kukutana. Tofauti na masuala mengi ya kitaaluma, katika sayansi ya kompyuta, sifa za karatasi za mkutano ni kubwa zaidi kuliko ile ya machapisho ya gazeti. [51] [52] Maelezo moja yaliyopendekezwa kwa hili ni maendeleo ya haraka ya shamba hili jipya linahitaji upitiaji wa haraka na usambazaji wa matokeo, kazi bora inayoendeshwa na mikutano kuliko ya majarida. [53]

Elimu

Kwa kuwa sayansi ya kompyuta ni shamba jipya, sio kufundishwa sana katika shule na vyuo vikuu kama masomo mengine ya kitaaluma. Kwa mfano, mwaka wa 2014, Code.org inakadiriwa kwamba asilimia 10 tu ya shule za sekondari nchini Marekani zilipatia elimu ya sayansi ya kompyuta. [54] Ripoti ya mwaka 2010 ya Chama cha Mashine ya Computing (ACM) na Chama cha Wataalamu wa Sayansi ya Kompyuta (CSTA) ilibainisha kuwa mataifa 14 tu kati ya 50 yamekubali viwango vya elimu muhimu kwa sayansi ya sekondari ya kompyuta. [55] Hata hivyo, elimu ya sayansi ya kompyuta inakua. [56] Nchi zingine, kama vile Israeli, New Zealand na Korea Kusini, tayari zimejumuisha sayansi ya kompyuta katika mtaala wao wa elimu ya sekondari. [57] [58] Nchi kadhaa zifuata suti. [59]

Katika nchi nyingi, kuna pengo kubwa la jinsia katika elimu ya sayansi ya kompyuta. Kwa mfano, nchini Marekani kuhusu asilimia 20 ya digrii za sayansi za kompyuta mwaka 2012 walipewa wanawake. [60] Pengo hili la kijinsia pia lipo katika nchi nyingine za Magharibi. [61] Hata hivyo, katika sehemu fulani za dunia, pengo ni ndogo au haipo. Mwaka 2011, karibu nusu ya digrii za sayansi za kompyuta nchini Malaysia zilipewa wanawake. [62] Mwaka 2001, wanawake linaloundwa 54.5% ya wahitimu sayansi ya kompyuta katika Guyana . [61]

Angalia pia

  • Nasaba ya kitaaluma ya wanasayansi wa kompyuta
  • Chama cha Mitambo ya Computing
  • Chama cha Walimu wa Sayansi ya Kompyuta
  • Informatics na Uhandisi informatics
  • Orodha ya idara za sayansi ya kompyuta
  • Orodha ya wanasayansi wa kompyuta
  • Orodha ya machapisho katika sayansi ya kompyuta
  • Orodha ya waanzilishi katika sayansi ya kompyuta
  • Orodha ya matatizo yasiyotambuliwa katika sayansi ya kompyuta
  • Upeo wa uhandisi wa programu
  • Teknolojia ya uhamisho katika sayansi ya kompyuta
  • Tuzo ya Turing

Sayansi ya kompyuta - Wikipedia kitabu

Vidokezo

  1. ^ 1851
  2. ^ "Kuanzishwa kwa kadi zilizopigwa kwenye injini mpya ilikuwa muhimu si tu kama aina rahisi zaidi ya kudhibiti kuliko ngoma, au kwa sababu mipango inaweza sasa kuwa ya kiwango cha ukomo, na inaweza kuhifadhiwa na kurudiwa bila hatari ya kuanzisha makosa katika kuweka mashine kwa mkono, ilikuwa ni muhimu pia kwa sababu ilitengeneza hisia za Babbage kwamba alikuwa amejenga jambo jipya, jambo ambalo ni zaidi ya mashine ya kuhesabu ya kisasa. " Bruce Collier , 1970
  3. ^ Angalia kuingia " Sayansi ya kompyuta " kwenye Wikiquote kwa historia ya nukuu hii.

Marejeleo

  1. ^ "WordNet Search-3.1" . Wordnetweb.princeton.edu . Iliondolewa Mei 14, 2012 .
  2. ^ "Taasisi ya Charles Babbage: Charles Babbage alikuwa nani?" . cbi.umn.edu . Iliondolewa tarehe 28 Desemba 2016 .
  3. ^ "Ada Lovelace | Mhandishi ya Babbage | Makumbusho ya Historia ya Kompyuta" . www.computerhistory.org . Iliondolewa tarehe 28 Desemba 2016 .
  4. ^ "Wilhelm Schickard - Ein Computerpionier" (PDF) .
  5. ^ "Historia Fupi ya Kompyuta" .
  6. ^ "Makumbusho ya Sayansi-Utangulizi wa Babichi" . Imehifadhiwa kutoka kwa asili ya Septemba 8, 2006 . Iliondolewa Septemba 24, 2006 .
  7. ^ B Anthony Hyman (1982). Charles Babbage, upainia wa kompyuta .
  8. ^ "Uchaguzi na Upasuaji kutoka kwa Vidokezo vya Ada zilizopatikana katika Ada, The Enchantress of Numbers," na Betty Alexandra Toole Ed.D. Majarida ya Strawberry, Mill Valley, CA " . Imehifadhiwa kutoka kwa asili ya Februari 10, 2006. Ilipatikana tena Mei 4, 2006 .
  9. ^ "Kwa maana hii Aiken inahitajika IBM, teknolojia yake ikiwa ni pamoja na matumizi ya kadi zilizopigwa, kusanyiko la data ya namba, na uhamisho wa data za namba kutoka kwenye rejista moja hadi nyingine", Bernard Cohen , p. 44 (2000)
  10. ^ Brian Randell , uk. 187, 1975
  11. ^ Chama cha Mitambo ya Computing (ACM) ilianzishwa mwaka 1947.
  12. ^ B c Denning, Peter J. (2000). "Sayansi ya Kompyuta: Adhabu" (PDF) . Encyclopedia ya Sayansi ya Kompyuta . Imehifadhiwa kutoka kwa awali (PDF) Mei 25, 2006.
  13. ^ "Takwimu za EDSAC" . Chuo Kikuu cha Cambridge . Iliondolewa Novemba 19, 2011 .
  14. ^ "Ushauri wa sayansi ya sayansi Samuel D. Conte akifa kwa 85" . Sayansi ya Kompyuta ya Purdue. Julai 1, 2002 . Iliondolewa Desemba 12, 2014 .
  15. ^ B Levy, Steven (1984). Wanaharakati: Mashujaa wa Mapinduzi ya Kompyuta . Doubleday. ISBN 0-385-19195-2 .
  16. ^ B c d Tedre, Matti (2014). Sayansi ya Kompyuta: Kujenga Adhabu . Taylor na Francis / CRC Press.
  17. ^ "IBM 704 Electronic Data Processing System-CHM Mapinduzi" . Computerhistory.org . Iliondolewa Julai 7, 2013 .
  18. ^ "IBM 709: mfumo mpya wa usindikaji wa data" (PDF) . Makumbusho ya Historia ya Kompyuta . Iliondolewa Desemba 12, 2014 .
  19. ^ "Muda wa Historia ya Kompyuta" . Makumbusho ya Historia ya Kompyuta . Iliondolewa Novemba 24, 2015 .
  20. ^ B David Kahn , Codebreakers , 1967, ISBN 0-684-83130-9 .
  21. ^ B "Sayansi ya Kompyuta: Mafanikio na Changamoto circa 2000" (PDF). Imehifadhiwa kutoka kwa asili (PDF) mnamo Septemba 11, 2006 . Iliondolewa Januari 11, 2007 .
  22. ^ Mtawala, RL (Machi 2000). "Sayansi ya Kompyuta: Mafanikio na Changamoto circa 2000" (PDF) .
  23. ^ Abelson, H .; GJ Sussman na J. Sussman (1996). Muundo na Ufafanuzi wa Programu za Kompyuta (2nd ed.). MIT Press. ISBN 0-262-01153-0 . Mapinduzi ya kompyuta ni mapinduzi kwa njia tunayofikiri na kwa namna tunavyoelezea kile tunachofikiri. Kiini cha mabadiliko haya ni kuibuka kwa kile kinachoweza kuitwa zaidi kuwa epistemology ya kiutaratibu - kujifunza muundo wa ujuzi kutoka kwa mtazamo wa lazima, kinyume na mtazamo wa kupanua zaidi unaotokana na masomo ya kialimu ya kialimu.
  24. ^ "Wafanyabiashara wa sanduku la rangi nyeusi ni kwenye maandamano" . Telegraph . Agosti 26, 2006. Iliyorodheshwa kutoka mwanzo Juni 21, 2008.
  25. ^ "Impact of Trading Frequency Trading kwenye Soko la Electronic". Papers.ssrn.com. Je : 10.2139 / ssrn.1686004 . SSRN 1686004 Freely accessible .
  26. ^ Maly, Timy. "Jinsi Waandishi wa Waandishi wa Digital walijenga Kisasa cha Kisasa cha Sci-Fi kwenye Bajeti ya Kickstarter" . Wired . Iliondolewa Novemba 24, 2015 .
  27. ^ Matthau, Charles. "Jinsi Tech imeunda Filamu Kufanya: Filamu dhidi ya Mjadala wa Kidimbwa Inawekwa Pumziko" . Wired . Iliondolewa Novemba 24, 2015 .
  28. ^ B Louis Fine (1959). "Wajibu wa Chuo Kikuu katika Kompyuta, Usindikaji wa Takwimu, na Mashamba Yanayohusiana". Mawasiliano ya ACM . 2 (9): 7-14. Nini : 10.1145 / 368424.368427 .
  29. ^ "Historia ya Maandishi ya Stanford" . Chuo Kikuu cha Stanford . Iliondolewa Mei 30, 2013 .
  30. ^ Donald Knuth (1972). "George Forsythe na Maendeleo ya Sayansi ya Kompyuta" . Comms. ACM . Imehifadhiwa mnamo Oktoba 20, 2013, kwenye Wayback Machine .
  31. ^ Matti Tedre (2006). "Maendeleo ya Sayansi ya Kompyuta: Mtazamo wa Jamii" (PDF) . p. 260 . Iliondolewa Desemba 12, 2014 .
  32. ^ Peter Naur (1966). "Sayansi ya datalogy". Mawasiliano ya ACM . 9 (7): 485. hati : 10.1145 / 365719.366510 .
  33. ^ Weiss, EA; Corley, Henry PT "Mawasiliano ya ACM". Mawasiliano ya ACM . 1 (4): 6. kifungu : 10.1145 / 368796.368802 .
  34. ^ Mawasiliano ya ACM 2 (1): p.4
  35. ^ IEEE Kompyuta 28 (12): p.136
  36. ^ P. Mounier-Kuhn, L'informatique en France, wa pili ya vita au Plan Calcul. L'emergence d'une science , Paris, PUPS, 2010, ch. 3 & 4.
  37. ^ [1]
  38. ^ Tedre, M. (2011). "Kompyuta kama Sayansi: Uchunguzi wa Maono ya Kushindana". Akili na Mashine . 21 (3): 361-387. toa : 10.1007 / s11023-011-9240-4 .
  39. ^ Parnas, DL (1998). "Programu za uhandisi za programu si programu za sayansi za kompyuta". Annals ya Uhandisi wa Programu . 6 : 19-37. Je : 10.1023 / A: 1018949113292 . , p. 19: "Badala ya kutibu uhandisi wa programu kama uwanja wa sayansi ya kompyuta, mimi huiona kama kipengele cha kuweka, uhandisi wa kiraia, uhandisi wa mitambo, uhandisi wa kemikali, uhandisi wa umeme, [...]"
  40. ^ Wegner, P. (Oktoba 13-15, 1976). Maonyesho ya utafiti katika sayansi ya kompyuta-Majadiliano ya Mkutano wa 2 wa Kimataifa wa Uhandisi wa Programu . San Francisco, California, Marekani: IEEE Kompyuta Society Press, Los Alamitos, CA.
  41. ^ Denning, PJ; Mjumbe, DE; Gries, D .; Mulder, MC; Tucker, A .; Turner, AJ; Vijana, PR (Januari 1989). "Computing kama nidhamu". Mawasiliano ya ACM . 32 : 9-23. toa : 10.1145 / 63238.63239 .
  42. ^ Edeni, AH (2007). "Paradigms tatu za Sayansi ya Kompyuta" (PDF) . Akili na Mashine . 17 (2): 135-167. Je : 10.1007 / s11023-007-9060-8 . Imehifadhiwa kutoka kwa awali (PDF) mnamo Februari 15, 2016.
  43. ^ B "Sayansi ya Kompyuta kama Taaluma" . Bodi ya Usajili wa Sayansi ya Kompyuta. Mei 28, 1997. Imehifadhiwa kutoka kwa asili ya Juni 17, 2008 . Iliondolewa Mei 23, 2010 .
  44. ^ Kamati ya Msingi wa Sayansi ya Kompyuta: Changamoto na Fursa, Baraza la Utafiti wa Taifa (2004). Sayansi ya Kompyuta: Kutafakari juu ya Shamba, Kutafakari kutoka kwa Shamba . Maktaba ya Taifa ya Makumbusho. ISBN 978-0-309-09301-9 .
  45. ^ "CSAB Uongozi wa Kompyuta wa Kompyuta" . CSAB. Agosti 3, 2011 . Iliondolewa Novemba 19, 2011 .
  46. ^ Taasisi ya Hisabati ya Clay P = NP iliyohifadhiwa Oktoba 14, 2013, kwenye Wayback Machine .
  47. ^ P. Collins, Graham (Oktoba 14, 2002). "Claude E. Shannon: Mwanzilishi wa Nadharia ya Habari" . Scientific American . Iliondolewa Desemba 12, 2014 .
  48. ^ A. Thisted, Ronald (Aprili 7, 1997). "Usanifu wa Kompyuta" (PDF) . Chuo Kikuu cha Chicago.
  49. ^ Wescott, Bob (2013). Kitabu Kila Utendaji wa Kompyuta, Sura ya 3: Sheria muhimu . UndaUnda . ISBN 1482657759 .
  50. ^ "Nambari ni nini?" . buffalo.edu .
  51. ^ Meyer, Bertrand (Aprili 2009). "Maoni: Tathmini ya utafiti kwa sayansi ya kompyuta". Mawasiliano ya ACM . 25 (4): 31-34. Je : 10.1145 / 1498765.1498780 .
  52. ^ Patterson, David (Agosti 1999). "Kuchunguza Kompyuta Wanasayansi na Wahandisi Kwa Kuendeleza na Kuweka" . Chama cha Utafiti wa Kompyuta.
  53. ^ Fortnow, Lance (Agosti 2009). "Maoni: Muda wa Sayansi ya Kompyuta ili Kukua" . Mawasiliano ya ACM . 52 (8): 33-35. Nini : 10.1145 / 1536616.1536631 .
  54. ^ "Sayansi ya Kompyuta: Sio tu Uchaguzi" . Wiki ya Elimu . Februari 25, 2014.
  55. ^ "Mbio juu ya tupu" (PDF) . Oktoba 2010.
  56. ^ "Jinsi ya Kufundisha Kufikiria Computational-Stephen Wolfram Blog" . blog.stephenwolfram.com . Iliondolewa Septemba 16, 2016 .
  57. ^ "Ni kwa ajili ya algorithm" . The Economist . Aprili 26, 2014.
  58. ^ "Computing katika Shule ya Kimataifa kulinganisha" (PDF) . Iliondolewa Julai 20, 2015 .
  59. ^ "Kuongeza Coding kwa Mtaalam" . The New York Times . Machi 23, 2014.
  60. ^ "IT ni pengo la kijinsia: wapi wa programu za kike wapi?" . Iliondolewa Julai 20, 2015 .
  61. ^ B "pengo IT jinsia: wapi programmers kike?" .
  62. ^ "jinsia ni sayansi" (PDF) . Iliondolewa Julai 20, 2015 .

Kusoma zaidi

Maelezo ya jumla
  • Tucker, Allen B. (2004). Kitabu cha Sayansi ya Kompyuta (2nd ed.). Chapman na Hall / CRC. ISBN 1-58488-360-X .
    • "Ndani ya sura zaidi ya 70, kila mmoja mpya au wa kurekebishwa kwa kiasi kikubwa, mtu anaweza kupata habari yoyote na marejeo kuhusu sayansi ya kompyuta ambayo mtu anaweza kufikiria. [...] yote kwa wote, hakuna kitu juu ya Sayansi ya Kompyuta ambayo haiwezi kupatikana katika 2.5 kilo-encyclopaedia na makala zake 110 za utafiti [...]. " (Christoph Meinel, Zentralblatt MATH )
  • van Leeuwen, Jan (1994). Kitabu cha Sayansi ya Kompyuta ya Kinadharia . MIT Press. ISBN 0-262-72020-5 .
    • "[...] kuweka hii ni ya pekee zaidi na inawezekana kuwa muhimu kwa jamii [sayansi ya sayansi ya kompyuta], kwa msaada wa mafundisho na utafiti [...] Vitabu vinaweza kutumiwa na mtu yeyote anayetaka tu kupata ufahamu wa moja ya maeneo haya, au kwa mtu anayetaka kuwa na utafiti katika mada, au kwa wafundishaji wanaotaka kupata taarifa wakati juu ya somo ambalo wanafundisha nje ya maeneo yao maarifa. " (Rocky Ross, Habari za SIGACT )
  • Ralston, Anthony ; Reilly, Edwin D .; Hemmendinger, David (2000). Encyclopedia ya Sayansi ya Kompyuta (4th ed.). Dictionaries ya Grove. ISBN 1-56159-248-X .
    • "Tangu mwaka wa 1976, hii imekuwa kazi ya rejea ya ufanisi kwenye kompyuta, kompyuta, na sayansi ya kompyuta. [...] Kwa herufi iliyopangwa na kugawanywa katika maeneo mafupi, vifungo vinavyofunika vifaa, mifumo ya kompyuta, habari na data, programu, hesabu za kompyuta , nadharia ya hesabu, mbinu, maombi, na mazingira ya waandishi wa habari.Wahariri wamefanya kazi nzuri ya kuchanganya mtazamo wa kihistoria na maelezo ya ufanisi wa kumbukumbu. Incyclopedia bado inahitajika kwa makusanyo mengi ya kumbukumbu ya umma na ya kitaaluma. " (Joe Accardin, Kaskazini-Mashariki mwa Illinois Univ., Chicago)
  • Edwin D. Reilly (2003). Mambo muhimu katika Sayansi ya Kompyuta na Teknolojia ya Habari . Kikundi cha Green Pub Publishing. ISBN 978-1-57356-521-9 .
Vitabu vichaguliwa
  • Knuth, Donald E. (1996). Papa zilizochaguliwa kwenye Sayansi ya Kompyuta . CSLI Publications, Chuo Kikuu cha Cambridge Press .
  • Collier, Bruce. Injini kidogo ambayo inaweza kuwa: mashine ya kuhesabu ya Charles Babbage . Garland Publishing Inc. ISBN 0-8240-0043-9 .
  • Cohen, Bernard (2000). Howard Aiken, Picha ya upainia wa kompyuta . Waandishi wa MIT. ISBN 978-0-2625317-9-5 .
  • Tedre, Matti (2014). Sayansi ya Kompyuta: Kujenga Adhabu . Waandishi wa CRC, Taylor & Francis .
  • Randell, Brian (1973). Matukio ya Kompyuta za Digital, Nyaraka zilizochaguliwa . Springer-Verlag. ISBN 3-540-06169-X .
    • "Kufunika kipindi cha mwaka wa 1966 hadi 1993, riba yake sio tu katika maudhui ya kila karatasi hizi - bado ni wakati wa leo - lakini pia katika kuunganishwa kwao ili mawazo yaliyoonyeshwa wakati tofauti yanajumuisha vizuri." (N. Bernard, Zentralblatt MATH )
Makala
  • Peter J. Denning. Je sayansi ya sayansi ya kompyuta? , Mawasiliano ya ACM, Aprili 2005.
  • Peter J. Denning, Kanuni kuu katika kompyuta , Mkutano wa Ufundi juu ya Elimu ya Sayansi ya Kompyuta, 2004.
  • Tathmini ya utafiti kwa ajili ya sayansi ya kompyuta, ripoti ya Kompyuta ya Ulaya. Mchapishaji wa jarida mfupi: Bertrand Meyer, Christine Choppy, Jan van Leeuwen na Jorgen Staunstrup, Tathmini ya utafiti kwa sayansi ya kompyuta , katika Mawasiliano ya ACM , vol. 52, hapana. 4, uk. 31-34, Aprili 2009.
Mtaalam na uainishaji
  • Chama cha Mitambo ya Computing . Mfumo wa Uainishaji wa ACM wa 1998 . 1998.
  • Jumuiya ya Pamoja ya Chama cha Mitambo ya Kompyuta (ACM), Chama cha Habari za Habari (AIS) na IEEE Computer Society (IEEE CS). Mfumo wa Curriculum 2005: Ripoti ya jumla . Septemba 30, 2005.
  • Norman Gibbs , Allen Tucker . "Mtaala wa mfano wa shahada ya sanaa ya huria katika sayansi ya kompyuta". Mawasiliano ya ACM , Volume 29 Issue 3, Machi 1986.

Viungo vya nje

Maandishi na injini ya taaluma ya kitaaluma
Mashirika ya kitaaluma
Ziada