Мазмұнға өту

Информатика тарихы

Уикипедия — ашық энциклопедиясынан алынған мәлімет

Информатика тарихы қазіргі информатика ғылымы қалыптасқанға дейін әлдеқайда ертерек басталды және көбіне математика мен физика сияқты салалар аясында көрініс тапты. Алдыңғы ғасырлардағы ғылыми және техникалық жетістіктер кейіннен біз бүгін информатика деп атайтын пәннің негізін қалады.[1] Механикалық өнертабыстар мен математикалық теориялардан бастап заманауи компьютерлік ұғымдар мен машиналарға дейінгі бұл эволюциялық үдеріс ірі академиялық саланың қалыптасуына, Батыс әлемінде ауқымды технологиялық серпіліске, сондай-ақ жаһандық сауда мен мәдениеттің дамуына негіз болды.[2]

Тарихқа дейінгі кезең

[өңдеу | қайнарын өңдеу]
Джон Непер (1550–1617), логарифмдерді ойлап тапқан ғалым.

Есептеулер жүргізу үшін қолданылған ең ерте белгілі құрал абак болып саналады. Ол б.з.д. 2700–2300 жылдар аралығында Шумерде жасалған.[3] Шумер абагы алпыстық санау жүйесіндегі разрядтарды білдіретін қатар орналасқан бағандардан тұратын кесте түрінде болды.[4] Алғашқы қолданылу тәсілі құм бетіне сызықтар жүргізіп, ұсақ тастарды орналастыруға негізделген. Қазіргі заманғы үлгідегі абактар бүгінгі күнге дейін есептеу құралы ретінде қолданылып келеді, соның ішінде қытай абагы кеңінен пайдаланылады.[5]

Б.з.д. V ғасырда Ежелгі Үндістанда грамматик Панини санскрит тілінің грамматикасын қалыптастырды. Ол «Аштадхьяи» деп аталатын, 3959 ережеден тұратын еңбек болып саналады және жоғары деңгейде жүйеленген әрі техникалық сипатта болды. Панини метаережелерді, түрлендірулерді және рекурсия ұғымдарын қолданған.[6]

Антикитера механизмі ежелгі механикалық аналогтық компьютерлердің бірі болып саналады.[7] Ол астрономиялық нысандардың орналасуын есептеу үшін жасалған. Құрылғы 1901 жылы Грекиядағы Антикитера аралы маңында, Кифира мен Крит аралдарының арасында суға батқан кеменің қалдықтарынан табылды және б.з.д. шамамен 100 жылмен мерзімделеді.[7]

Механикалық аналогты есептеу құрылғылары мың жылдан кейін ортағасырлық ислам әлемінде қайта пайда болды. Оларды мұсылман астрономдары әзірледі, соның ішінде Әбу Райхан әл Бируни жасаған тісті механикалық астролябия және Жабир ибн Афлах құрастырған торкветум бар.[8][9] Саймон Сингхтің айтуынша, мұсылман математиктері криптография саласында да маңызды жетістіктерге жетті, атап айтқанда Әл Кинди әзірлеген криптоталдау мен жиілік талдауы әдістері осы кезеңде қалыптасты.[10][11] Бағдарламаланатын құрылғыларды да мұсылман инженерлері ойлап тапты, мысалы Бану Муса бауырлары жасаған автоматты флейташы.[12]

Ұқсас деңгейдегі технологиялық күрделілікке ие артефактілер XIV ғасырдағы Еуропада да пайда болды, атап айтқанда механикалық астрономиялық сағаттар жасалды.[13]

XVII ғасырдың басында Джон Непер есептеу мақсатында логарифмдерді ашқаннан кейін[14] есептеу құралдарын жасау бағытында өнертапқыштар мен ғалымдар арасында айтарлықтай ілгерілеу кезеңі басталды. 1623 жылы Вильгельм Шиккард Иоганн Кеплердің тапсырысы бойынша «Есептеу сағаты» деп аталған есептеу машинасын жобалады, алайда 1624 жылы жасалып жатқан үлгі өрттен жойылғаннан кейін жобаны тоқтатты.[15] Шамамен 1640 жылы француздың көрнекті математигі Блез Паскаль ежелгі грек математигі Александриялық Герон сипаттаған жобаға негізделген механикалық қосу құрылғысын жасады.[16] Ал 1672 жылы Готфрид Вильгельм Лейбниц сатылы есептегішті ойлап тауып, оны 1694 жылы толық аяқтады.[17]

1837 жылы Чарльз Бэббидж алғаш рет Аналитикалық машинаның сипаттамасын ұсынды, ол қазіргі заманғы компьютердің алғашқы жобасы ретінде қабылданады. Аналитикалық машинада кеңейтілетін жад, арифметикалық құрылғы және логикалық өңдеу мүмкіндіктері қарастырылған, бұл оған циклдер мен шартты тармақталуды қамтитын бағдарламалау тілін орындауға мүмкіндік беретін еді. Машина ешқашан құрастырылмағанымен, оның жобасы жан-жақты зерттелген және Тьюрингке баламалы екені анықталған. Аналитикалық машинаның жад сыйымдылығы 1 килобайттан аз, ал тактілік жиілігі 10 герцтен төмен болар еді.[18]

Алғашқы заманауи компьютерлерді жобалау үшін математика мен электроника теориясында елеулі жетістіктерге қол жеткізу қажет болды.

Екілік логика

[өңдеу | қайнарын өңдеу]

Готфрид Вильгельм Лейбниц

[өңдеу | қайнарын өңдеу]
Толық мақаласы: Готфрид Вильгельм Лейбниц
Готфрид Вильгельм Лейбниц (1646–1716) екілік санау жүйесіне негізделген логиканы дамытты және сол үшін оны «информатика ғылымының негізін қалаушы» деп атайды.[19]

1702 жылы Готфрид Вильгельм Лейбниц екілік санау жүйесі жөніндегі еңбектері арқылы логиканы формалды әрі математикалық мағынада дамытты. Ол екілік жүйені ықшамдап, логиканың негізгі ұғымдарын сипаттады, соның ішінде конъюнкция, дизъюнкция, терістеу, теңдік, қамту және бос жиын ұғымдары болды.[20] Лейбниц алгоритмдік ақпарат теориясы мен Лагранж интерполяциясының кейбір қағидаларын алдын ала болжады. Оның есептеу логикасы (лат. Calculus Ratiocinator) кейінірек әмбебап есептеу машинасы тұжырымдамасының қалыптасуына әсер етті. 1961 жылы Норберт Винер Лейбницті кибернетиканың рухани қамқоршысы ретінде қарастыруға болатынын атап өтті.[21] Винердің айтуынша: «Есептеу машинасының жалпы идеясы Лейбництің Calculus Ratiocinator тұжырымдамасын механикаландырудан басқа нәрсе емес».[22] Дегенмен, есептеу үдерістерін толыққанды математикалық түрде модельдеуге мүмкіндік берген жүйе тек 1854 жылы Джордж Бульдің буль алгебрасын жариялауымен қалыптасты.[23]

Осы кезеңде екілік үлгіге негізделген алғашқы механикалық құрылғылар пайда болды. Өнеркәсіптік революция көптеген жұмыстардың механикаландырылуына түрткі болды, соның ішінде тоқыма өндірісі де бар. 1801 жылы Жозеф Мари Жаккардтың тоқыма станогында перфокарталар қолданылды: картадағы тесік екілік бірді, ал тесіктің болмауы екілік нөлді білдірді. Жаккард станогы компьютер болмағанымен, ол машиналардың екілік жүйелер арқылы басқарылуы және екілік ақпаратты сақтай алатынын айқын көрсетті.[23]

Пән ретінде қалыптасуы

[өңдеу | қайнарын өңдеу]

Чарльз Бэббидж және Ада Лавлейс

[өңдеу | қайнарын өңдеу]
Чарльз Бэббидж (1791–1871), есептеу техникасының алғашқы пионерлерінің бірі.

Чарльз Бэббидж есептеу техникасының алғашқы пионерлерінің бірі ретінде жиі аталады. 1810 жылдардан бастап ол сандар мен кестелерді механикалық жолмен есептеу идеясын ұсынды. Осы ойды жүзеге асыру үшін Бэббидж сегіз ондық таңбаға дейінгі сандарды есептей алатын есептеуіш құрылғыны жобалады. Бұл идеяның сәттілігін жалғастыра отырып, ол жиырма ондық таңбаға дейінгі сандарды есептей алатын машинаны жасауға кірісті. 1830 жылдары Бэббидж арифметикалық амалдарды орындау үшін перфокарталарды қолданатын машинаның жобасын әзірледі. Бұл машина сандарды жад бірліктерінде сақтауы тиіс еді және онда тізбекті басқару жүйесі қарастырылды. Яғни бір операция екіншісінен кейін белгілі бір ретпен орындалып, машина міндетті түрде нәтижеге жетуі керек болатын. Бұл құрылғы «Аналитикалық машина» деп аталды және ол қазіргі заманғы компьютердің алғашқы толыққанды тұжырымдамасы ретінде қарастырылады.[24]

Ада Лавлейс (1815–1852), компьютерлердің болашақта символдарды өңдеу үшін қолданылатынын болжаған.

Ада Лавлейс (Августа Ада Байрон) компьютерлік бағдарламалаудың пионері ретінде танылады және математикадағы көрнекті тұлға саналады. Ол Чарльз Бэббидж жобалаған алғашқы механикалық компьютер болып есептелетін «Аналитикалық машина» үстінде жұмыс жүргізілген кезде оның көмекшісі болды.[25] Бэббиджбен бірлескен жұмысы барысында Ада Лавлейс Бернулли сандарын есептеуге арналған алғашқы компьютерлік алгоритмнің сипаттамасын жасады.[26] Дегенмен, бұл тұжырым даулы болып саналады, өйткені айырма машинасын және оған сәйкес айырмалық алгоритмдерді алғаш жобалаған Бэббидж болған, сондықтан кей зерттеушілер алғашқы алгоритм авторы ретінде соны атайды. Соған қарамастан, Лавлейстің ең маңызды үлестерінің бірі – болашақ компьютерлер тек математикалық есептеулермен шектелмей, символдарды, оның ішінде математикалық емес символдарды да өңдей алады деген болжамы.[27] Ол өз еңбегінің нақты нәтижелерін көзі тірісінде көре алмады, себебі «Аналитикалық машина» оның өмірінде жасалып бітпеді. Алайда 1840-жылдардан бастап жазылған еңбектері кейінгі кезеңде жоғары бағаланып, оның есептеу техникасы тарихындағы орны айқындалды.[28]

Аналитикалық машинадан кейінгі алғашқы жобалар

[өңдеу | қайнарын өңдеу]
Леонардо Торрес Кеведо (1852–1936), қалқымалы үтірлі сандарды сақтаудың бірізді әрі жүйелі тәсілін ұсынды.

Бэббиджден кейін, бастапқыда оның бұрынғы еңбектерінен бейхабар болған ирландиялық Перси Ладгейт те осы бағытта жұмыс істеді. Ол Ирландияның Дублин қаласында астық саудагерінде қызмет еткен кеңсе қызметкері болған. Перси Ладгейт бағдарламаланатын механикалық компьютердің дербес жобасын ұсынды және оны 1909 жылы жарияланған еңбегінде сипаттады.[29][30]

Чарльз Бэббидждің еңбектерін жалғастырған тағы екі өнертапқыш Леонардо Торрес Кеведо мен Ваннивар Буш болды. Торрес Кеведо «Автоматика жөніндегі очерктер» атты еңбегінде (1914) тек оқуға арналған бағдарлама арқылы басқарылатын аналитикалық электромеханикалық машинаны жобалап, қалқымалы үтірлі арифметика ұғымын енгізді.[31][32][33] 1920 жылы арифмометрдің ойлап табылғанына 100 жыл толуына орай ол Парижде электромеханикалық арифмометрді таныстырды. Бұл құрылғы арифметикалық блоктан және командалар теріліп, нәтижелері автоматты түрде басып шығарылатын (қашықтан қосылуы мүмкін) жазу машинасынан тұрды.[34] Ваннивар Буш 1936 жылы жариялаған «Аспаптық талдау» атты мақаласында Бэббидж жобасын жүзеге асыру үшін IBM перфокарталық машиналарын пайдалану мүмкіндігін қарастырды. Сол жылы ол электрондық цифрлық компьютерді құрастыру мәселелерін зерттеуге арналған Rapid Arithmetical Machine жобасын бастады.[35]

Чарльз Сандерс Пирс және электрлік коммутациялық тізбектер

[өңдеу | қайнарын өңдеу]
Чарльз Сандерс Пирс (1839–1914), логикалық операцияларды электрлік қосқыш тізбектер арқылы орындауға болатынын сипаттады.

1886 жылы жазған хатында Чарльз Сандерс Пирс логикалық операцияларды электрлік қосқыш тізбектер арқылы орындауға болатынын сипаттады.[36] 1880–1881 жылдары ол тек NOR қақпаларының өзі немесе балама түрде тек NAND қақпаларының өзі барлық басқа логикалық қақпалардың функцияларын қайта құруға жеткілікті екенін көрсетті, алайда бұл бағыттағы еңбектері 1933 жылға дейін жарияланбаған.[37] Бұл тұжырымның алғаш жарияланған дәлелін 1913 жылы Генри М. Шеффер ұсынды, сондықтан NAND логикалық операциясы кейде Шеффер штрихы деп аталады, ал логикалық NOR операциясы Пирс жебесі деп те аталады.[38] Осыған байланысты NAND және NOR қақпалары кейде әмбебап логикалық қақпалар деп аталады.[39]

Уақыт өте келе логикалық операцияларды орындауда релелердің орнын электрондық шамдар басты. Ли де Форест 1907 жылы Флеминг шамына енгізген өзгерісі логикалық қақпа ретінде қолдануға мүмкіндік берді. Людвиг Витгенштейн 1921 жылы жарық көрген Tractatus Logico-Philosophicus еңбегінің 5.101 тезисінде 16 жолдан тұратын ақиқат кестесінің бір нұсқасын ұсынды. Сәйкестік тізбегінің өнертапқышы Вальтер Боте 1924 жылы алғашқы заманауи электрондық AND логикалық қақпасын жасағаны үшін 1954 жылғы физика бойынша Нобель сыйлығының бір бөлігін алды. Конрад Цузе 1935–1938 жылдары аралығында өзінің Z1 компьютері үшін электромеханикалық логикалық қақпаларды жобалап, құрастырды.

1930 жылдарға дейін және сол кезеңнің өзінде электр инженерлері математикалық және логикалық есептерді шешуге арналған электрондық тізбектерді құрастыра алды, алайда олардың көпшілігі мұны теориялық негізсіз, жүйесіз түрде жүзеге асырды. Бұл жағдай 1930 жылдары коммутациялық тізбектер теориясының қалыптасуымен өзгерді. 1934–1936 жылдары Акира Накасима, Клод Шеннон және Виктор Шетаков екі мәнді булев алгебрасының коммутациялық тізбектердің жұмысын сипаттай алатынын көрсететін бірқатар еңбектер жариялады.[40][41][42][43] Электр қосқыштарының қасиеттерін логикалық операцияларды орындау үшін пайдалану идеясы барлық электрондық цифрлық компьютерлердің негізінде жатыр. Коммутациялық тізбектер теориясы қазіргі заманғы технологиялардың дерлік барлық салаларында цифрлық жүйелерді жобалау үшін қажетті математикалық негіз бен құралдарды қалыптастырды.[43]

Бакалавриат деңгейіндегі философия сабағында оқып жүрген кезінде Шеннон Джордж Булдің еңбектерімен танысты және олардың логикалық есептерді шешу үшін сол кезде телефон коммутациясында қолданылған электромеханикалық релелерді ұйымдастыруға пайдалануға болатынын түсінді. Оның диссертациясы Екінші дүниежүзілік соғыс жылдарында және соғыстан кейін электр инженерлері қауымдастығына кеңінен танылғаннан кейін практикалық цифрлық тізбектерді жобалаудың негізіне айналды.[44]

Алан Тьюринг және Тьюринг машинасы

[өңдеу | қайнарын өңдеу]
Алан Тьюринг, ағылшын компьютер ғалымы, математик, логик және криптоаналитик (шамамен 1930 жыл).

1920 жылдарға дейін «компьютер» (кейде computor деп те аталған) ұғымы есептеулер жүргізетін адам қызметкерлерді білдірді. Олар әдетте физиктің жетекшілігімен жұмыс істеді. Сауда саласында, мемлекеттік мекемелерде және ғылыми-зерттеу ұйымдарында мыңдаған осындай компьютерлер еңбек етті. Адам-компьютер болып қызмет атқарғандардың едәуір бөлігі әйелдер болды.[45][46][47][48] Олардың бір бөлігі күнтізбелер үшін астрономиялық есептеулер жүргізсе, енді біреулері әскери мақсаттағы баллистикалық кестелерді есептеді.[49]

1920 жылдардан кейін есептеу машинасы ұғымы адам-компьютердің жұмысын орындайтын кез келген құрылғыны білдіре бастады, әсіресе Чёрч-Тьюринг тезисіндегі тиімді әдістерге сәйкес келетін машиналарды. Бұл тезиске сәйкес, егер математикалық әдіс қағаз бен қарындашты пайдалана отырып, адам қызметкер орындай алатындай нұсқаулар тізбегі түрінде сипатталса, қажет болғанша жалғастырылса және ешқандай тапқырлықты немесе интуицияны талап етпесе, онда ол тиімді әдіс болып саналады.

Үздіксіз мәндермен есептеу жүргізетін машиналар аналогтық түрге жатқызылды. Олар білік айналысының бұрышы немесе электрлік потенциалдар айырмасы сияқты үздіксіз сандық шамаларды бейнелейтін механикалық немесе электрлік тетіктерді пайдаланды.

Ал цифрлық машиналар аналогтық машиналардан айырмашылығы сандық мәннің нақты күйін көрсетуге және әрбір жеке цифрды сақтауға мүмкіндік берді. Жылдам жады құрылғылары ойлап табылғанға дейін цифрлық машиналарда айырма машиналары немесе релелер қолданылды.

1940 жылдардың соңынан бастап электрондық цифрлық машиналардың кеңінен таралуына байланысты computing machine деген тіркес біртіндеп computer атауымен алмастырылды. Бұл компьютерлер бұрын адам есепшілер орындаған есептеулерді жүзеге асыра алды.

Цифрлық машиналарда сақталатын мәндер аналогтық құрылғылардағыдай физикалық қасиеттерге тәуелді болмағандықтан, цифрлық техникаға негізделген логикалық компьютер «таза механикалық» түрде сипаттауға болатын кез келген әрекетті орындай алады. Алан Тьюринг ұсынған теориялық Тьюринг машинасы осындай құрылғылардың қасиеттерін зерттеу мақсатында жасалған гипотетикалық модель болып табылады.

Қазіргі компьютерлік ғылымның математикалық негіздері 1931 жылы Курт Гёдель ұсынған толық еместік теоремасымен қалана бастады. Бұл теоремада ол формал жүйе шеңберінде дәлелдеуге де, теріске шығаруға да болмайтын шектеулер бар екенін көрсетті. Соның нәтижесінде Гёдельдің және басқа да зерттеушілердің осы формал жүйелерді анықтау мен сипаттауға бағытталған еңбектері пайда болды, олардың қатарында mu-рекурсивті функциялар мен лямбда арқылы анықталатын функциялар сияқты ұғымдар бар.[50]

1936 жылы Алан Тьюринг пен Алонзо Чёрч бір-бірінен тәуелсіз түрде, сондай-ақ өзара байланысты еңбектерінде алгоритм ұғымын формал түрде анықтап, есептеудің мүмкін болатын шектерін және есептеуге арналған «таза механикалық» модельді ұсынды.[51] Бұл көзқарас кейіннен Чёрч-Тьюринг тезисі деп аталды. Аталған тезис электронды компьютерлер сияқты механикалық есептеу құрылғыларының табиғатына қатысты гипотеза болып саналады. Тезиске сәйкес, егер жеткілікті уақыт пен жад көлемі қамтамасыз етілсе, принципті түрде орындалуы мүмкін кез келген есептеу компьютерде жұмыс істейтін алгоритм арқылы жүзеге асырылуы мүмкін.[51]

1936 жылы Алан Тьюринг Тьюринг машиналары туралы өзінің іргелі еңбегін жариялады. Бұл абстрактілі цифрлық есептеу құрылғысы бүгінде әдетте әмбебап Тьюринг машинасы деп аталады.[52] Аталған модель қазіргі заманғы компьютердің негізгі қағидатын қалыптастырып, бүгінгі компьютерлердің басым көпшілігінде қолданылатын сақталатын бағдарлама тұжырымдамасының негізін қалады.

Бұл гипотетикалық машиналар есептеу мүмкіндіктерінің шектерін ескере отырып, нені есептеуге болатынын формалды әрі математикалық түрде анықтау мақсатында жасалды. Егер белгілі бір тапсырманы Тьюринг машинасы орындай алса, онда ол есеп Тьюринг бойынша есептелетін (ағылш. Turing computable) деп саналады.[53]

Кэтлин Бут және алғашқы ассемблер тілі

[өңдеу | қайнарын өңдеу]

Кэтлин Бут Лондон университетінің Биркбек колледжінде жасалған Automatic Relay Calculator (ARC) машинасы үшін алғашқы ассемблер тілін жазды, сондай-ақ ассемблер мен автокодты жобалады.[54] Ол ARC, SEC (Simple Electronic Computer) және APE(X)C атты үш түрлі есептеу машинасын жобалауға қатысқан.

Алғашқы компьютерлік аппараттық құралдар

[өңдеу | қайнарын өңдеу]

Әлемдегі алғашқы электрондық цифрлық компьютер Atanasoff-Berry computer 1939–1942 жылдар аралығында Айова штаты университетінің аумағында жасалды. Оны физика және математика профессоры Джон В. Атанасов пен инженерия мамандығының магистранты Клиффорд Берри құрастырған.

Конрад Цузе, қазіргі заманғы компьютердің өнертапқышы ретінде танылған.[55][56]

1941 жылы Конрад Цузе әлемдегі алғашқы жұмыс істейтін, бағдарламамен басқарылатын компьютер Z3 моделін жасады. 1998 жылы бұл құрылғының теориялық тұрғыдан Тьюрингке толық сәйкес келетіні дәлелденді.[57][58] Сондай-ақ Цузе S2 есептеу машинасын әзірледі. Ол процестерді басқаруға арналған алғашқы компьютер ретінде қарастырылады. 1941 жылы ол компьютер өндірісімен айналысқан ең алғашқы компаниялардың бірін құрды. Осы компания шығарған Z4 компьютері әлемдегі алғашқы коммерциялық компьютер болды. 1946 жылы Конрад Цузе алғашқы жоғары деңгейлі бағдарламалау тілі Plankalkül-ді жобалады.[59]

1948 жылы Manchester Baby компьютері аяқталды. Ол жадында сақталған бағдарламаларды орындай алатын әлемдегі алғашқы электрондық цифрлық компьютер болды, қазіргі компьютерлердің басым бөлігі осы қағидаға негізделген.[52] Бұл жобаның табысты іске асуына Макс Ньюман үшін Алан Тьюринг 1936 жылы жариялаған Тьюринг машиналары туралы іргелі еңбегінің және оның логика-математикалық үлесінің ықпалы шешуші рөл атқарды.[52]

1950 жылы Ұлыбританияның Ұлттық физикалық зертхана (National Physical Laboratory) Pilot ACE деп аталған шағын ауқымды бағдарламаланатын компьютерді аяқтады. Ол Алан Тьюринг ұсынған тұжырымдамаларға негізделді. Жұмыс жылдамдығы 1 МГц болған Pilot Model ACE біраз уақыт бойы әлемдегі ең жылдам компьютер саналды.[52][60] Тьюрингтің ACE жобасы қазіргі RISC архитектураларымен көп жағынан ұқсас болды және ол сол кезең үшін өте үлкен көлем саналатын, ерте Macintosh компьютерлерінің жад сыйымдылығына шамалас жоғары жылдамдықты жадты қарастырды.[52] Егер Тьюрингтің ACE жобасы бастапқы жоспарға сай және толық көлемде іске асырылғанда, ол өз дәуіріндегі өзге алғашқы компьютерлерден мүлде бөлек деңгейде болар еді.[52]

1950 жылдардың соңында пакеттік өңдеуді қолдайтын, оператордың тікелей араласуын барынша азайтып, тапсырмаларды автоматты түрде орындауға мүмкіндік берген алғашқы операциялық жүйе GM-NAA I/O жасалды. Бұл жүйе General Motors пен North American Aviation компаниялары тарапынан IBM 701 компьютері үшін әзірленді.

1969 жылы екі компьютер арасында желі құру мақсатында Калифорния университеті, Лос-Анджелес пен Стэнфорд университеті зерттеу топтары бірлескен тәжірибе жүргізді. Алғашқы қосылу әрекеті кезінде жүйе істен шыққанына қарамастан, бұл жоба кейіннен Интернеттің қалыптасуына алып келген аса маңызды қадамдардың бірі болды.

Алғаш тіркелген нақты компьютерлік қате күйе көбелек болған. Ол Harvard Mark II есептеу машинасындағы релелердің арасына кіріп кеткен.[61] «Bug» терминін енгізу көбіне, бірақ қате түрде, АҚШ Әскери-теңіз күштерінің болашақ контр-адмиралы Грейс Хопперге телінеді. Ол бұл «қатені» 1945 жылғы 9 қыркүйекте тіркеді деген пікір бар. Алайда көптеген басқа дереккөздер бұл мәліметтерге қайшы келеді. Сол деректерге сәйкес, оқиға 1947 жылғы 9 қыркүйекте болған, сол күні операторлар бұл «инцидентті» жәндіктің өзімен бірге тіркеп, «нақты табылған алғашқы bug жағдайы» деген жазбаны қалдырған.[61]

Клод Шеннон және ақпарат теориясы

[өңдеу | қайнарын өңдеу]
Клод Шеннон (1916–2001), ақпарат теориясының негізін қалаушы.

Клод Шеннон 1948 жылы жарияланған «Байланыстың математикалық теориясы» атты еңбегі арқылы ақпарат теориясының негізін қалады. Бұл жұмыста ол жіберуші таратқысы келген ақпаратты ең тиімді түрде кодтау мәселесіне ықтималдық теориясын қолданды. Аталған еңбек деректерді сығымдау мен криптографияны қоса алғанда, көптеген ғылыми бағыттардың теориялық негіздерінің бірі болып саналады.[62]

Норберт Винер және кибернетика

[өңдеу | қайнарын өңдеу]
Норберт Винер (1894–1964), «кибернетика» терминін енгізді.

Әуе шабуылына қарсы жүйелермен жүргізілген тәжірибелер барысында радар бейнелерін талдау арқылы жау ұшақтарын анықтау мәселесін зерттеген Норберт Винер «кибернетика» терминін грек тіліндегі «кормчий», «басқарушы» мағынасын білдіретін сөзден алып енгізді. Ол 1948 жылы «Кибернетика» атты еңбегін жариялады, бұл жұмыс кейін жасанды интеллекттің дамуына елеулі ықпал етті. Сондай-ақ Винер есептеу үдерістері, есептеу машиналары, жад құрылғылары мен басқа да танымдық ұқсастықтарды ми толқындарын талдаумен салыстыра отырып қарастырды.[63]

Джон фон Нейман және фон Нейман архитектурасы

[өңдеу | қайнарын өңдеу]
Джон фон Нейман (1903–1957), компьютерлердің фон Нейман архитектурасы деп аталатын архитектуралық моделін ұсынды.

Фон Нейман архитектурасы үш негізгі бөліктен тұрады: арифметикалық-логикалық құрылғы (АЛҚ), жад және нұсқауларды өңдеу блогы. Фон Нейман машинасының құрылымында нұсқауларды өңдеу блогы жадқа адрестер жібереді, ал жад өз кезегінде деректерді нұсқау алынған жағдайда қайтадан өңдеу блогына, ал мәлімет алынған жағдайда арифметикалық-логикалық құрылғыға бағыттайды.[64]

Джон Маккарти, Марвин Минский және жасанды интеллект

[өңдеу | қайнарын өңдеу]
Джон Маккарти (1927–2011), жасанды интеллект саласының негізін қалаушылардың бірі болып саналады.

Жасанды интеллект терминін Джон Маккарти өзі ұсынған. Бұл атау 1955 жылы Dartmouth Summer Research Project on Artificial Intelligence атты зерттеу жобасына арналған ұсынысты сипаттау үшін қолданылды және соның нәтижесінде информатикадағы жаңа ғылыми сала қалыптасты.[65] 1955 жылғы 31 тамызда Джон Маккарти, Марвин Мински, Натаниэл Рочестер және Клод Шеннон қатысқан бірлескен зерттеу жобасы ұсынылды. Жобаның ресми жұмысы 1956 жылы басталды. Зерттеушілер жасанды интеллекттің табиғатын тереңірек түсінуге мүмкіндік береді деп санаған бірнеше негізгі бағыттарды қамтыды.

Джон Маккарти мен оның әріптестерінің автоматты есептеу машиналары туралы негізгі тұжырымы мынадай болды: егер қандай да бір тапсырманы машина орындай алса, онда дәл сол нәтижеге компьютерде де арнайы бағдарлама құрастыру арқылы қол жеткізуге болады. Сонымен қатар олар адам миының құрылымы мен қызметі тым күрделі екенін, оны тікелей машинаның өзімен емес, оны басқаратын бағдарлама арқылы да толық қайталау мүмкін емес екенін атап өтті. Ол кезеңде мұндай деңгейдегі күрделі бағдарламаларды жасауға қажетті білім мен теориялық негіз әлі қалыптаспаған еді.

Бұл тұжырымдаманың негізінде адамдардың өз тілін қалай түсінетіні, сөйлемдерді қандай құрылыммен құрайтыны, мағыналар мен ережелер жүйесін қалай қалыптастыратыны қарастырылып, осы үдерістер машиналық өңдеумен салыстырылды. Компьютерлер ақпаратты аппараттық деңгейде қабылдайды және өңдейді. Мұндай «тіл» екілік жүйеде, яғни 1 мен 0 арқылы жазылады. Бұл деректер компьютер белгілі бір аппараттық бөлікті іске қосып, нақты әрекеттерді орындауы үшін қажетті ережелер жиынтығын анықтайтын қатаң форматта берілуі тиіс.[66]

Минскийдің үдерісі жасанды нейрондық желілерді адам миына ұқсас қасиеттерге ие болатындай етіп қалай ұйымдастыруға болатынын айқындауға бағытталды. Алайда ол тек ішінара нәтижелерге ғана қол жеткізіп, бұл идеяны дамыту үшін зерттеулерді одан әрі жалғастыру қажет болды.

Маккарти мен Шеннонның бұл теориядағы негізгі ойы — күрделі есептерді пайдалану арқылы машинаның тиімділігін математикалық теория мен есептеулер негізінде анықтау және өлшеу тәсілін әзірлеу еді.[67] Дегенмен, олар да тек ішінара сынақ нәтижелерін ғана ала алды.

Өзін-өзі жетілдіру идеясының мәні — машинаның өзін өзгертетін кодты (self-modifying code) пайдалану арқылы «ақылдырақ» бола түсуі. Бұл тәсіл машинаның зияткерлік деңгейін арттыруға және есептеу жылдамдығын ұлғайтуға мүмкіндік береді.[68] Топ мүшелері егер машина зерттеудің абстракциялар бөлігінде белгілі бір тапсырманы орындау үдерісін өзі жақсарта алса, осы құбылысты зерттеуге болады деп санады.

Зерттеу тобын бұл санаттағы жұмыстарды бірнеше ұсақ бағыттарға бөлуге болады деген ой мазалады. Мұндай бағыттарға жасанды интеллектке қатысты сезімдік (сенсорлық) және басқа да ақпарат түрлерін зерттеу кірді. Компьютер ғылымында абстракциялар ұғымы математикамен және бағдарламалау тілдерімен байланысты қолданылады.[69]

Есептеуіш шығармашылық туралы олардың көзқарасы бағдарлама немесе машина адам ойлауына ұқсас тәсілдерге ие бола ала ма деген сұраққа негізделді.[70] Олар машинаның адам санасы сияқты толық емес ақпараттың бір бөлігін алып, жетіспейтін деректерді толықтыру арқылы оны жақсарта ала ма екенін тексергісі келді. Егер мұндай машина мұны істей алса, онда нәтиженің қалай анықталғанын, яғни шешім қабылдау тетігінің қалай жұмыс істейтінін түсіндіру қажет деп есептеді.

Әдебиеттер

[өңдеу | қайнарын өңдеу]

Дереккөздер

[өңдеу | қайнарын өңдеу]
  1. ↑ Tedre Matti The Science of Computing: Shaping a Discipline — Chapman Hall, 2014.
  2. ↑ History of Computer Science. uwaterloo.ca.
  3. ↑ A History of Mathematics — 2nd. — John Wiley & Sons, Inc., 1991. — P. 252–253. — ISBN 978-0-471-54397-8.
  4. ↑ Ifrah Georges The Universal History of Computing: From the Abacus to the Quantum Computer — John Wiley & Sons, 2001. — ISBN 978-0-471-39671-0.
  5. ↑ Bellos, Alex. Abacus adds up to number joy in Japan, The Guardian (25 қазан 2012).
  6. ↑ Sinha, A. C. (1978). "On the status of recursive rules in transformational grammar". Lingua 44 (2–3): 169–218. doi:10.1016/0024-3841(78)90076-1. 
  7. ↑ a b Project Overview.
  8. ↑ Islam, Knowledge, and Science. Islamic Web.
  9. ↑ Lorch, R. P. (1976), "The Astronomical Instruments of Jabir ibn Aflah and the Torquetum", Centaurus 20 (1): 11–34, doi:10.1111/j.1600-0498.1976.tb00214.x 
  10. ↑ Simon Singh The Code Book. — P. 14–20.
  11. ↑ Al-Kindi, Cryptography, Codebreaking and Ciphers (9 June 2003).
  12. ↑ Koetsier, Teun (2001), "On the prehistory of programmable machines: musical automata, looms, calculators", Mechanism and Machine Theory 36 (5): 589–603, doi:10.1016/S0094-114X(01)00005-2 
  13. ↑ Marchant, Jo (November 2006). "In search of lost time". Nature 444 (7119): 534–538. Bibcode 2006Natur.444..534M. doi:10.1038/444534a. PMID 17136067. 
  14. ↑ "John Napier and the Invention of Logarithms, 1614 . E. W. Hobson". Isis 3 (2): 285–286. October 1920. doi:10.1086/357925. 
  15. ↑ 1.6 Shickard's Calculating Clock | Bit by Bit  (ағыл.).
  16. ↑ History of Computing Science: The First Mechanical Calculator. eingang.org.
  17. ↑ Kidwell Peggy Aldritch The Calculating Machines: Their history and development — MIT Press, 1992., p.38-42, translated and edited from Martin Ernst Die Rechenmaschinen und ihre Entwicklungsgeschichte — Germany: Pappenheim, 1925.
  18. ↑ CS History.
  19. ↑ 2021: 375th birthday of Leibniz, father of computer science.
  20. ↑ Lande, Daniel R. (December 2014). "Development of the Binary Number System and the Foundations of Computer Science". The Mathematics Enthusiast 11 (3): 513–540. doi:10.54870/1551-3440.1315. Үлгі:ProQuest. https://scholarworks.umt.edu/tme/vol11/iss3/6. 
  21. ↑ Cybernetics Or Control and Communication in the Animal and the Machine — MIT Press. — P. 12. — ISBN 978-0-262-73009-9.
  22. ↑ Wiener, Norbert (1948). "Time, Communication, and the Nervous System". Annals of the New York Academy of Sciences 50 (4 Teleological): 197–220. Bibcode 1948NYASA..50..197W. doi:10.1111/j.1749-6632.1948.tb39853.x. PMID 18886381. 
  23. ↑ a b Tedre Matti The Science of Computing: Shaping a Discipline — CRC Press, 2014.
  24. ↑ "Charles Babbage". Encyclopædia Britannica Online Academic Edition. Encyclopædia Britannica In.. 3 July 2023. https://www.britannica.com/biography/Charles-Babbage. Retrieved 2023-07-06. 
  25. ↑ Evans 2018, p. 16.
  26. ↑ Evans 2018, p. 21.
  27. ↑ Evans 2018, p. 20.
  28. ↑ Isaacson, Betsy. Ada Lovelace, World's First Computer Programmer, Celebrated With Google Doodle, The Huffington Post (10 желтоқсан 2012).
  29. ↑ The John Gabriel Byrne Computer Science Collection.
  30. ↑ 1907: was the first portable computer design Irish? (17 October 2012).
  31. ↑ L. Torres Quevedo (1914). "Ensayos sobre Automática – Su definicion. Extension teórica de sus aplicaciones". Revista de la Academia de Ciencias Exacta, Revista 12: 391–418. 
  32. ↑ Torres Quevedo, Leonardo (19 November 1914). "Automática: Complemento de la Teoría de las Máquinas". Revista de Obras Públicas LXII (2043): 575–583. https://quickclick.es/rop/pdf/publico/1914/1914_tomoI_2043_01.pdf. 
  33. ↑ Numbers and Computers. — P. 84–85. — ISBN 978-3-031-67481-5.
  34. ↑ Electromechanical Calculating Machine // The Origins of Digital Computers. — P. 109–120. — ISBN 978-3-642-61814-7.
  35. ↑ From Analytical Engine to Electronic Digital Computer: The Contributions of Ludgate, Torres, and Bush.
  36. ↑ Peirce, C. S., "Letter, Peirce to A. Marquand", dated 1886, Writings of Charles S. Peirce, v. 5, 1993, pp. 421–23. See Burks, Arthur W., "Review: Charles S. Peirce, The new elements of mathematics", Bulletin of the American Mathematical Society v. 84, n. 5 (1978), pp. 913–18, see 917. PDF.
  37. ↑ Peirce, C. S. (manuscript winter of 1880–81), "A Boolian Algebra with One Constant", published 1933 in Collected Papers v. 4, paragraphs 12–20. Reprinted 1989 in Writings of Charles S. Peirce v. 4, pp. 218–21, Google [1]. See Roberts, Don D. (2009), The Existential Graphs of Charles S. Peirce, p. 131.
  38. ↑ Propositional logic: deduction and algorithms — Cambridge University Press, 1999. — P. 2. — ISBN 978-0-521-63017-7.
  39. ↑ John Bird Engineering mathematics — Newnes, 2007. — P. 532. — ISBN 978-0-7506-8555-9.
  40. ↑ Yamada, Akihiko (2004). "History of Research on Switching Theory in Japan". IEEJ Transactions on Fundamentals and Materials 124 (8): 720–726. Bibcode 2004IJTFM.124..720Y. doi:10.1541/ieejfms.124.720. 
  41. ↑ Switching Theory/Relay Circuit Network Theory/Theory of Logical Mathematics. Information Processing Society of Japan.
  42. ↑ Stanković, Radomir S; Astola, Jaakko T; Karpovsky, Mark G. Some historical remarks about the development and applications of switching (PDF) (Report).
  43. ↑ a b Reprints from the Early Days of Information Sciences: TICSP Series On the Contributions of Akira Nakashima to Switching Theory — Tampere University of Technology, Tampere, Finland Vol. 40. — ISBN 978-952-15-1980-2. (3+207+1 pages) 10:00 min
  44. ↑ A Symbolic Analysis of Relay and Switching Circuits (1938) // Ideas That Created the Future. — P. 71–78. — ISBN 978-0-262-36317-4.
  45. ↑ Light, Jennifer S. (1999). "When Computers Were Women". Technology and Culture 40 (3): 455–483. doi:10.1353/tech.1999.0128. Үлгі:Project MUSE. 
  46. ↑ Kiesler, Sara; Sproull, Lee; Eccles, Jacquelynne S. (December 1985). "Pool Halls, Chips, and War Games: Women in the Culture of Computing". Psychology of Women Quarterly 9 (4): 451–462. doi:10.1111/j.1471-6402.1985.tb00895.x. 
  47. ↑ Fritz, W.B. (Fall 1996). "The women of ENIAC". IEEE Annals of the History of Computing 18 (3): 13–28. doi:10.1109/85.511940. 
  48. ↑ Gürer, Denise (June 2002). "Pioneering women in computer science". ACM SIGCSE Bulletin 34 (2): 175–180. doi:10.1145/543812.543853. 
  49. ↑ Grier 2013, p. 138.
  50. ↑ Gödel and the limits of logic  (ағыл.) (1 June 2006).
  51. ↑ a b Copeland, B. Jack (2019). "The Church-Turing Thesis". In Zalta, Edward N.. Stanford Encyclopedia of Philosophy (Spring 2019 ed.). Metaphysics Research Lab, Stanford University. https://plato.stanford.edu/archives/spr2019/entries/church-turing/. Retrieved 2020-05-01. 
  52. ↑ a b c d e f "The Modern History of Computing". Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. 2017. 
  53. ↑ Barker-Plummer, David (1995-09-14). "Turing Machines". Stanford Encyclopedia of Philosophy. http://plato.stanford.edu/archives/win2012/entries/turing-machine/. Retrieved 2013-02-20. 
  54. ↑ Booth, Kathleen HV, Machine language for Automatic Relay Computer, University of London 
  55. ↑ Bellis, Mary Biography of Konrad Zuse, Inventor and Programmer of Early Computers. Dotdash Meredith (15 May 2019). — «Konrad Zuse earned the semiofficial title of 'inventor of the modern computer'Үлгі:Who»
  56. ↑ Who is the Father of the Computer?.
  57. ↑ Rojas, R. (1998). "How to make Zuse's Z3 a universal computer". IEEE Annals of the History of Computing 20 (3): 51–54. Bibcode 1998IAHC...20c..51R. doi:10.1109/85.707574. 
  58. ↑ Rojas, Raúl How to Make Zuse's Z3 a Universal Computer.
  59. ↑ Talk given by Horst Zuse to the Computer Conservation Society at the Science Museum (London) on 18 November 2010
  60. ↑ BBC News – How Alan Turing's Pilot ACE changed computing (May 15, 2010).
  61. ↑ a b "The First "Computer Bug"". CHIPS (United States Navy) 30 (1): 18. January–March 2012. https://www.doncio.navy.mil/chips/ArticleDetails.aspx?ID=3489. Retrieved 2023-12-03. 
  62. ↑ Shannon Claude Elwood The mathematical theory of communication — Urbana: University of Illinois Press. — ISBN 0-252-72548-4.
  63. ↑ Xiong, Aiping; Proctor, Robert W. (2018). "Information Processing: The Language and Analytical Tools for Cognitive Psychology in the Information Age". Frontiers in Psychology 9. doi:10.3389/fpsyg.2018.01270. PMC 6092626. PMID 30135664. 
  64. ↑ Cragon Harvey G. Computer Architecture and Implementation — Cambridge: Cambridge University Press, 2000. — P. 1–13. — ISBN 978-0-521-65168-4.
  65. ↑ Moor, James (15 December 2006). "The Dartmouth College Artificial Intelligence Conference: The Next Fifty Years". AI Magazine 27 (4): 87–91. Үлгі:ProQuest. https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/1911. 
  66. ↑ Prudhomme Gerard Introduction to Assembly Language Programming — Arcler Education Incorporated. — ISBN 978-1-77361-470-0.
  67. ↑ Artificial intelligence and mathematical theory of computation : papers in honor of John McCarthy — Academic Press. — ISBN 0-12-450010-2.
  68. ↑ Haenlein, Michael; Kaplan, Andreas (August 2019). "A Brief History of Artificial Intelligence: On the Past, Present, and Future of Artificial Intelligence". California Management Review 61 (4): 5–14. doi:10.1177/0008125619864925. 
  69. ↑ Theoretical Computer Science Vol. 7604. — ISBN 978-3-642-33474-0.Үлгі:Pn
  70. ↑ The Creativity Post | What is Computational Creativity?  (ағыл.).
«https://kk.wikipedia.org/w/index.php?title=Информатика_тарихы&oldid=3543857» бетінен алынған