✖


Jump to content

История информатики

История вычислений
Аппаратное обеспечение
Программное обеспечение
Информатика
Современные концепции
По стране
Хронология вычислений
Глоссарий информатики

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

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

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

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

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

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

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

Технологические артефакты подобной сложности появились в Европе 14 века - механические астрономические часы . [13]

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

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

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

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

Готфрид Вильгельм Лейбниц [ править ]

Основная статья: Готфрид Вильгельм Лейбниц
Готфрид Вильгельм Лейбниц (1646–1716) разработал логику в двоичной системе счисления и был назван «основателем информатики». [19]

В 1702 году Готфрид Вильгельм Лейбниц развил логику в формальном, математическом смысле в своих трудах о двоичной системе счисления. Лейбниц упростил двоичную систему и сформулировал логические свойства, такие как соединение, дизъюнкция, отрицание, тождество, включение и пустое множество. [20] Он предвосхитил лагранжеву интерполяцию и алгоритмическую теорию информации . Его логическое исчисление предвосхитило аспекты универсальной машины Тьюринга . В 1961 году Норберт Винер предложил считать Лейбница покровителем кибернетики . [21] Винера цитируют: «Действительно, общая идея вычислительной машины — это не что иное, как механизация Ратиоцинатора исчисления Лейбница». [22] Но прошло больше столетия, прежде чем Джордж Буль опубликовал в 1854 году свою булеву алгебру с полной системой, позволяющей математически моделировать вычислительные процессы. [23]

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

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

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

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

Основные статьи: Чарльз Бэббидж и Ада Лавлейс

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

Ада Лавлейс (1815–1852) предсказала использование компьютеров для символических манипуляций.

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

постаналитической разработки Ранние машины

Леонардо Торрес Кеведо (1852–1936) предложил последовательный способ хранения чисел с плавающей запятой.

Следом за Бэббиджем, хотя поначалу он и не знал о его более ранних работах, был Перси Ладгейт , клерк торговца кукурузой в Дублине, Ирландия. Он независимо разработал программируемый механический компьютер, который описал в работе, опубликованной в 1909 году. [29] [30]

Два других изобретателя, Леонардо Торрес Кеведо и Ванневар Буш , также последовали исследованиям, основанным на работах Бэббиджа. В своих «Очерках автоматики» (1914) Торрес сконструировал аналитическую электромеханическую машину, управляемую программой, доступной только для чтения , и представил идею арифметики с плавающей запятой . [31] [32] [33] В 1920 году, чтобы отпраздновать 100-летие изобретения арифмометра , он представил в Париже электромеханический арифмометр , который состоял из арифметического блока, подключенного к (возможно, удаленной) пишущей машинке, на которой можно было набирать команды и автоматически распечатывать результаты. [34] В статье Буша «Инструментальный анализ» (1936) обсуждалось использование существующих машин IBM для перфокарт для реализации конструкции Бэббиджа. В том же году он начал проект «Быстрая арифметическая машина» для исследования проблем построения электронного цифрового компьютера. [35]

Чарльз Сандерс Пирс и коммутационные схемы электрические

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

В письме 1886 года Чарльз Сандерс Пирс описал, как логические операции могут выполняться с помощью электрических коммутационных схем. [36] В 1880–1881 годах он показал, что одни вентили ИЛИ (или, альтернативно, только вентили И-НЕ ) могут использоваться для воспроизведения функций всех других логических вентилей , но эта работа над ней не публиковалась до 1933 года. [37] Первое опубликованное доказательство было предложено Генри М. Шеффером в 1913 году, поэтому логическую операцию И-НЕ иногда называют ходом Шеффера ; логическое ИЛИ-НЕ иногда называют стрелкой Пирса . [38] Следовательно, эти вентили иногда называют универсальными логическими вентилями . [39]

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

Вплоть до 1930-х годов инженеры-электрики могли создавать электронные схемы для решения математических и логических задач, но большинство из них делали это от случая к случаю , без какой-либо теоретической строгости. Ситуация изменилась с появлением теории коммутационных цепей в 1930-х годах. С 1934 по 1936 год Акира Накашима , Клод Шеннон и Виктор Шетаков опубликовали серию статей, показывающих, что двузначная булева алгебра может описывать работу переключающих схем. [40] [41] [42] [43] Эта концепция использования свойств электрических переключателей для реализации логики является базовой концепцией, лежащей в основе всех электронных цифровых компьютеров . Теория коммутационных цепей предоставила математические основы и инструменты для проектирования цифровых систем практически во всех областях современных технологий. [43]

Во время занятий по философии на бакалавриате Шеннон познакомился с работой Буля и понял, что ее можно использовать для организации электромеханических реле (затем используемых в коммутаторах телефонной маршрутизации) для решения логических задач. Его диссертация стала основой практического проектирования цифровых схем, когда она стала широко известна среди электротехнического сообщества во время и после Второй мировой войны. [44]

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

Основные статьи: Алан Тьюринг и машина Тьюринга
Алан Тьюринг , английский учёный-компьютерщик, математик, логик и криптоаналитик. (около 1930 г.)

До 1920-х годов компьютеры (иногда компьютеры ) представляли собой людей-клерков, выполнявших вычисления. Обычно ими руководил физик. Многие тысячи компьютеров использовались в торговле, правительстве и исследовательских учреждениях. Многие из этих клерков, выполнявших роль людей-компьютеров, были женщинами. [45] [46] [47] [48] Одни выполняли астрономические расчеты для календарей, другие — баллистические таблицы для военных. [49]

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

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

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

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

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

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

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

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

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

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

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

Бут и первый ассемблера язык Кэтлин

Кэтлин Бут написала первый язык ассемблера и разработала ассемблер и автокод для автоматического релейного калькулятора (ARC) в Биркбек-колледже Лондонского университета . [54] Она помогла спроектировать три разные машины, включая ARC, SEC ( простой электронный компьютер ) и APE(X)C .

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

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

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

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

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

Позже, в 1950-х годах, первая операционная система GM -NAA I/O , поддерживающая пакетную обработку , позволяющая выполнять задания с меньшим вмешательством оператора, была разработана компаниями General Motors и North American Aviation для IBM 701 .

В 1969 году две исследовательские группы из Калифорнийского университета в Лос-Анджелесе и Стэнфорда провели эксперимент по созданию сети между двумя компьютерами, хотя система вышла из строя во время первоначальной попытки подключения к другому компьютеру, но это был огромный шаг на пути к Интернету.

Клод Шеннон (1916–2001) помог создать область теории информации.

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

и информации теория Шеннон

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

Норберт Винер (1894–1964) ввел термин «кибернетика».

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

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

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

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

Основные статьи: Джон фон Нейман и архитектура фон Неймана

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

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

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

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

Основные статьи: Джон Маккарти (ученый-компьютерщик) , Марвин Мински и искусственный интеллект.

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

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

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

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

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

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

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

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

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

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

  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. ^ Беллос, Алекс (25 октября 2012 г.). «В Японии счеты приносят радость» . Хранитель . Лондон . Проверено 25 июня 2013 г.
  6. ^ Синха, AC (1978). «О статусе рекурсивных правил в трансформационной грамматике». Лингва . 44 (2–3): 169–218. дои : 10.1016/0024-3841(78)90076-1 .
  7. ↑ Перейти обратно: Перейти обратно: а б «Обзор проекта» . Исследовательский проект Антикитерского механизма . Проверено 6 июля 2023 г.
  8. ^ «Ислам, знания и наука» . Исламская сеть . Проверено 5 ноября 2017 г.
  9. ^ Лорх, Р.П. (1976), «Астрономические инструменты Джабира ибн Афлы и Торкетум», Centaurus , 20 (1): 11–34, Бибкод : 1976Cent...20...11L , doi : 10.1111/j.1600 -0498.1976.tb00214.x
  10. ^ Саймон Сингх , Кодовая книга , стр. 14–20.
  11. ^ «Аль-Кинди, криптография, взлом кодов и шифры» . 9 июня 2003 года . Проверено 25 августа 2023 г.
  12. ^ Кутсер, Теун (2001), «О предыстории программируемых машин: музыкальных автоматов, ткацких станков, калькуляторов», Mechanism and Machine Theory , 36 (5): 589–603, doi : 10.1016/S0094-114X(01)00005-2 . .
  13. ^ Марчант, Джо (ноябрь 2006 г.). «В поисках утраченного времени» . Природа . 444 (7119): 534–538. Бибкод : 2006Natur.444..534M . дои : 10.1038/444534a . ПМИД   17136067 .
  14. ^ «Джон Нэпьер и изобретение логарифмов, 1614 г. Э. У. Хобсон» . Исида . 3 (2): 285–286. 01.10.1920. дои : 10.1086/357925 . ISSN   0021-1753 .
  15. ^ «1.6 Вычислительные часы Шикарда | Побитно» . Проверено 17 марта 2021 г.
  16. ^ «История информатики: первый механический калькулятор» . eingang.org .
  17. ^ Кидвелл, Пегги Олдрич ; Уильямс, Майкл Р. (1992). Счетные машины: их история и развитие . МТИ Пресс. , стр.38-42, переведено и отредактировано с Мартин, Эрнст (1925). Счетные машины и история их развития . Германия: Паппенгейм.
  18. ^ «История КС» . allcomputerscience.com . Проверено 1 мая 2020 г.
  19. ^ «2021: 375 лет со дня рождения Лейбница, отца информатики» . люди.idsia.ch .
  20. ^ Ланде, Дэниел. «Развитие двоичной системы счисления и основы информатики». Энтузиаст математики : 513–540.
  21. ^ Винер, Н., Кибернетика (2-е издание с исправлениями и двумя дополнительными главами), The MIT Press and Wiley, Нью-Йорк, 1961, стр. 12.
  22. ^ Винер, Норберт (1948). «Время, общение и нервная система» . Анналы Нью-Йоркской академии наук . 50 (4 телеологические): 197–220. Бибкод : 1948NYASA..50..197W . дои : 10.1111/j.1749-6632.1948.tb39853.x . ПМИД   18886381 . S2CID   28452205 . Архивировано из оригинала 23 июля 2021 года . Проверено 23 июля 2021 г.
  23. ↑ Перейти обратно: Перейти обратно: а б Тедре, Матти (2014). Наука информатики: формирование дисциплины . ЦРК Пресс.
  24. ^ «Чарльз Бэббидж» . Британская энциклопедия, онлайн-академическое издание . Британская энциклопедия In. 3 июля 2023 г. Проверено 6 июля 2023 г.
  25. ^ Эванс 2018 , с. 16.
  26. ^ Эванс 2018 , с. 21.
  27. ^ Эванс 2018 , с. 20.
  28. ^ Исааксон, Бетси (10 декабря 2012 г.). «Ада Лавлейс, первая в мире программистка, отмечена дудлом Google» . Хаффингтон Пост . Проверено 20 февраля 2013 г.
  29. ^ «Коллекция Джона Гэбриэла Бирна по компьютерным наукам» (PDF) . Архивировано из оригинала 16 апреля 2019 г. Проверено 8 августа 2019 г.
  30. ^ «1907 год: был ли первый портативный компьютер ирландской конструкции?» . Гениальная Ирландия . 17 октября 2012 г.
  31. ^ Л. Торрес Кеведо (1914). «Очерки по автоматике - ее определение. Теоретическое расширение ее применения». Журнал Академии точных наук, журнал 12 : 391–418.
  32. ^ Торрес Кеведо, Леонардо (19 ноября 1914 г.). «Автоматика: дополнение к теории машин» (PDF) . Журнал общественных работ . LXII (2043): 575–583.
  33. ^ Кнейзель, Рональд Т. (2017). Числа и компьютеры . Спрингер. стр. 84–85. ISBN  978-3319505084 .
  34. ^ Рэнделл, Б. (1982). «Электромеханическая счетная машина». Происхождение цифровых компьютеров . Спрингер. стр. 109–120. ISBN  9783540113195 .
  35. ^ Рэнделл, Брайан . «От аналитической машины к электронному цифровому компьютеру: вклад Ладгейта, Торреса и Буша» (PDF) . Архивировано из оригинала (PDF) 21 сентября 2013 года . Проверено 9 сентября 2013 г.
  36. ^ Пирс, CS, «Письмо Пирса А. Маркванду », датированное 1886 годом, Сочинения Чарльза С. Пирса , т. 5, 1993, стр. 421–23. См. Беркс, Артур В. , «Обзор: Чарльз С. Пирс, Новые элементы математики », Бюллетень Американского математического общества, т. 84, н. 5 (1978), стр. 913–18, см. 917. PDF Eprint .
  37. ^ Пирс, CS (рукопись зимой 1880–1881 гг.), «Булова алгебра с одной константой», опубликованная в 1933 году в Сборнике статей, т. 4, абзацы 12–20. Перепечатано в 1989 г. в «Сочинениях Чарльза С. Пирса», т. 4, стр. 218–21, Google [1] . См. Робертс, Дон Д. (2009), Экзистенциальные графики Чарльза С. Пирса , с. 131.
  38. ^ Ганс Кляйне Бюнинг; Теодор Леттманн (1999). Пропозициональная логика: дедукция и алгоритмы . Издательство Кембриджского университета. п. 2. ISBN  978-0-521-63017-7 .
  39. ^ Джон Берд (2007). Инженерная математика . Ньюнес. п. 532. ИСБН  978-0-7506-8555-9 .
  40. ^ Ямада, Акихико (2004). «История исследований теории переключения в Японии» . Транзакции IEEJ по основам и материалам . 124 (8). Институт инженеров-электриков Японии : 720–726. Бибкод : 2004IJTFM.124..720Y . дои : 10.1541/ieejfms.124.720 .
  41. ^ «Теория коммутации/Теория релейных сетей/Теория логической математики» . Компьютерный музей IPSJ . Общество обработки информации Японии .
  42. ^ Радомир С. Станкович ( Университет Ниша ), Яакко Т. Астола ( Технологический университет Тампере ), Марк Г. Карповский ( Бостонский университет ), Некоторые исторические замечания по теории переключения , 2007, DOI 10.1.1.66.1248
  43. ↑ Перейти обратно: Перейти обратно: а б Станкович, Радомир С. [на немецком языке] ; Астола, Яакко Тапио [на финском языке] , ред. (2008). Перепечатки из первых дней информационных наук: серия TICSP о вкладе Акиры Накашимы в теорию переключения (PDF) . Серия Международного центра обработки сигналов Тампере (TICSP). Том. 40. Технологический университет Тампере , Тампере, Финляндия. ISBN  978-952-15-1980-2 . ISSN   1456-2774 . Архивировано из оригинала (PDF) 8 марта 2021 г. {{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка ) (3+207+1 страницы) 10:00 мин.
  44. ^ Шеннон, Клод (2 февраля 2021 г.), «Символический анализ релейных и коммутационных схем (1938)» , Идеи, создавшие будущее , The MIT Press, стр. 71–78, doi : 10.7551/mitpress/12274.003.0010 , hdl : 1721.1/11173 , ISBN  978-0-262-36317-4 , S2CID   242857376 , получено 17 марта 2021 г.
  45. ^ Лайт, Дженнифер С. (1 июля 1999 г.). «Когда компьютеры были женщинами» . Технологии и культура . 40 (3): 455–483. дои : 10.1353/tech.1999.0128 . ISSN   1097-3729 . S2CID   108407884 .
  46. ^ Кислер, Сара; Спроролл, Ли; Экклс, Жаклин С. (1 декабря 1985 г.). «Бильярдные, фишки и военные игры: женщины в компьютерной культуре». Психология женщин Ежеквартально . 9 (4): 451–462. дои : 10.1111/j.1471-6402.1985.tb00895.x . ISSN   1471-6402 . S2CID   143445730 .
  47. ^ Фриц, ВБ (1996). «Женщины ЭНИАКа». IEEE Анналы истории вычислений . 18 (3): 13–28. дои : 10.1109/85.511940 .
  48. ^ Гюрер, Дениз (1 июня 2002 г.). «Женщины-новаторы в компьютерных науках». SIGCSE Bull . 34 (2): 175–180. дои : 10.1145/543812.543853 . ISSN   0097-8418 . S2CID   2577644 .
  49. ^ Гриер 2013 , с. 138.
  50. ^ «Гёдель и пределы логики» . plus.maths.org . 01.06.2006 . Проверено 1 мая 2020 г.
  51. ↑ Перейти обратно: Перейти обратно: а б Коупленд, Б. Джек (2019). «Тезис Чёрча-Тьюринга» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии (изд. весны 2019 г.). Лаборатория метафизических исследований Стэнфордского университета . Проверено 1 мая 2020 г.
  52. ↑ Перейти обратно: Перейти обратно: а б с д и ж г «Автоматическая вычислительная машина Тьюринга» . Современная история вычислительной техники . Стэнфордская энциклопедия философии . Лаборатория метафизических исследований Стэнфордского университета. 2017.
  53. ^ Баркер-Пламмер, Дэвид (14 сентября 1995 г.). «Машины Тьюринга» . Стэнфордская энциклопедия философии . Проверено 20 февраля 2013 г.
  54. ^ Бут, Кэтлин Х.В., «Машинный язык для компьютера с автоматическим реле», Вычислительная лаборатория колледжа Биркбек , Лондонский университет.
  55. ^ Рохас, Р. (1998). «Как сделать Zuse Z3 универсальным компьютером». IEEE Анналы истории вычислений . 20 (3): 51–54. дои : 10.1109/85.707574 . S2CID   14606587 .
  56. ^ Рохас, Рауль. «Как сделать Z3 Zuse универсальным компьютером» . Архивировано из оригинала 14 июля 2014 г.
  57. ↑ Выступление Хорста Цузе перед Обществом охраны компьютеров в Музее науки (Лондон) 18 ноября 2010 г.
  58. ^ «Новости BBC - Как Pilot ACE Алана Тьюринга изменил компьютерные технологии» . Новости Би-би-си . 15 мая 2010 г.
  59. ↑ Перейти обратно: Перейти обратно: а б «Первая «компьютерная ошибка» » . ЧИПСЫ . 30 (1). ВМС США: 18 января – март 2012 г. Проверено 03 декабря 2023 г.
  60. ^ Шеннон, Клод Элвуд (1964). Математическая теория связи . Уоррен Уивер. Урбана: Издательство Университета Иллинойса. ISBN  0-252-72548-4 . ОСЛК   2654027 .
  61. ^ Сюн, Айпин; Проктор, Роберт В. (2018). «Обработка информации: язык и аналитические инструменты когнитивной психологии в век информации» . Границы в психологии . 9 : 1270. doi : 10.3389/fpsyg.2018.01270 . ISSN   1664-1078 . ПМК   6092626 . ПМИД   30135664 .
  62. ^ «Архитектура фон Неймана — обзор | Темы ScienceDirect» . www.sciencedirect.com . Проверено 17 марта 2021 г.
  63. ↑ Перейти обратно: Перейти обратно: а б с Крагон, Харви Г. (2000). Компьютерная архитектура и реализация . Кембридж: Издательство Кембриджского университета. стр. 1–13 . ISBN  978-0-521-65168-4 .
  64. ^ «Аккумулятор» Деф. 3 . Оксфордские словари. Архивировано из оригинала 18 мая 2013 года.
  65. ^ Мур, Джеймс (15 декабря 2006 г.). «Конференция Дартмутского колледжа по искусственному интеллекту: следующие пятьдесят лет» . Журнал ИИ . 27 (4): 87. doi : 10.1609/aimag.v27i4.1911 . ISSN   2371-9621 .
  66. ^ Прюдом, Жерар (декабрь 2018 г.). Введение в программирование на языке ассемблера . Арклер Эдьюкейшн Инкорпорейтед. ISBN  978-1-77361-470-0 . OCLC   1089398724 .
  67. ^ Маккарти, Джон ; Лифшиц, Владимир (1991). Искусственный интеллект и математическая теория вычислений: статьи в честь Джона Маккарти . Академическая пресса. ISBN  0-12-450010-2 . OCLC   911282256 .
  68. ^ Хэнляйн, Майкл; Каплан, Андреас (2019). «Краткая история искусственного интеллекта: о прошлом, настоящем и будущем искусственного интеллекта» . Обзор менеджмента Калифорнии . 61 (4): 5–14. дои : 10.1177/0008125619864925 . ISSN   0008-1256 . S2CID   199866730 .
  69. ^ Баетен, Джос КМ; Болл, Том; де Бур, Фрэнк С., ред. (2012). Теоретическая информатика: 7-я Международная конференция IFIP TC 1/WG 2.2, TCS 2012, Амстердам, Нидерланды, 26-28 сентября 2012 г. Материалы . Конспекты лекций по информатике. Том. 7604. Берлин, Гейдельберг: Springer Berlin Heidelberg. дои : 10.1007/978-3-642-33475-7 . ISBN  978-3-642-33474-0 . S2CID   36796448 .
  70. ^ «Пост о творчестве | Что такое вычислительное творчество?» . Пост о творчестве . Проверено 4 марта 2021 г.

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

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

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

Викискладе есть медиафайлы по истории информатики .
Retrieved from "https://en.wikipedia.org/w/index.php?title=History_of_computer_science&oldid=1226779954"
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 156a0acb00e1d45f26d431ad0e2d80dd__1717260120
URL1:https://arc.ask3.ru/arc/aa/15/dd/156a0acb00e1d45f26d431ad0e2d80dd.html
Заголовок, (Title) документа по адресу, URL1:
History of computer science - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)