"Usa sa mga hinungdan sa aktuwal nga pag-eskwela sa unibersidad mao ang paglihok lapas pa sa yano nga bokasyonal nga pagbansay ug hinoon pagkuha sa mas lawom nga mga ideya."
Atong hunahunaon kini nga pangutana og gamay. Pipila ka tuig ang milabay, ang mga departamento sa Computer Science nagdapit kanako sa paghatag ug mga lektyur sa daghang unibersidad. Halos sulagma lang, akong gipangutana ang akong unang mamiminaw sa mga undergrad, gradwado nga mga estudyante, ug mga propesor bahin sa ilang kahulugan sa βComputer Science.β Ang tanan makahatag lamang ug kahulugan sa engineering. Gibuhat nako kini sa matag bag-ong lugar, ug bisan diin adunay parehas nga mga sangputanan.
Ang laing pangutana mao: "Kinsa si Douglas Engelbart?" Daghang mga tawo ang miingon, "dili ba kini usa ka butang nga buhaton sa usa ka mouse sa kompyuter?" (ug kini nakapahigawad kaayo kanako, tungod kay ang akong siyentipikanhong komunidad nagbutang ug daghang paningkamot sa pagsiguro nga ang tubag niini nga pangutana posible sa duha o tulo ka mga pag-klik sa mouse ug kombinsido nga si Engelbart adunay kalabutan gayud sa computer mouse) .
Kabahin sa problema mao ang kakulang sa pagkamausisaon, usa ka pig-ot nga personal nga mga katuyoan nga walaβy kalabutan sa pagkat-on, usa ka bahin ang kakulang sa pagsabut kung unsa kini nga siyensya, ug uban pa.
Nagtrabaho ko nga part-time sa departamento sa siyensya sa kompyuter sa Unibersidad sa California sa daghang mga tuig (propesor gyud ko, apan dili ko kinahanglan nga moadto sa mga miting sa departamento). Matag karon ug unya nagtudlo ko og mga klase, usahay alang sa mga estudyante sa unang tuig. Sulod sa mga katuigan, ang ubos na nga lebel sa pagkamausisaon sa Computer Science mius-os pag-ayo (apan ang lebel sa pagkapopular miuswag usab, tungod kay ang pag-compute nakita nga usa ka dalan sa usa ka maayo nga suweldo nga trabaho kung mahimo nimo nga code ug makakuha og sertipiko gikan sa usa ka taas. 10 eskwelahan). Tungod niini, walay bisan usa ka estudyante ang nagreklamo nga ang unang pinulongan sa Unibersidad sa California mao ang C++!
Para nako nag-atubang kita og usa ka sitwasyon diin ang mga kahulogan sa "Computer" ug "Science" gilaglag sa huyang, dagkong mga konsepto aron makahimo og bag-ong termino - usa ka matang sa label sa maong - nga maayo paminawon apan maayo. medyo walay sulod. Ang usa ka may kalabutan nga termino nga parehas nga naguba mao ang "software engineering", nga, sa makausa pa, wala mogamit sa labing katingad-an nga mga ideya sa "programming" ug "engineering", apan gihiusa ra kini (kini tinuyo nga gihimo kaniadtong mga dekada XNUMX, kung kini gihimo gimugna nga termino).
Usa sa mga rason sa aktuwal nga pag-eskwela sa unibersidad mao ang paglihok lapas pa sa yano nga bokasyonal nga pagbansay ug hinoon sa pagsabot sa mas lawom nga mga ideya. Para nako makatarunganon kaayo alang sa usa ka pasiuna sa usa ka espesyalidad nga sulayanβpinaagi sa mga ehemplo kung mahimoβaron maapil ang mga estudyante sa mga problema sa tinuod nga kinabuhi ug magsugod sa pagsabut kung unsa ang tinuud nga makapaikag, hinungdanon, ug sentro sa natad.
Nalipay ang mga first graders kung gipakita nila kung giunsa ang usa ka ruler sa ibabaw sa lain nga ruler mahimong usa ka pagdugang nga makina, diin mahimo nilang pildihon ang mga bata sa 5th grade sa pagdugang mga fraction. Ug unya malipay sila nga moapil sa pagpalambo sa gipaayo nga pagdugang nga mga makina. Gihikap nila ang usa ka tinuod nga kompyuter - usa ka pisikal ug mental nga himan nga makatabang kanato sa paghunahuna. Nakakat-on sila usa ka epektibo nga paagi sa pagrepresentar sa mga numero - labi ka epektibo kaysa gitudlo sa mga eskuylahan!
Nahimo nila nga gihiusa ang ilang sentido komon nga ideya sa "pagdugang" ingon nga "pagtipon" sa usa ka butang nga susama sa kusgan nga bag-ong mga kabtangan. Ila kining giprograma aron masulbad ang nagkadaiyang problema.
Gipalapdan usab nila kini. Ug uban pa. Dili kini digital nga kompyuter. Ug dili kini usa ka kompyuter nga adunay gisag-ulo nga programa. Apan kana ang esensya sa usa ka kompyuter. Sama ra - Kini sa kasagaran mao ang esensya sa usa ka kompyuter ug kompyuter.
Mekanismo sa Antikythera
Unsa ka layo ang atong mahimo ug unsa ka daghan ang atong mahimo sa dili pa ang mga butang mawala sa kamot ug kita mawala sa mga abstraction? Kanunay kong partial sa characterization - ang unang mananaog sa Turing Award, nga tingali nag-imbento sa termino nga "Computer Science" - kinsa sa 60s miingon: "Ang Computer Science mao ang siyensiya sa mga proseso." Tanan nga proseso.
Alang sa Quora, dili nato sulayan nga iduso pa kini o himuon kini nga relihiyosong dogma. Gamiton lang nato ang ideya nga malipayon aron makahunahuna ug maayo bahin sa among natad. Ug ilabina kon unsaon kini pagtudlo. Kinahanglan na natong tan-awon karon ang modernong kahulogan sa "siyensiya", ug ang Perlis medyo masaligon nga dili kini angayng tunawon sa mas daan nga mga kahulogan (sama sa "koleksiyon sa kahibalo") ug mga gamit (sama sa "library science" o bisan sa "sosyal" siyensiya") "). Pinaagi sa "syensya" gisulayan niya nga masabtan ang usa ka panghitabo pinaagi sa paghimo og mga modelo / mapa nga mosulay sa pagpakita, "pagsubay" ug pagtagna sa mga panghitabo.
Nakahatag ako og daghang mga interbyu bahin sa kung giunsa ang labing kaayo nga mga mapa ug mga modelo kanunay nga mohaum sa usa ka T-shirt, sa paagi nga gihimo sa mga equation ni Maxwell ug uban pa. Ang analohiya mao nga adunay usa ka "siyensiya sa mga tulay," bisan pa nga kadaghanan sa mga tulay hinimo sa tawo. Apan kung matukod na ang usa ka tulay, kini nagrepresentar sa mga panghitabo nga mahimo tun-an sa mga siyentista, ang mga tulay mahimong magamit sa paghimo og mga modelo sa daghang mga klase, ug maporma ang komprehensibo ug mapuslanon nga "mga teorya sa tulay." Ang lingaw mao nga mahimo ka na nga magdesinyo ug magtukod ug bag-ong mga tulay (nahisgotan na nako nga halos walaβy bisan unsa nga mas makalingaw kaysa mga siyentipiko ug mga inhenyero nga nagtinabangay aron masulbad ang mga dagko ug hinungdanon nga mga problema!)
Si Herbert Simon, usa ka Turing Award ug Nobel Prize winner, nagtawag niining tanan nga "ang siyensiya sa artipisyal" (ug misulat sa usa ka maayo kaayo nga libro nga adunay parehas nga titulo).
Hatagan ko ikaw ug usa ka pananglitan. Sa dekada 50, ang mga kompanya ug unibersidad nagtukod og mga memory computer ug nagsugod sa pagprograma niini - ug adunay usa ka espesyal nga higayon sa dihang migawas ang Fortran niadtong 1956 - nga dili ang unang high-level nga pinulongan, apan tingali ang una nga nahimo nga maayo kaayo nga kini nahimo. gigamit sa daghang lain-laing mga lugar, lakip ang daghan nga kaniadto gihimo lamang sa makina nga pinulongan.
Kining tanan nagpatunghag βphenomenaβ.
John McCarthy
Ang kasaysayan sa Lisp mas komplikado, apan si John McCarthy nahimong interesado sa pagsulay sa pagpangita sa usa ka "matematika nga teorya sa pagkuwenta" ug determinado sa paghimo sa tanan nga maayo nga trabaho. Ang eval function, nga naghubad sa Lisp, dali nga mohaum sa usa ka T-shirt! Kung itandi sa usa ka "sistema sa pagprograma," kini dili hinungdanon. Labaw sa tanan, kini nga "teorya sa pagkalkula" usa ka labi ka kusgan nga konsepto kaysa Fortran! Kini ang labing kaayo nga ideya sa tulay!
Ang gamay nga kinaiyahan sa Lisp nagtugot sa tibuuk nga ideya sa pagprograma nga makuha sa usa ka magtiayon nga mga pag-klik sa usa ka mas lawom nga lebel ug mahunahuna sa usa ka lebel nga ingon imposible kung imong tan-awon ang daghang mga artifact (kini usa sa mga hinungdan nganong gusto sa mga siyentista ang matematika nga compact ug gamhanan). Ang matematika nga gigamit dinhi mao ang bag-ong matematika tungod kay kini nagtugot sa mga konsepto sama sa "sa wala pa" ug "pagkahuman" ug kini modala ngadto sa "variable logic" nga nagtugot sa functional dependence ug lohikal nga dagan sa hunahuna nga mapreserbar samtang nagtugot usab sa posisyon ug sa agianan. sa panahon. (Dili gihapon kini masabtan sa atong panahon sa mapintas nga kalibutan sa situational programming).
Lisp, isip usa ka gamhanan nga programming language ug metalanguage nga makarepresentar sa kaugalingon nga teorya, usa ka ehemplo sa tinuod nga computer science. Kung makat-on ka niini ug uban pang susama nga mga butang, mahimo nimong hunahunaon nga mas lawom ug mahimong mas responsable sa imong kaugalingon nga kapalaran kaysa kung nakakat-on ka lang sa pagprograma sa Fortran o sa mga modernong katumbas niini (... para mas maduol ka sa mga programmer! ).
Daghan pa ang imong mahibal-an bahin sa mga espesyal nga klase sa disenyo nga gikinahanglan sa pag-compute (pananglitan, dili kini kasagaran nga gipasalamatan kung ang pag-compute kanunay nanginahanglan paggawas sa gawas sa palibot sa kompyuter: usa sa mga espesyal nga kinaiya sa gitipigan nga soft computing mao nga kini dili lang ang materyal alang sa programa, apan materyal alang sa hingpit nga bag-ong kompyuter).
Ang laing rason sa pagpili sa depinisyon ni Perlis mao nga, sa kinatibuk-an, ang pag-compute mas nabalaka sa paghimo sa mga sistema sa daghang mga matang kaysa sa mga algorithm, "mga istruktura sa datos" o bisan sa pagprograma mismo. Pananglitan, ang kompyuter usa ka sistema, ang kompyuter usa ka sistema, usa ka lokal nga network ug ang Internet mga sistema, ug kadaghanan sa mga programa kinahanglan nga mas maayo nga mga sistema kaysa kanila (ang daan nga istilo sa pagprograma gikan sa 50s milungtad hangtod nga ang pagprograma kinahanglan nga sama niini - walay mahimo nga labaw pa sa kamatuoran).
Ang Internet usa ka maayong panig-ingnan - dili sama sa kadaghanan sa software karong panahona, ang Internet dili kinahanglan nga hunongon aron ayohon o mapaayo ang bisan unsang butang - kini sama sa usa ka biolohikal nga sistema - sa among katuyoan - kaysa kung unsa ang gihunahuna sa kadaghanan sa mga tawo ingon usa ka sistema sa kompyuter. Ug kini labi ka mabag-o ug kasaligan kaysa hapit tanan nga mga sistema sa software nga magamit karon. Kini angayan nga hunahunaon sa dili pa itudlo ang dili kaayo kusgan nga mga konsepto sa mga bag-ong programmer!
Mao nga kung unsa ang kinahanglan naton buhaton sa usa ka una nga tuig nga kurso sa Computer Science mao ang paghunahuna kung unsa gyud ang mahimo sa mga estudyante sa sinugdanan, ug dayon pagsulay nga magpabilin sa sulod sa ilang "panghunahuna nga lulan" aron matabangan sila nga makuha kung unsa gyud ang hinungdanon. Importante nga "magpabilin nga tinuod" ug mangita og mga paagi nga matinud-anon sa intelektwal ug angay alang niadtong nagsugod pa lang. (Palihug ayaw itudlo ang dili maayo nga mga ideya tungod lang kay kini daw mas simple - daghang dili maayo nga mga ideya mas simple!).
Ang mga estudyante kinahanglan magsugod pinaagi sa paghimo og usa ka butang nga adunay daghang hinungdanon nga mga kinaiya nga akong gihisgutan dinhi. Kini kinahanglan nga usa ka sistema sa daghang mga dinamikong nakig-uban nga mga bahin, ug uban pa. Ang usa ka maayong paagi sa pagdesisyon kung unsang programming language ang gamiton mao ang paghimo lang usa ka butang nga adunay libu-libo nga nakig-uban nga mga bahin! Kung dili, nan kinahanglan nimo pangitaon ang usa. Ang pinakagrabe nga butang nga imong mahimo mao ang pagpahimutang sa mga estudyante sa usa ka dalan nga gamay ra kaayo ang pagkalunsay, nga maglimite sa dagkong mga ideya. Gipatay lang sila niini - ug gusto namon nga padakuon sila, dili patyon sila.
Mahitungod sa GoTo School
- Hunyo 17-30, Hulyo 15-28, Agosto 12-25
Source: www.habr.com