Из Википедии, свободной энциклопедии
Перейти к навигации Перейти к поиску

История информатики началась задолго до нашей современной дисциплины информатики , как правило , появляются в формах , как математика или физика . События прошлых веков намекали на дисциплину, которую мы теперь знаем как информатику . [1] Этот прогресс от механических изобретений и математических теорий к современным компьютерным концепциям и машинам привел к развитию крупной академической области, массовому технологическому прогрессу во всем западном мире и созданию основы для мировой торговли и культуры. [2]

Предыстория [ править ]

Джон Нэпьер (1550-1617), изобретатель логарифмов.

Самым ранним известным инструментом для использования в вычислениях были счеты , разработанные в период между 2700 и 2300 годами до нашей эры в Шумере . [3] Шумерские счеты состояли из таблицы, состоящей из последовательных столбцов, которые разграничивали последовательные порядки их шестидесятеричной системы счисления. [4] : 11 Первоначально использовались линии, нарисованные на песке с помощью гальки. Счеты более современного дизайна по-прежнему используются в качестве инструментов расчетов, например, китайские счеты . [5]

В 5 веке до н.э. в древней Индии , то грамматик Панини сформулировал грамматику на санскрите в 3959 правил , известных как Ashtadhyayi , который был высоко систематизированной и технической. Панини использовал метаправила, преобразования и рекурсии . [6]

Механизм Antikythera считается ранним механическим аналоговым компьютером. [7] Он был разработан для расчета астрономических координат. Он был обнаружен в 1901 году на затонувшем корабле Antikythera у греческого острова Antikythera, между Китерой и Критом , и датируется примерно 100 годом до нашей эры. [7]

Механические аналоговые компьютерные устройства появились снова тысячу лет спустя , в средневековом исламском мире и были разработаны мусульманских астрономов , такие как механическая редукторного астролябии по Abū Райхан аль-Бируни , [8] и торкветум по Джабир ибн Афлах . [9] Согласно Саймону Сингху , мусульманские математики также добились важных успехов в криптографии , таких как разработка криптоанализа и частотного анализа компанией Alkindus . [10] [11] Программируемыймашины также были изобретены мусульманскими инженерами , такие как автоматическая флейта проигрыватель, в BANU Musa братий, [12] и Аль-Джазари программируемого «ы человекоподобных автоматов и замок часы , который считается первым программируемым аналоговым компьютером. [13] Технологические артефакты аналогичной сложности появились в Европе 14 века с механическими астрономическими часами . [14]

Когда в начале 17 века Джон Нэпьер открыл логарифмы для вычислительных целей [15], наступил период значительного прогресса изобретателей и ученых в создании вычислительных инструментов. В 1623 году Вильгельм Шикард разработал вычислительную машину, но отказался от проекта, когда прототип, который он начал строить, был уничтожен пожаром в 1624 году. [16] Около 1640 года Блез Паскаль , ведущий французский математик, сконструировал механическое суммирующее устройство на основе дизайн, описанный греческим математиком Героем Александрии . [17] Затем в 1672 году Готфрид Вильгельм Лейбниц изобрелСтупенчатый счетчик, который он завершил в 1694 году. [18]

В 1837 году Чарльз Бэббидж впервые описал свою аналитическую машину, которая считается первой разработкой для современного компьютера. Аналитический механизм имел расширяемую память, арифметический блок и возможности логической обработки, способные интерпретировать язык программирования с помощью циклов и условного ветвления. Хотя конструкция так и не была построена, она была тщательно изучена и считается эквивалентом Тьюринга . Аналитический механизм имел бы объем памяти менее 1 килобайта и тактовую частоту менее 10 Гц. [19]

Прежде чем были разработаны первые современные компьютеры, потребовался значительный прогресс в математике и теории электроники.

Двоичная логика [ править ]

Готфрид Вильгельм Лейбниц (1646-1716), разработал логику в двоичной системе счисления.

В 1702 году Готфрид Вильгельм Лейбниц разработал логику в формальном, математическом смысле в своих трудах о двоичной системе счисления. В его системе единицы и нули также представляют истинные и ложные значения или состояния включения и выключения . Но прошло более века, прежде чем Джордж Буль опубликовал свою булеву алгебру в 1854 году с полной системой, которая позволяла математически моделировать вычислительные процессы. [20]

К этому времени были изобретены первые механические устройства, приводимые в действие двоичной структурой. Промышленная революция загнала вперед механизацию многих задач, и это включало ткачество . Перфокарты управляли ткацким станком Жозефа Мари Жаккара в 1801 году, где дырочка в карте указывала на двоичную единицу, а неперфорированная точка указывала на двоичный ноль . Ткацкий станок Жаккарда был далек от компьютера, но он продемонстрировал, что машинами могут управлять двоичные системы. [20]

Возникновение дисциплины [ править ]

Чарльз Бэббидж (1791-1871), один из первых пионеров вычислительной техники

Чарльз Бэббидж и Ада Лавлейс [ править ]

Чарльз Бэббиджчасто считается одним из первых пионеров вычислений. Начиная с 1810-х годов у Бэббиджа было видение механического вычисления чисел и таблиц. Воплотив это в реальность, Бэббидж разработал калькулятор для вычисления чисел до 8 десятичных знаков. Продолжая успешную реализацию этой идеи, Бэббидж работал над созданием машины, которая могла бы вычислять числа с точностью до 20 десятичных знаков. К 1830-м годам Бэббидж разработал план разработки машины, которая могла бы использовать перфокарты для выполнения арифметических операций. Машина будет хранить числа в блоках памяти, и будет форма последовательного управления. Это означает, что одна операция будет выполняться перед другой таким образом, чтобы машина давала ответ и не выходила из строя. Эта машина должна была быть известна как «Аналитическая машина».который был первым истинным представлением о том, что такое современный компьютер.[21]

Ада Лавлейс (Августа Ада Байрон) считается пионером компьютерного программирования и считается математическим гением. Лавлейс начал работать с Чарльзом Бэббиджем в качестве помощника, в то время как Бэббидж работал над своей «Аналитической машиной», первым механическим компьютером. [22] Во время своей работы с Бэббиджем Ада Лавлейс стала разработчиком первого компьютерного алгоритма, который имел возможность вычислять числа Бернулли . [23] Более того, работа Лавлейс с Бэббиджем привела к ее предсказанию, что компьютеры будущего будут не только выполнять математические вычисления, но и манипулировать символами, математическими или нет. [24]Хотя она так и не смогла увидеть результаты своей работы, поскольку «Аналитическая машина» не была создана при ее жизни, ее усилия в более поздние годы, начиная с 1840-х годов, не остались незамеченными. [25]

Чарльз Сандерс Пирс и электрические схемы переключения [ править ]

Чарльз Сандерс Пирс (1839-1914) описал, как логические операции могут выполняться электрическими коммутационными схемами.

В письме 1886 года Чарльз Сандерс Пирс описал, как логические операции могут выполняться электрическими коммутационными схемами. [26] В течение 1880–81 гг. Он показал, что только вентили NOR (или, альтернативно, только вентили NAND ) могут использоваться для воспроизведения функций всех других логических вентилей , но эта работа над ним не была опубликована до 1933 года. [27] Первая публикация доказательство было проведено Генри М. Шеффером в 1913 году, поэтому логическая операция И-НЕ иногда называется штрихом Шеффера ; логический NOR иногда называют стрелка Пирса . [28]Следовательно, эти вентили иногда называют универсальными логическими вентилями . [29]

В конце концов, электронные лампы заменили реле для логических операций. Модификация Ли Де Фореста в 1907 году клапана Флеминга может использоваться как логический вентиль. Людвиг Витгенштейн представил версию 16- строчной таблицы истинности как предложение 5.101 из Tractatus Logico-Philosophicus (1921). Вальтер Боте , изобретатель схемы совпадений , получил часть Нобелевской премии по физике 1954 года за первый современный электронный вентиль AND в 1924 году. Конрад Цузе спроектировал и построил электромеханические логические вентили для своего компьютера Z1 (с 1935 по 1938 годы).

Вплоть до и в течение 1930-х годов инженеры-электрики могли создавать электронные схемы для решения математических и логических задач, но большинство из них делали это специальным образом, без какой-либо теоретической строгости. Это изменилось с NEC инженер Akira Накасим «s теории цепей коммутации в 1930 - х годах. С 1934 по 1936 год Накашима опубликовал серию статей, показывающих, что двузначная булева алгебра , которую он открыл независимо (он не знал о работе Джорджа Буля до 1938 года), может описывать работу переключающих схем. [30] [31] [32] [33]Эта концепция использования свойств электрических переключателей для выполнения логики является базовой концепцией, лежащей в основе всех электронных цифровых компьютеров . Теория коммутационных цепей предоставила математические основы и инструменты для проектирования цифровых систем практически во всех областях современной техники. [33]

Позднее работа Накашимы была процитирована и развита в основополагающей магистерской диссертации Клода Элвуда Шеннона 1937 года « Символьный анализ реле и коммутационных цепей ». [32] Во время учебы в бакалавриате Шеннон познакомился с работой Буля и понял, что ее можно использовать для компоновки электромеханических реле (которые затем использовались в коммутаторах телефонной маршрутизации) для решения логических задач. Его диссертация стала основой практического проектирования цифровых схем, когда она стала широко известна в сообществе электротехников во время и после Второй мировой войны. [34]

Алан Тьюринг (1912-1954), математик , логик , криптограф , оказал значительное влияние на развитие информатики.

Алан Тьюринг и машина Тьюринга [ править ]

До 1920-х годов компьютеры (иногда компьютеры ) были людьми, выполняющими вычисления. Обычно ими руководил физик. Многие тысячи компьютеров использовались в торговле, правительстве и исследовательских учреждениях. Многие из этих клерков, которые служили людьми-компьютерами, были женщинами. [35] [36] [37] [38] Некоторые выполняли астрономические вычисления для календарей, другие баллистические таблицы для военных. [39]

После 1920-х годов выражение « вычислительная машина» относилось к любой машине, которая выполняла работу человеческого компьютера, особенно в соответствии с эффективными методами тезиса Черча-Тьюринга . В тезисе утверждается, что математический метод эффективен, если он может быть изложен в виде списка инструкций, которым может следовать человек-клерк с бумагой и карандашом столько, сколько необходимо, и без изобретательности или проницательности. [40]

Машины, вычисляющие непрерывные значения, стали известны как аналоговые . Они использовали механизмы, которые представляли непрерывные числовые величины, такие как угол вращения вала или разность электрических потенциалов. [40]

Цифровое оборудование, в отличие от аналогового, могло отображать состояние числового значения и сохранять каждую отдельную цифру. Цифровая техника использовала разностные двигатели или реле до изобретения более быстрых запоминающих устройств. [40]

Выражение « вычислительная машина» постепенно, после конца 1940-х годов, уступило место просто компьютеру, поскольку появление электронных цифровых машин стало обычным явлением. Эти компьютеры могли выполнять вычисления, которые выполняли предыдущие служащие. [40]

Поскольку значения, хранящиеся в цифровых машинах, не были привязаны к физическим свойствам, как аналоговые устройства, логический компьютер, основанный на цифровом оборудовании, мог делать все, что можно было бы описать как «чисто механическое». Теоретическая машина Тьюринга , созданная Аланом Тьюрингом , представляет собой гипотетическое устройство , созданное для изучения свойств такого оборудования. [40]

Математические основы современной информатики были заложены Куртом Гёделем с его теоремой о неполноте (1931 г.). В этой теореме он показал, что есть пределы тому, что может быть доказано и опровергнуто в рамках формальной системы . Это привело к работе Гёделя и других по определению и описанию этих формальных систем, включая такие концепции, как мю-рекурсивные функции и лямбда-определяемые функции . [41]

В 1936 году Алан Тьюринг и Алонзо Черч независимо, а также вместе, представили формализацию алгоритма с ограничениями на то, что можно вычислить, и «чисто механическую» модель вычислений. [42] Это стало тезисом Черча-Тьюринга , гипотезой о природе механических вычислительных устройств, таких как электронные компьютеры. В тезисе утверждается, что любые возможные вычисления могут быть выполнены алгоритмом, работающим на компьютере, при условии, что имеется достаточно времени и места для хранения. [42]

В 1936 году Алан Тьюринг также опубликовал свою основополагающую работу о машинах Тьюринга , абстрактной цифровой вычислительной машине, которую теперь называют просто универсальной машиной Тьюринга . Эта машина изобрела принцип современного компьютера и стала колыбелью концепции хранимых программ, которую используют почти все современные компьютеры. [43] Эти гипотетические машины были разработаны для формального математического определения того, что можно вычислить, с учетом ограничений вычислительных возможностей. Если машина Тьюринга может выполнить задачу, она считается вычислимой по Тьюрингу . [44]

Лос - Аламос физик Стэнли Френкель , описал Джон фон Нейман посмотреть по фундаментальной важности 1936 года бумаги Тьюринга, в письме: [43]

Я знаю, что примерно в 1943 или 1944 году фон Нейман был хорошо осведомлен о фундаментальной важности статьи Тьюринга 1936 года ... Фон Нейман познакомил меня с этой статьей, и по его настоянию я внимательно ее изучил. Многие люди провозглашали фон Неймана «отцом компьютера» (в современном смысле этого слова), но я уверен, что он никогда бы не совершил эту ошибку сам. Его вполне можно было бы назвать акушеркой, но он твердо подчеркнул для меня и других, я уверен, что основная концепция принадлежит Тьюрингу ...

Джон В. Атанасов (1903-1995), создатель первого электрического цифрового компьютера под названием компьютер Атанасова-Берри.

Раннее компьютерное оборудование [ править ]

Первый в мире электронный цифровой компьютер, компьютер Атанасова – Берри , был построен в кампусе штата Айова с 1939 по 1942 год профессором физики и математики Джоном В. Атанасоффом и аспирантом инженерного факультета Клиффордом Берри .

В 1941 году Конрад Цузе разработал первый в мире функциональный компьютер с программным управлением - Z3 . В 1998 г. было показано, что оно в принципе по Тьюрингу является полным . [45] [46] Цузе также разработал вычислительную машину S2, которая считается первым компьютером управления технологическим процессом . Он основал одно из первых компьютерных предприятий в 1941 году, выпустив Z4 , который стал первым в мире коммерческим компьютером. В 1946 году он разработал первый язык программирования высокого уровня , Plankalkül . [47]

В 1948 году « Манчестер Бэби» был завершен; это был первый в мире электронный цифровой компьютер, который запускал программы, хранящиеся в его памяти, как и почти все современные компьютеры. [43] Влияние на Макса Ньюмана основополагающей статьи Тьюринга 1936 года о машинах Тьюринга и его логико-математического вклада в проект имели решающее значение для успешного развития Младенца. [43]

В 1950 году Британская национальная физическая лаборатория завершила проект Pilot ACE , небольшой программируемый компьютер, основанный на философии Тьюринга. Благодаря рабочей скорости 1 МГц Pilot Model ACE какое-то время был самым быстрым компьютером в мире. [43] [48] Дизайн Тьюринга для ACE имел много общего с сегодняшними архитектурами RISC и требовал высокоскоростной памяти примерно той же емкости, что и ранний компьютер Macintosh , который был огромен по стандартам его времени. [43] Если бы ACE Тьюринга был построен по плану и полностью, он был бы в другой лиге, чем другие ранние компьютеры. [43]

Клод Шеннон (1916-2001), помогал в создании области теории информации

Первой реальной компьютерной ошибкой была моль . Он застрял между реле на Harvard Mark II. [49] Хотя изобретение термина «ошибка» часто, но ошибочно приписывается Грейс Хоппер , будущему контр-адмиралу ВМС США, которая предположительно зарегистрировала «ошибку» 9 сентября 1945 года, большинство других учетных записей противоречат, по крайней мере, с эти детали. Согласно этим отчетам, фактической датой было 9 сентября 1947 года, когда операторы зарегистрировали этот «инцидент» вместе с насекомым и пометкой «Первый реальный случай обнаружения ошибки» (см. Подробности в разделе « Ошибка программного обеспечения» ). [49]

Шеннон и теория информации [ править ]

Клод Шеннон основал область теории информации в своей статье 1948 года под названием «Математическая теория коммуникации» , в которой теория вероятностей применялась к проблеме того, как лучше всего закодировать информацию, которую отправитель хочет передать. Эта работа является одной из теоретических основ для многих областей исследований, включая сжатие данных и криптографию . [50]

Норберт Винер (1894-1964) создал термин кибернетика.

Винер и кибернетика [ править ]

В результате экспериментов с зенитными системами, которые интерпретировали радиолокационные изображения для обнаружения самолетов противника, Норберт Винер ввел термин кибернетика от греческого слова «рулевой». В 1948 году он опубликовал «Кибернетику», которая повлияла на искусственный интеллект . Винер также сравнил вычисления , вычислительную технику, устройства памяти и другие когнитивные сходства со своим анализом мозговых волн. [51]

Джон фон Нейман (1903-1957) представил компьютерную архитектуру, известную как архитектура фон Неймана.

Джон фон Нейман и архитектура фон Неймана [ править ]

В 1946 году была представлена ​​модель компьютерной архитектуры, которая стала известна как архитектура фон Неймана . С 1950 года модель фон Неймана обеспечила единообразие в последующих компьютерных разработках. Архитектура фон Неймана была признана новаторской, поскольку она представила идею, позволяющую машинным инструкциям и данным совместно использовать пространство памяти. [52] Модель фон Неймана состоит из трех основных частей: арифметико-логического блока (ALU), памяти и блока обработки команд (IPU). В конструкции машины фон Неймана IPU передает адреса в память, а память, в свою очередь, направляется либо обратно в IPU, если выполняется выборка инструкции, либо в ALU, если данные извлекаются. [53]

В конструкции машины фон Неймана используется архитектура RISC (вычисления с сокращенным набором инструкций) [ сомнительно ], что означает, что набор инструкций использует в общей сложности 21 инструкцию для выполнения всех задач. (В этом отличие от CISC, вычислений со сложным набором инструкций, наборов инструкций, которые имеют больше инструкций для выбора.) В архитектуре фон Неймана основная память вместе с аккумулятором (регистр, который хранит результат логических операций) [54] это два воспоминания, к которым обращаются. Операции могут выполняться как простая арифметика (они выполняются ALU и включают в себя сложение, вычитание, умножение и деление), условные переходы (теперь они чаще встречаются какifзаявления или whileциклы. Ветви служат go toоператорами), и логические переходы между различными компонентами машины, т. Е. Переход от аккумулятора к памяти или наоборот. Архитектура фон Неймана принимает дроби и инструкции как типы данных. Наконец, поскольку архитектура фон Неймана проста, управление ее регистрами также простое. В архитектуре используется набор из семи регистров для управления и интерпретации извлеченных данных и инструкций. Эти регистры включают в себя «IR» (регистр команд), «IBR» (регистр буфера команд), «MQ» (регистр коэффициента умножения), «MAR» (регистр адреса памяти) и «MDR» (регистр данных памяти) ». [53] В архитектуре также используется программный счетчик («ПК»), чтобы отслеживать, где в программе находится машина. [53]

Джон Маккарти (1927-2011), считался одним из отцов-основателей искусственного интеллекта.

Джон Маккарти, Марвин Мински и искусственный интеллект [ править ]

Термин «искусственный интеллект» был использован Джоном Маккарти для объяснения исследования, которое они проводили для предложения о проведении летних исследований в Дартмуте . Название искусственного интеллекта также привело к рождению новой области информатики. [55] 31 августа 1955 года был предложен исследовательский проект, в котором участвовали Джон Маккарти, Марвин Л. Мински, Натаниэль Рочестер и Клод Э. Шеннон . [56] Официальный проект, начатый в 1956 году, состоял из нескольких важных частей, которые, по их мнению, помогут им лучше понять структуру искусственного интеллекта. [57]

Идеи Маккарти и его коллег, лежащие в основе автоматических компьютеров, заключались в том, что если машина способна выполнять задачу, то то же самое следует подтвердить с помощью компьютера, составив программу для достижения желаемых результатов. Они также обнаружили, что человеческий мозг слишком сложен для воспроизведения не самой машиной, а программой. Знаний для создания сложной программы еще не было. [57]

Концепция, лежащая в основе этого, заключалась в том, чтобы посмотреть, как люди понимают наш собственный язык и структуру того, как мы составляем предложения, придавая различное значение и наборы правил и сравнивая их с машинным процессом. [57] Компьютеры понимают на аппаратном уровне. Этот язык написан в двоичном формате (единицы и нули). Это должно быть записано в определенном формате, который дает компьютеру набор правил для запуска определенного оборудования. [58]

Процесс Мински определил, как эти искусственные нейронные сети могут быть устроены так, чтобы они имели свойства, аналогичные человеческому мозгу. Однако он смог получить лишь частичные результаты, и ему нужно было продолжить исследование этой идеи. [57] Однако они должны были получить только частичные результаты испытаний [56]

Идея Маккарти и Шеннона, лежащая в основе этой теории, заключалась в том, чтобы разработать способ использования сложных задач для определения и измерения эффективности машины с помощью математической теории и вычислений . [59] Однако они должны были получить только частичные результаты испытаний. [57]

Идея самосовершенствования заключается в том, как машина будет использовать самомодифицирующийся код, чтобы стать умнее. Это позволит машине развить интеллект и увеличить скорость вычислений. [60] Группа полагала, что они могли бы изучить это, если бы машина могла улучшить процесс выполнения задачи в абстракционной части их исследования. [57]

Группа считала, что исследования в этой категории можно разбить на более мелкие группы. Это будет состоять из сенсорной и других форм информации об искусственном интеллекте. [57] Абстракции в информатике могут относиться к математике и языку программирования. [61]

Их представление о вычислительном творчестве состоит в том, как можно увидеть, как программа или машина имеют схожие способы человеческого мышления. [62] Они хотели посмотреть, может ли машина взять часть неполной информации и улучшить ее, чтобы заполнить недостающие детали, как это может сделать человеческий разум. Если бы эта машина могла это сделать; им нужно было подумать о том, как машина определяет результат. [57]

См. Также [ править ]

  • Компьютерный музей
  • Список этимологий компьютерных терминов , происхождение слов информатики
  • Список пионеров информатики
  • История вычислительной техники
  • История вычислительной техники
  • История программного обеспечения
  • История персональных компьютеров
  • Хронология алгоритмов
  • Хронология женщин в вычислениях
  • Хронология вычислительной техники 2020–2029 гг.

Ссылки [ править ]

  1. ^ Тедре, Матти (2014). Наука о вычислениях: формирование дисциплины . Чепмен Холл.
  2. ^ "История информатики" . uwaterloo.ca .
  3. ^ Бойер, Карл Б .; Мерцбах, Ута К. (1991). История математики (2-е изд.). John Wiley & Sons, Inc., стр.  252–253 . ISBN 978-0-471-54397-8.
  4. ^ Ифра, Жорж (2001). Всеобщая история вычислений: от абак до квантового компьютера . Джон Вили и сыновья. ISBN 978-0-471-39671-0.
  5. ^ Беллос, Алекс (2012-10-25). «Счеты в Японии - это веселье счисления» . Хранитель . Лондон . Проверено 25 июня 2013 .
  6. Перейти ↑ Sinha, AC (1978). «О статусе рекурсивных правил в трансформационной грамматике». Lingua . 44 (2–3): 169–218. DOI : 10.1016 / 0024-3841 (78) 90076-1 .
  7. ^ a b «Обзор проекта» . Проект исследования антикиферского механизма . Проверено 15 января 2020 .
  8. ^ «Ислам, знания и наука» . Исламская сеть . Проверено 5 ноября 2017 .
  9. Lorch, RP (1976), «Астрономические инструменты Джабира ибн Афлаха и Торкетума», Centaurus , 20 (1): 11–34, Bibcode : 1976Cent ... 20 ... 11L , doi : 10.1111 / j. 1600-0498.1976.tb00214.x
  10. Саймон Сингх , Кодовая книга , стр. 14–20
  11. ^ «Аль-Кинди, криптография, взлом кода и шифры» . Проверено 12 января 2007 .
  12. ^ Koetsier, Тен (2001), "О предыстории программируемых машин: музыкальные автоматы, ткацкие станки, калькуляторах", механизм и теория машин , 36 (5): 589-603, DOI : 10.1016 / S0094-114X (01) 00005- 2 ..
  13. ^ Ancient Discoveries, Episode 11: Ancient Robots , History Channel , заархивировано из оригинала 1 марта 2014 г. , получено 6 сентября 2008 г.
  14. Марчант, Джо (ноябрь 2006 г.). «В поисках утраченного времени» . Природа . 444 (7119): 534–538. Bibcode : 2006Natur.444..534M . DOI : 10.1038 / 444534a . PMID 17136067 . 
  15. ^ "Джон Нэпир и изобретение логарифмов, 1614. EW Hobson" . Исида . 3 (2): 285–286. 1920-10-01. DOI : 10.1086 / 357925 . ISSN 0021-1753 . 
  16. ^ "1.6 Расчетные часы Шикарда | Бит за битом" . Проверено 17 марта 2021 .
  17. ^ "История вычислительной науки: первый механический калькулятор" . eingang.org .
  18. ^ Кидвелл, Пегги Олдрич ; Уильямс, Майкл Р. (1992). Счетные машины: их история и развитие . MIT Press., p.38-42, переведено и отредактировано Мартином, Эрнстом (1925). Die Rechenmaschinen und ihre Entwicklungsgeschichte . Германия: Паппенгейм.
  19. ^ "История CS" . allcomputerscience.com . Проверено 1 мая 2020 .
  20. ^ a b Тедре, Матти (2014). Наука о вычислениях: формирование дисциплины . CRC Press.
  21. ^ "Чарльз Бэббидж" . Энциклопедия Britannica Online Academic Edition . Encyclopædia Britannica In . Проверено 20 февраля 2013 .
  22. ^ Эванс 2018 , стр. 16.
  23. ^ Эванс 2018 , стр. 21.
  24. ^ Эванс 2018 , стр. 20.
  25. Перейти ↑ Isaacson, Betsy (2012-12-10). «Ада Лавлейс, первый компьютерный программист в мире, отмечена дудлом от Google» . The Huffington Post . Проверено 20 февраля 2013 .
  26. Пирс, CS, «Письмо Пирса к А. Маркуанду », датированное 1886 годом, сочинения Чарльза С. Пирса , т. 5, 1993, стр. 421–23. См. Беркс, Артур В. , «Обзор: Чарльз С. Пирс, Новые элементы математики », Бюллетень Американского математического общества v. 84, n. 5 (1978), pp. 913–18, см. 917. PDF Eprint .
  27. ^ Пирс, CS (рукопись зима 1880–81), «Булевская алгебра с одной константой», опубликованная в 1933 году в Сборнике статей, т. 4, параграфы 12–20. Перепечатано в 1989 г. в Writings of Charles S. Peirce v. 4, pp. 218–21, Google [1] . См. Робертс, Дон Д. (2009), Экзистенциальные графы Чарльза С. Пирса , стр. 131.
  28. ^ Ханс Кляйне Бюнинг; Теодор Леттманн (1999). Логика высказываний: дедукция и алгоритмы . Издательство Кембриджского университета. п. 2. ISBN 978-0-521-63017-7.
  29. ^ Джон Берд (2007). Инженерная математика . Newnes. п. 532. ISBN 978-0-7506-8555-9.
  30. ^ История исследований теории коммутации в Японии , Сделки IEEJ по основам и материалам , Vol. 124 (2004) № 8, стр. 720–726, Институт инженеров-электриков Японии
  31. ^ Теория коммутации / Теория релейных цепей / Теория логической математики , Компьютерный музей IPSJ, Общество обработки информации Японии
  32. ^ a b Радомир С. Станкович ( Университет Ниша ), Яакко Т. Астола ( Технологический университет Тампере ), Марк Г. Карповский ( Бостонский университет ), Некоторые исторические замечания по теории переключения , 2007, DOI 10.1.1.66.1248
  33. ^ a b Радомир С. Станкович, Яакко Астола (2008), Отпечатки с первых дней информационных наук: Серия TICSP о вкладе Акиры Накашимы в теорию коммутации , Серия TICSP # 40, Международный центр Тампере по обработке сигналов, Университет Тампере Технология
  34. ^ Шеннон, Клод (2021-02-02), «Символический анализ реле и коммутационных цепей (1938)» , Идеи, которые создали будущее , MIT Press, стр. 71–78, ISBN 978-0-262-36317-4, получено 2021-03-17
  35. ^ Лайт, Дженнифер С. (1999-07-01). «Когда компьютеры были женщинами» . Технологии и культура . 40 (3): 455–483. DOI : 10.1353 / tech.1999.0128 . ISSN 1097-3729 . S2CID 108407884 .  
  36. ^ Кислер, Сара; Спроулл, Ли; Экклс, Жаклин С. (1 декабря 1985 г.). «Залы для пула, фишки и военные игры: женщины в компьютерной культуре». Психология женщин Ежеквартально . 9 (4): 451–462. DOI : 10.1111 / j.1471-6402.1985.tb00895.x . ISSN 1471-6402 . S2CID 143445730 .  
  37. Перейти ↑ Fritz, WB (1996). «Женщины ENIAC». IEEE Annals of the History of Computing . 18 (3): 13–28. DOI : 10.1109 / 85.511940 .
  38. ^ Гюрер, Дениз (2002-06-01). «Женщины-первопроходцы в области компьютерных наук». SIGCSE Bull . 34 (2): 175–180. DOI : 10.1145 / 543812.543853 . ISSN 0097-8418 . S2CID 2577644 .  
  39. Перейти ↑ Grier 2013 , p. 138.
  40. ^ a b c d e Kaur, Gurusharan (2019). Элементы и оцифровка компьютера . Издательское дело.
  41. ^ "Гёдель и пределы логики" . plus.maths.org . 2006-06-01 . Проверено 1 мая 2020 .
  42. ^ a b Коупленд, Б. Джек (2019). «Тезис Черча-Тьюринга» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии (издание весна 2019 г.). Лаборатория метафизических исследований Стэнфордского университета . Проверено 1 мая 2020 .
  43. ^ a b c d e f g "Автоматическая вычислительная машина Тьюринга" . Современная история вычислительной техники . Стэнфордская энциклопедия философии . Лаборатория метафизических исследований Стэнфордского университета. 2017 г.
  44. ^ Баркер-Пламмер, Дэвид (1995-09-14). «Машины Тьюринга» . Стэнфордская энциклопедия философии . Проверено 20 февраля 2013 .
  45. ^ Рохас, Р. (1998). «Как сделать Z3 Цузе универсальным компьютером» . IEEE Annals of the History of Computing . 20 (3): 51–54. DOI : 10.1109 / 85.707574 . S2CID 14606587 . 
  46. Рохас, Рауль. "Как сделать Z3 Цузе универсальным компьютером" . Архивировано из оригинала на 2014-07-14.
  47. Выступление Хорста Цузе в Обществе сохранения компьютеров в Музее науки (Лондон) 18 ноября 2010 г.
  48. ^ "BBC News - Как пилотный ACE Алана Тьюринга изменил вычисления" . BBC News . 15 мая 2010 г.
  49. ^ Б «Первый„Компьютерный Буг » (PDF) . ЧИПСЫ . ВМС США. 30 (1): 18. Январь – март 2012 г.
  50. ^ Шеннон, Клод Элвуд (1964). Математическая теория коммуникации . Уоррен Уивер. Урбана: Университет Иллинойса Press. ISBN 0-252-72548-4. OCLC  2654027 .
  51. ^ Сюн, Айпин; Проктор, Роберт В. (2018). «Обработка информации: язык и аналитические инструменты для когнитивной психологии в информационную эпоху» . Границы в психологии . 9 . DOI : 10.3389 / fpsyg.2018.01270 . ISSN 1664-1078 . 
  52. ^ "Архитектура фон Неймана - обзор | Темы ScienceDirect" . www.sciencedirect.com . Проверено 17 марта 2021 .
  53. ^ a b c Cragon, Харви Г. (2000). Компьютерная архитектура и реализация . Кембридж: Издательство Кембриджского университета. стр.  1 -13. ISBN 978-0-521-65168-4.
  54. ^ "Аккумулятор" Def. 3 . Оксфордские словари.
  55. ^ Мур, Джеймс (2006-12-15). «Конференция по искусственному интеллекту Дартмутского колледжа: следующие пятьдесят лет» . Журнал AI . 27 (4): 87–87. DOI : 10,1609 / aimag.v27i4.1911 . ISSN 2371-9621 . 
  56. ^ Б Каур, Gurusharan (2019). Элементы и оцифровка компьютера . Издательское дело.
  57. ^ a b c d e f g h «Обзор проекта» . Проект исследования антикиферского механизма . Проверено 15 января 2020 .
  58. ^ Прюдомм, Жерар. Введение в программирование на языке ассемблера . ISBN 978-1-77361-470-0. OCLC  1089398724 .
  59. ^ Маккарти, Джон ; Лифшиц, Владимир (1991). Искусственный интеллект и математическая теория вычислений: статьи в честь Джона Маккарти . Академическая пресса. ISBN 0-12-450010-2. OCLC  911282256 .
  60. ^ Haenlein, Майкл; Каплан, Андреас (2019). «Краткая история искусственного интеллекта: прошлое, настоящее и будущее искусственного интеллекта» . Обзор управления Калифорнии . 61 (4): 5–14. DOI : 10.1177 / 0008125619864925 . ISSN 0008-1256 . 
  61. ^ Baeten, Jos CM; Болл, Том; де Бур, Франк С., ред. (2012). Теоретическая информатика: 7-я Международная конференция IFIP TC 1 / WG 2.2, TCS 2012, Амстердам, Нидерланды, 26-28 сентября 2012 г. Материалы . Конспект лекций по информатике. 7604 . Берлин, Гейдельберг: Springer Berlin Heidelberg. DOI : 10.1007 / 978-3-642-33475-7 . ISBN 978-3-642-33474-0.
  62. ^ "The Creativity Post | Что такое вычислительное творчество?" . Сообщение о творчестве . Проверено 4 марта 2021 .

Источники [ править ]

  • Эванс, Клэр Л. (2018). Широкий диапазон: нерассказанная история женщин, которые сделали Интернет . Нью-Йорк: Портфолио / Пингвин. ISBN 9780735211759.
  • Гриер, Дэвид Алан (2013). Когда компьютеры были людьми . Принстон: Издательство Принстонского университета. ISBN 9781400849369 - через Project MUSE.

Дальнейшее чтение [ править ]

  • Тедре, Матти (2014). Наука о вычислениях: формирование дисциплины . Тейлор и Фрэнсис / CRC Press. ISBN 978-1-4822-1769-8.
  • Как, Субхаш: вычислительная наука в Древней Индии; Munshiram Manoharlal Publishers Pvt. ООО (2001)
  • Развитие компьютерных наук: социокультурная перспектива Доктор философии Матти Тедре. Диссертация, Университет Йоэнсуу (2006 г.)
  • Ceruzzi, Пол Э. (1998). История современных вычислений . MIT Press. ISBN 978-0-262-03255-1.
  • Коупленд, Б. Джек. «Современная история вычислительной техники» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии .

Внешние ссылки [ править ]

  • Музей истории компьютеров
  • Компьютеры: от прошлого к настоящему
  • Первая «компьютерная ошибка» в фотоархиве Управления морской истории и наследия.
  • Bitsavers , попытка собрать , спасти и архивировать историческое компьютерное программное обеспечение и руководства с миникомпьютеров и мэйнфреймов 1950-х, 1960-х, 1970-х и 1980-х годов.
  • Интервью с устной историей