"Яке аз сабабҳои воқеан ба донишгоҳ рафтан ин гузаштан аз омӯзиши оддии касбӣ ва ба ҷои дарк кардани ғояҳои амиқтар аст."
Биёед дар бораи ин савол каме андеша кунем. Чанд сол пеш кафедраҳои информатика маро барои хондани лексияҳо дар як қатор донишгоҳҳо даъват карданд. Қариб тасодуфан, ман аз аввалин шунавандагони худ аз донишҷӯён, аспирантҳо ва профессорон дар бораи таърифи "Илмҳои компютерӣ" пурсидам. Ҳар кас метавонист танҳо таърифи муҳандисӣ диҳад. Ман инро дар ҳар як ҷои нав кардам ва дар ҳама ҷо натиҷаҳои якхела буданд.
Саволи дигар ин буд: "Дуглас Энгелбарт кист?" Чанд нафар гуфтанд, ки "магар ин кор бо муши компютер набуд?" (ва ин барои ман хеле ноумед буд, зеро ҷомеаи илмии ман кӯшиши зиёд ба харҷ дода буд, то боварӣ ҳосил кунем, ки ҷавоб ба ин савол бо ду ё се клики муш имконпазир аст ва итминон дод, ки Энгелбарт воқеан бо муши компютер коре дорад) .
Як ќисме аз мушкилињо набуди кунљковї, ќисман танг будани њадафњои шахсї, ки ба омўзиш алоќаманд набуданд, ќисман нафањмидан аз чї будани ин илм ва ѓайра буд.
Ман чанд сол боз дар шӯъбаи информатикаи Донишгоҳи Калифорния кор мекунам (ман аслан профессор ҳастам, аммо ба ҷаласаҳои кафедра рафтан лозим нест). Гоҳ-гоҳ дарсҳо медиҳам, баъзан барои донишҷӯёни курси якум. Дар тӯли солҳо, сатҳи бе ин ҳам пасти кунҷковӣ дар илмҳои компютерӣ ба таври назаррас коҳиш ёфт (аммо сатҳи маъруфият низ афзоиш ёфт, зеро компютер ҳамчун як роҳ ба кори сердаромад ҳисобида мешавад, агар шумо метавонед рамзгузорӣ кунед ва шаҳодатнома гиред. мактаби 10). Аз ин рӯ, ягон донишҷӯ ҳеҷ гоҳ шикоят накардааст, ки забони аввал дар Донишгоҳи Калифорния C++ аст!
Ба назари ман, мо бо вазъияте рӯбарӯ ҳастем, ки дар он ҳам маънои "Компьютер" ва ҳам "Илм" аз ҷониби мафҳумҳои заиф ва азим нобуд карда шудаанд, то истилоҳи нав - як навъ тамғаи ҷинсро эҷод кунанд, ки хуб садо медиҳад, аммо хеле холӣ. Истилоҳи алоқаманде, ки ба ҳамин монанд нобуд шудааст, "муҳандисии нармафзор" аст, ки боз ҳам олиҷанобтарин ғояҳои "барномасозӣ" ва "муҳандисӣ" -ро истифода набурдааст, балки танҳо онҳоро ба ҳам мепайвандад (ин дидаву дониста дар солҳои шастум анҷом дода шуда буд. истилоҳи таҳияшуда).
Яке аз сабабҳои воқеан ба донишгоҳ рафтан ин гузаштан аз омӯзиши оддии касбӣ ва ба ҷои дарк кардани ғояҳои амиқтар аст. Ба назари ман хеле оқилона аст, ки муқаддима ба ихтисос барои кӯшиш кардан - тавассути мисолҳо, агар имконпазир бошад, то донишҷӯён бо мушкилоти ҳаёти воқеӣ машғул шаванд ва фаҳмидани он чизе, ки воқеан ҷолиб, муҳим ва марказии ин соҳа аст.
Хонандагони синфи якум вақте шод мешаванд, ки ба онҳо нишон медиҳанд, ки чӣ тавр ченаки болои ченаки дигар ба мошини ҷамъкунанда табдил меёбад ва бо он онҳо метавонанд кӯдакони синфи 5-ро ҳангоми ҷамъ кардани каср зада кунанд. Ва он гоҳ онҳо бо хурсандӣ дар таҳияи мошинҳои иловагии такмилёфта иштирок мекунанд. Онҳо ба компютери воқеӣ даст заданд - асбоби ҷисмонӣ ва равонӣ, ки ба мо кӯмак мекунад, ки фикр кунем. Онҳо роҳи воқеан самараноки муаррифии рақамҳоро омӯхтанд - назар ба он чизе ки дар мактабҳо таълим дода мешавад, самараноктар аст!
Онҳо тавонистанд идеяи солимии худро дар бораи "илова кардан" ҳамчун "ҷамъкунӣ" бо чизи шабеҳ бо хосиятҳои нави пурқувват муттаҳид кунанд. Онҳо онро барномарезӣ карданд, ки тавонанд мушкилоти гуногунро ҳал кунанд.
Онро низ васеъ карданд. Ва ғайра. Ин компютери рақамӣ нест. Ва ин компютер бо барномаи хотиравӣ нест. Аммо ин моҳияти компютер аст. Ба мисли - Ин умуман моҳияти компютер ва ҳисоббарор аст.
Механизми антикитера
То он даме, ки корҳо аз даст наоянд ва дар абстраксияҳо гум шавем, мо чӣ қадар дур рафта метавонем ва чӣ кор карда метавонем? Ман ҳамеша дар тавсиф қисман будам - аввалин барандаи Ҷоизаи Тюринг, ки шояд истилоҳи "Илмҳои компютерӣ"-ро ихтироъ карда бошад - ки дар солҳои 60-ум гуфта буд: "Информатика илми равандҳост". Ҳама равандҳо.
Ба хотири Quora, биёед кӯшиш накунем, ки инро минбаъд тела диҳем ё онро ба догмаи динӣ табдил диҳем. Биёед, танҳо идеяро хушбахтона истифода барем ки дар бораи майдони худ нагзтар фикр кунем. Ва махсусан дар бораи чӣ гуна таълим додани он. Ҳоло мо бояд ба маънои муосири "илм" назар кунем ва Перлис комилан итминон дошт, ки он набояд бо маъноҳои кӯҳна (ба мисли "маҷмӯаи дониш") ва истифодаҳо (ба мисли "илми китобхона" ё ҳатто "иҷтимоъӣ" омехта карда шавад. илмҳо") "). Бо "илм" ӯ кӯшиш мекард, ки падидаҳоро тавассути сохтани моделҳо/харитаҳо фаҳмад, ки падидаҳоро нишон, "пайгирӣ" ва пешгӯӣ карданӣ мешаванд.
Ман якчанд мусоҳиба додаам, ки чӣ гуна беҳтарин харитаҳо ва моделҳо метавонанд ба футболка мувофиқат кунанд, ҳамон тавре ки муодилаҳои Максвелл ва дигарон. Қиёс ин аст, ки "илми пулҳо" вуҷуд дорад, гарчанде ки аксари пулҳо аз ҷониби одам сохта шудаанд. Аммо вақте ки пул сохта мешавад, он падидаҳоеро ифода мекунад, ки олимон метавонанд омӯхтанд, пулҳоро барои сохтани моделҳои гуногун истифода бурдан мумкин аст ва "назарияҳои пул"-и ҳамаҷониба ва муфидро ташкил медиҳанд. Ҷолиб он аст, ки шумо метавонед пулҳои навро тарҳрезӣ ва созед (ман аллакай гуфта будам, ки аз олимон ва муҳандисон барои ҳалли масъалаҳои калон ва муҳим якҷоя кор кардан чизи шавқовартаре вуҷуд надорад!)
Ҳерберт Саймон, барандаи Ҷоизаи Тюринг ва Ҷоизаи Нобел, ин ҳамаро "илми сунъӣ" номид (ва бо ҳамин унвон китоби олӣ навишт).
Биёед ба шумо як мисол орам. Дар солҳои 50-ум, ширкатҳо ва донишгоҳҳо компютерҳои хотиравӣ сохтанд ва ба барномасозии онҳо шурӯъ карданд - ва як лаҳзаи махсусе буд, ки Фортран дар соли 1956 баромад - он аввалин забони сатҳи баланд набуд, аммо шояд аввалин забони он қадар хуб буд, ки дар бисёр соҳаҳои гуногун истифода мешуд, аз ҷумла бисёре аз онҳо, ки қаблан танҳо бо забони мошинӣ иҷро мешуданд.
Хамаи ин «падидахо»-ро ба вучуд овард.
Ҷон МакКарти
Таърихи Лисп мураккабтар аст, аммо Ҷон МакКарти ба кӯшиши пайдо кардани "назарияи риёзии ҳисоббарорӣ" таваҷҷӯҳ зоҳир кард ва тасмим гирифт, ки ҳама чиз ба таври комил кор кунад. Функсияи арзёбӣ, ки Lisp-ро тафсир мекунад, метавонад ба осонӣ дар футболка ҷойгир шавад! Дар муқоиса бо "системаи барномасозӣ" ин ночиз аст. Муҳимтар аз ҳама, ин «назарияи ҳисобкунӣ» назар ба Фортран мафҳуми пурқувваттар буд! Ин беҳтарин идеяи пул буд!
Табиати миниатюрии Lisp имкон медиҳад, ки тамоми идеяи барномасозӣ дар як чанд клик дар сатҳи амиқтар сабт карда шавад ва дар сатҳе фикр карда шавад, ки ҳангоми дидани артефактҳои азим ғайриимкон ба назар мерасад (ин яке аз сабабҳост чаро олимон риёзиётро паймон ва тавоно буданро дӯст медоранд). Математике, ки дар ин ҷо истифода мешавад, математикаи нав аст, зеро он имкон медиҳад, ки мафҳумҳо ба мисли "пеш" ва "баъд аз" ва ин ба "мантиқи тағйирёбанда" оварда мерасонад, ки имкон медиҳад ҳам вобастагии функсионалӣ ва ҳам ҷараёни мантиқии фикр нигоҳ дошта шавад ва ҳамзамон барои мавқеъ ва гузаргоҳ имкон диҳад. вақт. (Инро дар замони мо дар ҷаҳони бераҳмонаи барномасозии вазъият ҳанӯз дарк накардааст).
Lisp ҳамчун забони пурқудрати барномасозӣ ва метазабони, ки метавонад назарияи худро муаррифӣ кунад, намунаи илми ҳақиқии компютер аст. Агар шумо онро ва дигар чизҳои ба ин монандро омӯзед, шумо метавонед амиқтар фикр кунед ва барои тақдири худ масъултар бошед, назар ба он ки шумо танҳо дар Фортран ё муодили муосири он барномасозӣ карданро ёд гирифтаед (... бинобар ин шумо метавонед ба барномасозон наздик шавед! ).
Шумо дар бораи навъҳои махсуси тарроҳӣ, ки дар компютер заруранд, бештар маълумот хоҳед гирифт (масалан, он одатан қадр карда намешавад, вақте ки компютер аксар вақт берун аз муҳити ҳисоббарориро талаб мекунад: яке аз хусусиятҳои махсуси ҳисоббарории мулоими захирашуда дар он аст, ки он танҳо нест мавод барои барнома, аммо мавод барои компютери комилан нав).
Сабаби дигари интихоби таърифи Перлис дар он аст, ки дар маҷмӯъ, ҳисоббарорӣ нисбат ба алгоритмҳо, "сохтори додаҳо" ва ҳатто худи барномасозӣ бештар ба эҷоди системаҳои гуногун алоқаманд аст. Масалан, компютер як система аст, компютер система аст, шабакаи маҳаллӣ ва Интернет системаҳо мебошанд ва аксари барномаҳо бояд аз онҳо беҳтар системаҳо бошанд (тартиби кӯҳнаи барномасозӣ аз солҳои 50-ум то он даме, ки ба назар чунин менамояд, ки барномасозӣ бояд монанди ин - ҳеҷ чиз наметавонад аз ҳақиқат дуртар бошад).
Интернет як намунаи хуб аст - бар хилофи аксари нармафзорҳои имрӯза, Интернетро барои ислоҳ ё такмил додани чизе қатъ кардан лозим нест - он бештар ба системаи биологӣ монанд аст - аз рӯи нияти мо - назар ба он ки аксарияти одамон ҳамчун системаи ҳисоббарорӣ фикр мекунанд. Ва он назар ба ҳама системаҳои нармафзори имрӯза хеле васеътар ва боэътимодтар аст. Пеш аз таълим додани мафҳумҳои камқувват ба барномасозони нав дар бораи ин воқеан фикр кардан лозим аст!
Ҳамин тавр, мо бояд дар курси якуми информатика он чизеро, ки бояд анҷом диҳем, ба назар гирем, ки донишҷӯён дар ибтидо чӣ кор карда метавонанд ва сипас кӯшиш кунед, ки дар доираи "сарбории маърифатии" худ бимонед, то ба онҳо дар расидан ба чизи муҳим кӯмак расонед. Муҳим аст, ки "воқеӣ бимонед" ва роҳҳое пайдо кунед, ки аз ҷиҳати зеҳнӣ ростқавл бошанд ва барои онҳое, ки нав оғоз мекунанд, мувофиқанд. (Лутфан, ғояҳои бадро танҳо аз он сабаб таълим надиҳед, ки онҳо каме соддатар ба назар мерасанд - бисёре аз ғояҳои бад воқеан соддатаранд!).
Донишҷӯён бояд аз эҷод кардани чизе оғоз кунанд, ки дорои бисёр хусусиятҳои муҳиме, ки ман дар ин ҷо муҳокима кардаам. Он бояд системаи якчанд қисмҳои ба таври динамикӣ ба ҳам таъсиркунанда ва ғайра бошад. Роҳи хуби муайян кардани кадом забони барномасозӣ ин сохтани чизест, ки дорои ҳазорон қисмҳои мутақобила аст! Агар не, пас шумо бояд якеро пайдо кунед. Бадтарин коре, ки шумо карда метавонед, ин аст, ки донишҷӯёнро ба роҳи фасеҳи хеле кам гузоред, ки ғояҳои бузургро ба таври ҷиддӣ маҳдуд мекунад. Ин танҳо онҳоро мекушад - ва мо мехоҳем онҳоро ба воя расонем, на куштан.
Дар бораи GoTo School
- 17—30 июнь, 15—28 июль, 12—25 август
Манбаъ: will.com
