"Youn nan rezon ki fè yo aktyèlman ale nan inivèsite se ale pi lwen pase senp fòmasyon pwofesyonèl epi olye atrab lide pi pwofon."
Ann reflechi sou kesyon sa a yon ti kras. Plizyè ane de sa, depatman Syans Enfòmatik te envite m 'fè konferans nan yon kantite inivèsite. Prèske pa chans, mwen te mande premye odyans mwen nan bakaloreya, etidyan gradye, ak pwofesè sou definisyon yo nan "Syans enfòmatik." Tout moun te kapab sèlman bay yon definisyon jeni. Mwen te fè sa nan chak nouvo kote, ak tout kote te gen rezilta menm jan an.
Yon lòt kesyon se te: "Ki moun ki Douglas Engelbart?" Plizyè moun te di, "èske se pa yon bagay pou li wè ak yon sourit òdinatè?" (epi sa a te trè enèvan pou mwen, depi kominote syantifik mwen an te fè anpil efò pou asire ke repons kesyon sa a te posib ak de oswa twa klik sourit ak konvenki ke Engelbart reyèlman te gen yon bagay fè ak sourit òdinatè a) .
Yon pati nan pwoblèm nan se te yon mank de kiryozite, an pati yon etwat nan objektif pèsonèl ki pa te gen rapò ak aprantisaj, an pati yon mank de konpreyansyon sou sa syans sa a te, ak sou sa.
Mwen te travay a tan pasyèl nan depatman syans enfòmatik nan University of California depi plizyè ane (mwen se esansyèlman yon pwofesè, men mwen pa oblije ale nan reyinyon depatman). Detanzantan mwen anseye kou, pafwa pou elèv premye ane yo. Pandan ane yo, nivo kiryozite ki te deja ba nan Syans Enfòmatik te bese anpil (men nivo popilarite a te ogmante tou, paske yo konsidere enfòmatik kòm yon chemen ki mennen nan yon travay ki byen peye si ou ka kode epi jwenn yon sètifika nan yon tèt. 10 lekòl). An konsekans, pa gen yon sèl elèv ki janm plenyen ke premye lang nan University of California se C++!
Mwen sanble ke nou ap fè fas ak yon sitiyasyon kote tou de siyifikasyon yo nan "Odinatè" ak "Syans" te detwi pa fèb, konsèp masiv yo kreye yon nouvo tèm - yon kalite etikèt sou Jeans - ki son bon men se. byen vid. Yon tèm ki gen rapò ki te detwi menm jan an se "jeni lojisyèl", ki, ankò, pa t 'sèvi ak lide ki pi enjenyeu nan "pwogram" ak "jeni", men tou senpleman konbine yo (sa a te fè espre nan ane swasant yo, lè li te). tèm envante).
Youn nan rezon ki fè yo aktyèlman ale nan inivèsite se ale pi lwen pase senp fòmasyon pwofesyonèl epi olye atrab lide pi fon. Li sanble byen rezonab pou yon entwodiksyon nan yon espesyalite eseye—atravè egzanp si sa posib—fè elèv yo angaje ak pwoblèm lavi reyèl epi kòmanse konprann sa ki aktyèlman enteresan, enpòtan, ak santral nan domèn nan.
Elèv premye ane yo rejwi lè yo montre yo kijan yon règ sou yon lòt règ vin yon machin ajoute, ak ki yo ka bat timoun yo 5yèm ane nan ajoute fraksyon. Lè sa a, yo pral kontan pran pati nan devlopman nan amelyore ajoute machin. Yo te manyen yon òdinatè reyèl - yon zouti fizik ak mantal ki ede nou reflechi. Yo te aprann yon fason vrèman efikas pou reprezante chif yo - pi efikas pase sa yo anseye nan lekòl yo!
Yo te kapab konbine lide bon sans yo nan "ajoute" kòm "akimile" ak yon bagay ki sanble ak nouvo pwopriyete pwisan. Yo pwograme li pou kapab rezoud yon varyete pwoblèm.
Yo menm tou yo elaji li. Ak sou sa. Sa a se pa yon òdinatè dijital. Lè sa a se pa yon òdinatè ak yon pwogram memorize. Men, sa a sans nan yon òdinatè. Jis tankou - Sa a se jeneralman sans nan yon òdinatè ak informatique.
Mekanis Antikythera
Ki jan lwen nou ka ale ak konbyen nou ka fè anvan bagay sa yo soti nan men epi nou pèdi nan abstraksyon? Mwen te toujou pasyèl nan karakterizasyon - premye gayan Turing Award, ki moun ki ka te envante tèm nan "Syans enfòmatik" - ki moun ki nan ane 60 yo te di: "Syans enfòmatik se syans nan pwosesis." Tout pwosesis.
Pou dedomajman pou Quora, ann pa eseye pouse sa pi lwen oswa fè l tounen dogmatik relijye. Ann jis itilize lide a san pwoblèm mwen tap pou nou panse pi byen sou domèn nou an. Epi sitou sou fason yo anseye li. Kounye a nou bezwen gade siyifikasyon modèn "syans", e Perlis te gen ase konfyans ke li pa ta dwe dilye ak siyifikasyon ki pi gran (tankou "koleksyon konesans") ak itilizasyon (tankou "syans bibliyotèk" oswa menm "sosyal". syans") "). Pa "syans" li te eseye konprann yon fenomèn pa kreye modèl / kat ki eseye montre, "swiv" ak predi fenomèn yo.
Mwen te bay plizyè entèvyou sou fason pi bon kat ak modèl yo souvan ka anfòm yon mayo, fason ekwasyon Maxwell yo ak lòt moun fè. Analoji a se ke gen yon "syans nan pon," menm si pifò pon yo fè moun. Men, yon fwa yo bati yon pon, li reprezante fenomèn ke syantis yo ka etidye, pon yo ka itilize pou fè modèl plizyè kalite, epi fòme "teyori pon" konplè ak itil. Plezi a se ke ou ka Lè sa a, konsepsyon ak bati nouvo pon (mwen deja mansyone ke pa gen anyen ki pi plezi pase syantis ak enjenyè k ap travay ansanm pou rezoud pwoblèm gwo ak enpòtan!)
Herbert Simon, yon prim Turing ak gayan Pri Nobèl, te rele tout sa "syans atifisyèl la" (epi li te ekri yon liv ekselan ak menm tit la).
Kite m ba w yon egzanp. Nan ane 50 yo, konpayi yo ak inivèsite yo te konstwi òdinatè memwa epi yo te kòmanse pwograme yo - e te gen yon moman espesyal lè Fortran te soti an 1956 - ki pa t 'premye lang wo nivo a, men petèt premye a te fè byen ke li te genyen. itilize nan anpil diferan domèn, ki gen ladan anpil ki te deja sèlman fè nan lang machin.
Tout bagay sa yo te lakòz "fenomèn".
Jan McCarthy
Istwa Lisp a pi konplèks, men John McCarthy te vin enterese nan eseye jwenn yon "teyori matematik nan kalkil" e li te detèmine pou fè tout bagay mache pafètman. Fonksyon eval la, ki entèprete Lisp, ta ka fasilman anfòm sou yon mayo! Konpare ak yon "sistèm pwogramasyon," sa a se ensiyifyan. Sa ki pi enpòtan, "teyori kalkil" sa a te yon konsèp ki pi pwisan pase Fortran! Sa a te pi bon lide pon an!
Nati miniature Lisp pèmèt tout lide pwogramasyon an pran nan yon koup de klik nan yon nivo pi fon epi yo dwe reflechi sou yon nivo ki sanble tou senpleman enposib lè ou gade nan zafè gwo (sa a se youn nan rezon ki fè yo). poukisa syantifik yo renmen matematik yo kontrakte ak pwisan). Matematik yo itilize isit la se nouvo matematik paske li pèmèt konsèp tankou "anvan" ak "apre" e sa mennen nan "lojik varyab" ki pèmèt tou de depandans fonksyonèl ak koule lojik nan panse yo dwe konsève pandan y ap pèmèt tou pou pozisyon ak pasaj la. nan tan. (Sa a toujou pa konprann nan tan nou an nan mond lan mechan nan pwogramasyon sitiyasyon).
Lisp, kòm yon langaj pwogramasyon pwisan ak metalang ki ka reprezante teyori pwòp li yo, se yon egzanp vre syans enfòmatik. Si w aprann li ak lòt bagay ki sanble, w ap kapab reflechi pi pwofondman epi w ap gen plis responsablite pou pwòp desten w pase si w tou senpleman te aprann pwograme nan Fortran oswa ekivalan modèn li yo (... pou w ka vin pi pre pwogramè yo! ).
Ou pral aprann anpil plis sou kalite espesyal konsepsyon ki nesesè nan enfòmatik (pa egzanp, anjeneral li pa apresye lè informatique souvan mande pou ale deyò anviwònman enfòmatik la: youn nan karakteristik espesyal ki estoke enfòmatik mou se ke li se pa sèlman. materyèl la pou pwogram nan, men materyèl pou yon òdinatè konplètman nouvo).
Yon lòt rezon pou w chwazi definisyon Perlis la se ke, an jeneral, informatique se pi plis konsène ak kreyasyon an nan sistèm nan plizyè kalite pase ak algoritm, "estrikti done" oswa menm pwogramasyon tèt li. Pa egzanp, yon òdinatè se yon sistèm, informatique se yon sistèm, yon rezo lokal ak Entènèt se sistèm, e pifò pwogram yo ta dwe pi bon sistèm pase yo (ansyen estil pwogramasyon depi ane 50 yo te dire jiskaske li sanble ke pwogramasyon ta dwe tankou sa a - pa gen anyen ki ka pi lwen de verite a).
Entènèt la se yon bon egzanp - kontrèman ak pifò lojisyèl jou sa yo, entènèt la pa bezwen sispann pou ranje oswa amelyore anyen - li se plis tankou yon sistèm byolojik - nan entansyon nou an - pase sa pifò moun panse a kòm yon sistèm informatique. Epi li se pi plis évolutive ak serye pase prèske tout sistèm lojisyèl ki disponib jodi a. Sa a se reyèlman vo reflechi sou anvan yo anseye konsèp mwens pwisan nan pwogramasyon newbie!
Kidonk, sa nou bezwen fè nan yon premye ane kou Syans Enfòmatik se pran an kont sa egzakteman elèv yo ta ka fè nan kòmansman an, epi answit eseye rete nan "chaj kognitif" yo pou ede yo rive nan sa ki vrèman enpòtan. Li enpòtan pou "rete reyèl" epi jwenn fason ki entelektyèlman onèt ak apwopriye pou moun ki fèk kòmanse. (Tanpri, pa anseye move lide jis paske yo sanble yon ti kras pi senp - yon anpil nan move lide yo aktyèlman pi senp!).
Elèv yo ta dwe kòmanse pa kreye yon bagay ki gen anpil nan karakteristik enpòtan mwen te diskite isit la. Li ta dwe yon sistèm nan plizyè pati kominike dinamik, ak sou sa. Yon bon fason pou deside ki lang pwogramasyon pou itilize se tou senpleman fè yon bagay ki gen dè milye de pati kominike! Si ou pa, Lè sa a, ou ta dwe jwenn youn. Bagay ki pi mal ou ka fè se mete elèv yo sou yon chemen ki twò piti, ki ta limite anpil gwo lide. Li jis touye yo - epi nou vle ogmante yo, pa touye yo.
Konsènan GoTo School
- 17-30 jen, 15-28 jiyè, 12-25 out
Sous: www.habr.com