✖


Jump to content

Список пионеров информатики

(Перенаправлено с Компьютерного пионера )

Это список людей, совершивших революционные прорывы в создании, разработке и представлении того, на что компьютеры способны .

Пионеры [ править ]

Достижение
дата 		Человек Достижение
1977 Адлеман, Леонард Гениальный вклад и применение криптографии с открытым ключом на практике.
1944 Эйкен, Ховард Задумал и стал соавтором Harvard Mark I.
830~ Аль-Хорезми Термин «алгоритм» происходит от алгоритма , техники выполнения арифметических действий с индийско-арабскими цифрами , популяризированной аль-Хорезми в его книге «О расчетах с индуистскими цифрами» . [1] [2] [3]
1970, 1989 Аллен, Фрэнсис Э. Разработана бит-векторная нотация и графы потока управления программой ; первая женщина -стипендиат IBM (1989 г.); ACM первая женщина-лауреат Премии Тьюринга (2006).
1939 Атанасов, Джон Создал первый электронный цифровой компьютер, компьютер Атанасова-Берри , хотя он не был ни программируемым, ни полным по Тьюрингу .
1822, 1837 Бэббидж, Чарльз Создал концепцию программируемого компьютера общего назначения; разработал аналитическую машину и построил прототип менее мощного механического калькулятора .
1973 Бахман, Чарльз Выдающийся вклад в технологию баз данных . [4]
1954, 1963 Бэкус, Джон Возглавил группу, которая создала FORTRAN ( ) перевод формул , , первый практический язык программирования высокого уровня, и сформулировала форму Бэкуса-Наура описывающую формальный синтаксис языка .
850~ Бану Муса Три брата, написавшие « Книгу гениальных устройств» , в которой описывалась первая программируемая машина — автоматический флейтист . [5]
1960–1964 Баран, Пол Один из двух независимых изобретателей концепции цифровой коммутации пакетов , используемой в современных компьютерных сетях, включая Интернет . [6] [7] Опубликовал серию брифингов и статей о разделении информации на «блоки сообщений» и отправке их по распределенным сетям (1960–1964). [8] [9]
1874 Бодо, Эмиль французский телеграфный инженер; запатентовал код Бодо — первое средство цифровой связи. [10] единица модема — измерения скорости бод В его честь названа .
1960-е годы Бауэр, Фридрих Л. предложил стек для оценки выражений Совместно с Эдсгером В. Дейкстрой . Влиятельный на становление информатики как независимой научной дисциплины; ввел термин «программная инженерия» . Внес вклад в численный анализ , основы интерпретации и трансляции языков программирования, систематику разработки программ, трансформацию программ и криптологию .
1953 Беллман, Ричард Э. Американский прикладной математик , представивший динамическое программирование (1953).
2018 Бенджио, Йошуа ; Хинтон, Джеффри ; Лекун, Янн Концептуальные и инженерные прорывы, которые сделали глубокие нейронные сети важнейшим компонентом вычислений. [11]
1989, 1990 Бернерс-Ли, Тим Изобрёл Всемирную паутину и осуществил первую HTTP-связь между клиентом и сервером. [12]
1995 Блюм, Мануэль Вклад в основы теории сложности вычислений и ее применение в криптографии и проверке программ. [13]
1966 Бём, Коррадо Теоретизировал концепцию структурного программирования .
1847, 1854 Буль, Джордж Формализованная булева алгебра , основа цифровой логики и информатики.
1947 Бут, Кэтлин Изобрел первый язык ассемблера .
1969, 1978 Бринч Хансен, Пер Разработал мультипрограммную систему RC 4000 , которая ввела концепцию ядра операционной системы и разделение политики и механизма ; фактически первая микроядерная архитектура. [14] Совместно разработал монитор с Тони Хоаром и создал первую реализацию монитора. [15] Реализована первая форма удаленного вызова процедур в RC 4000. [14] и был первым, кто предложил удаленные вызовы процедур в качестве концепции структурирования распределенных вычислений . [16]
1959, 1995 Брукс, Фред Менеджер IBM System/360 и OS/360 проектов ; автор книги «Мифический человеко-месяц» .
1908 Брауэр, Луитцен Эгбертус Ян Основал интуиционистскую логику , которая впоследствии получила широкое распространение в помощниках по доказательству .
1954 Бёркс, Артур Предложил обратную польскую нотацию вместе с Доном Уорреном и Джесси Райтом в 1954 году, не зная о более раннем использовании постфиксной нотации Конрадом Цузе в его Z3 в 1941 году, а затем независимо заново изобретенную Фридрихом Л. Бауэром и Эдсгером В. Дейкстрой для использования со стеками .
1930 Буш, Ванневар Пионер аналоговых вычислений; создатель концепции Memex , которая привела к развитию гипертекста.
1951 Уокер, Дэвид Совместно с Джоном Пинкертоном разработал компьютер LEO , первый бизнес-компьютер для компании J. Lyons and Co.
1974 Кэтмелл, Эдвин Пионер компьютерной графики (CGI) и 3D-графики, разработавший наложение текстур , подразделения поверхности Кэтмулла-Кларка алгоритм (совместно с Джимом Кларком ) и сплайн Кэтмулла-Рома (совместно с Рафаэлем Ромом) . Бывший вице-президент Industrial Light & Magic и соавтор основатель и бывший президент Pixar
1978 Олень, Винт Совместно с Бобом Каном разработали протокол управления передачей и интернет-протокол ( TCP/IP ), основные протоколы передачи данных в Интернете и других компьютерных сетях.
1956 Хомский, Ноам Внес вклад в информатику своей работой в области лингвистики . Разработал иерархию Хомского , напрямую повлиявшую на теорию языков программирования и другие отрасли информатики.
1936 Церковь, Алонсо Внес фундаментальный вклад в теоретическую информатику, в частности в развитие теории вычислимости в форме лямбда-исчисления . Независимо от Алана Тьюринга сформулировал то, что сейчас известно как тезис Чёрча-Тьюринга , и доказал, что первого порядка неразрешима логика .
1962 Кларк, Уэсли А. Разработан LINC , первый функциональный компьютер, уменьшенный по размеру и доступный по цене для индивидуальных пользователей (1963 г.). Многие его особенности считаются прототипами основных элементов персональных компьютеров.
1981 Кларк, Эдмунд М. разработал проверку моделей и формальную верификацию программного и аппаратного обеспечения Совместно с Э. Алленом Эмерсоном .
1987 Кок, Джон Значительный вклад в проектирование и теорию компиляторов, архитектуру больших систем и разработку компьютеров с сокращенным набором команд (RISC).
1970 Кодд, Эдгар Ф. Предложила и формализовала реляционную модель управления данными, теоретические основы реляционных баз данных.
1971 Конвей, Линн Суперскалярная архитектура с динамическим планированием выполнения нескольких задач вне порядка
1967 Кук, Стивен Формализовал понятие NP-полноты, вдохновив на большое количество исследований в области теории сложности вычислений.
1965 Кули, Джеймс Совместно с Джоном В. Тьюки создал быстрое преобразование Фурье.
1944 Кумбс, Аллен Спроектировал и построил компьютеры Mark II Colossus ; заменил версию Mark I (которая была первым в мире цифровым электронным вычислительным устройством)
1989 Корбато, Фернандо Х. Новаторская работа по организации концепций и руководству разработкой универсальных, крупномасштабных компьютерных систем с разделением времени и ресурсов CTSS и Multics.
1964 – 1996 Крэй, Сеймур Разработал серию компьютеров, которые десятилетиями были самыми быстрыми в мире; и основал Cray Research, которая построила многие из них; приписывают создание суперкомпьютерной индустрии
1978, 1993 Катлер, Дэвид Н. Крупный пионер проектирования операционных систем, работавший в Digital Equipment Corporation и Microsoft , где он был ведущим инженером ядер VMS и Windows NT (соответственно).
1962 Даль, Оле-Йохан Вместе с Кристен Найгаард изобрела протообъектно-ориентированный язык SIMULA.
1965 Дэвис, Дональд Один из двух независимых изобретателей концепции цифровой коммутации пакетов , используемой в современных компьютерных сетях, включая Интернет . [6] [17] Придумал и назвал концепцию сетей передачи данных (1965–66). [18] [19] Многие из глобальных сетей с коммутацией пакетов 1970-х годов, включая ARPANET , были «почти во всех отношениях» похожи на его первоначальный проект 1965 года. [20]
1976 Диффи, Уитфилд Фундаментальный вклад в современную криптографию. Инновационная статья Диффи и Хеллмана 1976 года «Новые направления в криптографии». [21] представил идеи криптографии с открытым ключом и цифровых подписей, которые являются основой протоколов безопасности, используемых сегодня в Интернете. [22]
1968 Дейкстра, Эдсгер В. Впервые разработал алгоритм кратчайшего пути ; ввел термин структурное программирование ; изобрел семафор ; как известно, предположил, что оператор GOTO следует считать вредным.
1918 Экклс, Уильям и Джордан, Фрэнк Уилфред Запатентована триггерная схема Экклса-Джордана. [23] так называемый «бистабильный триггер », строительный блок всех ячеек цифровой памяти . Их концепция, построенная на электронных лампах , сыграла важную роль в успехе компьютера для взлома кодов «Колосс» .
1943, 1951 Эккерт, Дж. Преспер С Джоном Моучли спроектировал и построил ENIAC , первый современный (полностью электронный, полный по Тьюрингу) компьютер; и UNIVAC I , первый коммерчески доступный компьютер.
1981 Эмерсон, Э. Аллен разработал проверку моделей и формальную верификацию программного и аппаратного обеспечения. Совместно с Эдмундом М. Кларком
1963 Энгельбарт, Дуглас Наиболее известен изобретением компьютерной мыши вместе с Биллом Инглишем ; пионер взаимодействия человека и компьютера, чья команда Augment разработала гипертекст , сетевые компьютеры и предшественники графических интерфейсов.
1971 Фаггин, Федерико Разработан первый коммерческий микропроцессор Intel 4004.
1994 Фейгенбаум, Эдвард Пионер в проектировании и создании крупномасштабных систем искусственного интеллекта, демонстрирующий практическую важность и потенциальное коммерческое влияние технологии искусственного интеллекта. [24]
1974 Фейнлер, Элизабет Ведущая группа, которая определила простой формат текстового файла для имен хостов в Интернете, который стал системой доменных имен ; ее группа стала органом по именованию доменов верхнего уровня .mil, .gov, .edu, .org и .com.
1943 Цветы, Томми Спроектировал и построил компьютер Mark I Colossus , первое в мире программируемое цифровое электронное вычислительное устройство.
1978 Флойд, Роберт В. Оказывал явное влияние на методологии создания эффективного и надежного программного обеспечения; помог основать следующие важные разделы информатики : теория синтаксического анализа , семантика языков программирования, автоматическая верификация программ , автоматический синтез программ и анализ алгоритмов. [25]
1994 Флойд, Салли Основал область активного управления очередью; соавтор технологии Random Early Detection , используемой почти во всех интернет-маршрутизаторах.
1879 Фреге, слава богу Расширенная аристотелевская логика с исчислением предикатов первого порядка независимо от Чарльза Сандерса Пирса , важнейшего предшественника теории вычислимости ; также актуально для ранних работ по искусственному интеллекту , логическому программированию.
1985 Фербер, Стивен
Уилсон, Софи 		Возглавить создание 32-битного RISC-микропроцессора ARM. [26]
1958, 1961, 1967 Гинзбург, Сеймур Доказанная « беззаботная » минимизация схемы не обязательно дает оптимальные результаты; доказал, что язык программирования АЛГОЛ является контекстно-свободным (связывая теорию формального языка с проблемой написания компилятора ); изобрел теорию AFL
1931 Гёдель, Курт Доказал, что арифметика Пеано не может быть одновременно логически последовательной и полной в исчислении предикатов первого порядка . Черч, Клини и Тьюринг разработали основы теории вычислений, основанные на выводах из работы Гёделя.
1989 Гольдвассер, Шафи изобрёл доказательства с нулевым разглашением Вместе с Микали и Ракоффом ; она и Микали получили Премию Тьюринга за эту и другие работы (2012).
2011 Грэм, Сьюзен Л. [ чрезмерный вес? - обсуждать ] Награжден медалью Джона фон Неймана IEEE 2009 года за «вклад в разработку и реализацию языков программирования, а также за образцовое служение информатике».
1953 Грей, Фрэнк Физик и исследователь из Bell Labs , разработал отраженный двоичный код (RBC) или код Грея . [27] Методологии Грея используются для обнаружения и исправления ошибок в цифровых системах связи, таких как QAM в цифровых абонентских линий сетях .
1974, 2005 Грей, Джим Инноватор в области систем баз данных и обработки транзакций реализации .
1986, 1990 Гросс, Барбара [ чрезмерный вес? - обсуждать ] Создал первую компьютерную модель дискурса , создав область исследований и повлияв на технологии обработки языка; разработала SharedPlans модель для совместной работы в мультиагентных системах
1988, 2015 Густавсон, Джон Экспериментально и теоретически доказал жизнеспособность параллельных вычислений; сформулировал закон Густавсона ; разработали высокоэффективные форматы представления действительных чисел Unum и Posit
1971 Гамильтон, Маргарет Разработал концепции асинхронного программного обеспечения, планирования приоритетов, сквозного тестирования и возможности принятия решений человеком в цикле, таких как отображение приоритетов, которые затем стали основой для разработки сверхнадежного программного обеспечения.
1950 Хэмминг, Ричард Созданы поля кода исправления ошибок , кода Хэмминга , матрицы Хэмминга , окна Хэмминга , чисел Хэмминга , сферы-упаковки (или границы Хэмминга ) и расстояния Хэмминга ; [28] [29] разработал концепцию идеального кода [30] [31]
1956, 1958, 1974 Дилер, Вольфганг Новаторские работы в области теории автоматов , параллельных вычислений , искусственного интеллекта , человеко-машинных интерфейсов и компьютерной графики ; один из ведущих архитекторов суперкомпьютера TR 4 [ de ] ; изобрел диаграммы Гендлера для минимизации логических функций ; разработал Эрлангенскую систему классификации [ de ] (ECS) для параллельных компьютеров.
2019 Ханрахан, Пэт Фундаментальный вклад в компьютерную 3D-графику, оказавший революционное влияние на компьютерные изображения (CGI) в кинопроизводстве и других приложениях.
1993 Хартманис, Юрис Основы теории сложности вычислений [32]
1981, 1995, 1999 Хейлсберг, Андерс Автор Turbo Pascal в Borland ; главный архитектор Дельф ; дизайнер и ведущий архитектор C# в Microsoft
1976 Хеллман, Мартин Фундаментальный вклад в современную криптографию. Инновационная статья Диффи и Хеллмана 1976 года «Новые направления в криптографии» [21] представил идеи криптографии с открытым ключом и цифровых подписей, которые являются основой протоколов безопасности в современном Интернете. [22]
2017 Хеннесси, Джон Л. Пионер системного, количественного подхода к проектированию и оценке компьютерных архитектур, оказавшего неизгладимое влияние на микропроцессорную промышленность.
2008, 2012, 2018 Хинтон, Джеффри Популяризировал и позволил использовать искусственные нейронные сети и глубокое обучение , одни из наиболее успешных инструментов в современных по искусственному интеллекту усилиях ; получил премию Тьюринга (2018) за концептуальные и инженерные прорывы, которые сделали глубокие нейронные сети важнейшим компонентом вычислений. [11]
1961, 1969, 1978, 1980 Хоар, АВТОМОБИЛЬ Разработал формальный язык Communicating Sequential Processes (CSP), логику Хоара для проверки правильности программы и быструю сортировку ; фундаментальный вклад в определение и проектирование языков программирования
1968 Холбертон, Бетти Написал первое слияние сортировки мэйнфреймов на Univac.
1889 Холлерит, Герман Широко известный как отец современной машинной обработки данных , его изобретение табулирующей машины с перфокартами ознаменовало начало эры полуавтоматических обработки данных систем .
1986 Хопкрофт, Джон Фундаментальные достижения в разработке и анализе алгоритмов и структур данных
1952 Хоппер, Грейс Пионер работы над необходимостью языков программирования высокого уровня, которые она назвала автоматическим программированием ; написал AO- компилятор , который сильно повлиял на COBOL язык
1997 Сюй Фэн-сюн Работа, приведшая к созданию шахматного компьютера Deep Thought ; архитектор и главный конструктор IBM Deep Blue шахматного компьютера победил действующего чемпиона мира по шахматам , Гарри Каспарова который в 1997 году .
1952 Хаффман, Дэвид Создано кодирование Хаффмана.
1952 Херд, Катберт Помог IBM разработать свой первый компьютер общего назначения IBM 701.
1945, 1953 Хаски, Гарри Вклад в разработку первых компьютеров, включая ENIAC , EDVAC , Pilot ACE , EDVAC , SEAC , SWAC и Bendix G-15 (последний описывается как первый персональный компьютер , которым управляет один человек)
1954, 1962 Айверсон, Кеннет Помог организовать и преподавал первый курс для аспирантов по информатике (в Гарварде ); изобрел язык программирования APL ; вклад в интерактивные вычисления
1801 Жаккард, Жозеф Мари Создал и продемонстрировал жаккардовый ткацкий станок — программируемый механизированный ткацкий станок, управляемый лентой, сделанной из перфокарт.
1206 Аль-Джазари Изобретены программируемые машины, в том числе программируемые роботы-гуманоиды . [33] и замковые часы , астрономические часы, считающиеся первым программируемым аналоговым компьютером. [34]
1989 Кахан, Уильям Фундаментальный вклад в численный анализ ; ведущий эксперт по вычислениям с плавающей запятой ; посвященный «сделать мир безопасным для численных вычислений»
1978 Кан, Боб Разработан протокол управления передачей и интернет-протокол ( TCP/IP ), основные протоколы передачи данных в Интернете и других компьютерных сетях.
1952, 1953 Карно, Морис Создатель карты Карно , вариации Эдварда Вейча карты Вейча ; повторное открытие Аллана Маркванда, гораздо более ранней логической диаграммы используемой для минимизации логических функций.
1985 Карп, Ричард М. Вклад в теорию алгоритмов, включая разработку эффективных алгоритмов для сетевых потоков и других задач комбинаторной оптимизации; идентифицировал вычислимость за полиномиальное время с интуитивным понятием алгоритмической эффективности; внес вклад в теорию NP-полноты.
1973 Карпински, Яцек Разработал первый дифференциальный анализатор на транзисторах; разработал один из первых алгоритмов машинного обучения для распознавания символов и изображений; изобрел один из первых миникомпьютеров К-202.
1970~ Привет, Алан Пионер многих идей, лежащих в основе объектно-ориентированных языков программирования; руководил командой, разработавшей Smalltalk ; внес фундаментальный вклад в развитие персональных компьютеров
1948-1990-е годы Килберн, Том Вместе с Фредди Уильямсом он работал над трубкой Уильямса-Килберна и разработал первый в мире электронный компьютер с хранимой программой Manchester Baby, работая в Манчестерском университете. Его работа вывела Манчестер и Великобританию на передовые позиции развивающейся области компьютерных наук. Он также работал над разработкой Атласа, одного из самых мощных суперкомпьютеров 1960-х годов.
1972–1994 Килдалл, Гэри Ввел теорию анализа потоков данных при оптимизации компиляторов (оптимизация глобальных выражений, метод Килдалла ). Работал над эмуляторами набора команд ( INTERP ), нашел инновационный метод программного перемещения ( page border relocation ) и заложил основу концепции двоичной перекомпиляции ( XLT86 ). Разработал первый язык программирования высокого уровня и компилятор для микрокомпьютеров ( PL/M ) и первую массовую операционную систему для микрокомпьютеров ( CP/M ). Изобрел концепцию уровня абстракции оборудования , называемого BIOS , оба концептуально закладывают основу для всех DOS операционных систем на базе на персональных компьютерах . Работал над дискет дорожек схемами буферизации , упреждающего чтения алгоритмами , виртуальными дисками и файловой системы кэшированием . Разработал первый компьютерный интерфейс для видеодисков и ввел файловую систему CD-ROM , представив первую энциклопедию для компьютеров ( «Электронная энциклопедия» ). Впервые разработал модульную УАТС, систему связи объединяющую стационарные и мобильные телефоны ( Intelliphone ) и для удаленного подключения к бытовой технике .
1957 Кирш, Рассел Грей Работая в Национальном бюро стандартов (NBS), Кирш использовал недавно разработанный сканер изображений для сканирования и хранения первой цифровой фотографии . [35] Его отсканированная фотография трехмесячного сына была названа Life журналом одной из «100 фотографий, которые изменили мир».
1961–1970-е годы Клейнрок, Леонард он стал пионером в применении теории массового обслуживания для моделирования задержек в сетях коммутации сообщений. В своей докторской диссертации диссертация в 1961–1962 гг., Опубликована в виде книги в 1964 г. [36] Позже он опубликовал несколько стандартных работ по этой теме. В начале 1970-х годов он применил теорию массового обслуживания для моделирования производительности сетей с коммутацией пакетов . Эта работа сыграла влиятельную роль в развитии ARPANET , предшественника Интернета . Он руководил аспирантами, работавшими над первыми протоколами связи для ARPANET. Его теоретическая работа по иерархической маршрутизации, проведенная в конце 1970-х годов совместно со студентом Фаруком Камуном, остается решающей для работы Интернета и сегодня.
1936 Клини, Стивен Коул Пионер работы с Алонзо Чёрчем над лямбда-исчислением , впервые заложившим основы теории вычислений.
1968, 1989 Кнут, Дональд Написал «Искусство компьютерного программирования» и создал TeX . Ввел термин «анализ алгоритмов» и внес значительный вклад в эту область, включая популяризацию нотации Big O.
1990-1993 Лам, Саймон С. Лам был введен в Зал славы Интернета (2023 г.) Интернет-сообществом за «изобретение безопасных сокетов в 1991 году и внедрение первого уровня безопасных сокетов, получившего название SNP, в 1993 году». [37] В 1990 году ему пришла в голову идея нового подуровня безопасности в стеке протоколов Интернета. Таким образом, программистам приложений не нужно много знать о деталях реализации безопасности. Кроме того, верхний интерфейс подуровня позволит внести изменения в реализацию в будущем. Идея Лама о подуровне, который предлагает приложениям «интерфейс защищенных сокетов», была новаторской и радикально отличалась от современных исследований безопасности интернет-приложений (например, Kerberos Массачусетского технологического института, 1988-1992). SNP был создан для Интернет-приложений в целом. Последующие уровни безопасных сокетов, SSL и TLS , разработанные годы спустя для коммерческих браузеров, следовали той же архитектуре и ключевым идеям SNP. Сегодня TLS 1.3 используется не только для всех приложений электронной коммерции (банковских операций, покупок и т. д.) в WWW, но также для электронной почты и многих других интернет-приложений.
1950-1960 Ламарр, Хеди В начале Второй мировой войны она и композитор Джордж Антейл разработали систему радионаведения для союзников торпед , которая использовала технологию расширения спектра и скачкообразной перестройки частоты для устранения угрозы помех со стороны держав Оси . Хотя ВМС США не принимали эту технологию на вооружение до 1960-х годов, принципы их работы заложены в технологии Bluetooth и GPS и аналогичны методам, используемым в устаревших версиях CDMA и Wi-Fi . Эта работа привела к их включению в Национальный зал славы изобретателей в 2014 году.
1974, 1978 Лэмпорт, Лесли Сформулированы алгоритмы для решения многих фундаментальных задач в распределенных системах (например, алгоритм пекарни ).
Разработал концепцию логических часов , обеспечивающую синхронизацию между распределенными объектами на основе событий, посредством которых они общаются. Создал Латекс .
1972 Лэмпсон, Батлер В. Разработка распределенных, персональных вычислительных сред и технологий их реализации: рабочие станции , сети , операционные системы , системы программирования, дисплеи , безопасность и публикация документов .
1964-1966 Ландин, Питер Использовал лямбда-исчисление для формального определения семантики языков программирования и разработал ранний функциональный язык программирования под названием ISWIM .
1951 Lebedev, Sergei Alekseyevich Самостоятельно спроектировал первую электронную вычислительную машину в Советском Союзе МЭСМ в Киеве, Украина.
1670~ Лейбниц, Готфрид Достигнуты успехи в области символической логики, такие как « Расчетное исчисление» , которые оказали большое влияние на Готтлоба Фреге . Он предвосхитил более поздние разработки в исчислении предикатов первого порядка , которые имели решающее значение для теоретических основ информатики.
1960 Ликлайдер, JCR Начал исследование взаимодействия человека и компьютера, что привело ко многим достижениям в области компьютерных интерфейсов, а также кибернетики и искусственного интеллекта .
1987 Лисков, Варвара Разработал принцип подстановки Лискова , гарантирующий семантическую интероперабельность типов данных в иерархии.
1300~ Луллий, Рамон Разработал несколько машин символических представлений и ввел понятия символического представления и манипулирования для получения знаний — оба из которых оказали большое влияние на Лейбница .
1852 Лавлейс, Ада Английский математик и писатель, в основном известный своей работой над предложенным Чарльзом Бэббиджем механическим компьютером общего назначения « Аналитическая машина» . Она была первой, кто осознал, что у машины есть приложения, выходящие за рамки чистых вычислений, и создал первый алгоритм, предназначенный для выполнения такой машиной. В результате ее часто считают первой, кто осознал весь потенциал «вычислительной машины», и первым программистом.
1909 Ладгейт, Перси Чарльз Бэббидж в 1843 году и Перси Ладгейт в 1909 году разработали первые две аналитические машины в истории. Двигатель Ладгейта использовал в качестве своей основы умножение (с использованием его собственных дискретных ирландских логарифмов ), имел первый умножитель-аккумулятор (MAC), первым использовал MAC для выполнения деления, сохранял числа в виде смещений стержней в шаттлах и имел несколько других новаторских решений. возможности, в том числе для программного управления.
1971 Мартин-Лёф, Пер Опубликовал ранний вариант теории типов, многие помощники по доказательству на которой основываются .
1943, 1951 Мочли, Джон Вместе с Дж. Преспером Эккертом он спроектировал и построил ENIAC , первый современный (полностью электронный, полный по Тьюрингу) компьютер, и UNIVAC I , первый коммерчески доступный компьютер. Также работал над BINAC (1949), EDVAC (1949), UNIVAC (1951) с Грейс Хоппер и Джин Бартик для разработки первых с хранимыми программами компьютеров .
1958 Маккарти, Джон Изобрел LISP , функциональный язык программирования .
1956, 2012 Маккласки, Эдвард Дж. Фундаментальный вклад, который сформировал проектирование и тестирование цифровых систем, включая первый алгоритм цифрового логического синтеза, метод минимизации логики Куайна-МакКласки.
1986 Мейер, Бертран Разработал дизайн по контракту под видом языка программирования Eiffel .
2012 Микали, Сильвио За революционную работу, которая заложила основы теории сложности для науки криптографии и в процессе разработала новые методы эффективной проверки математических доказательств в теории сложности.
1991 Милнер, Робин 1) LCF , механизация логики вычислимых функций Скотта, вероятно, первый теоретически обоснованный, но практический инструмент для машинного построения доказательств ; 2) ML , первый язык, включающий полиморфный вывод типов вместе с типобезопасным механизмом обработки исключений ; 3) CCS , общая теория параллелизма . Кроме того, он сформулировал и сильно развил полную абстракцию , исследование взаимосвязи между операционной и денотационной семантикой . [38]
1963 Мински, Марвин Соучредитель лаборатории искусственного интеллекта Массачусетского технологического института , автор нескольких текстов по искусственному интеллекту и философии. Критик перцептрона .
1968 Мур, Чарльз Х. Изобретатель языка программирования Форт .
2008 Сатоши Накамото Анонимный валюты создатель или создатели Биткойна , первой одноранговой цифровой . В официальном документе Накамото 2008 года была представлена ​​концепция блокчейна — структуры базы данных, которая позволяет полностью доверять децентрализованному и распределенному общедоступному реестру транзакций криптовалюты. [39]
1934, 1938 Акира Накашима Инженер NEC представил теорию коммутационных цепей в статьях с 1934 по 1936 год, заложив основы проектирования цифровых схем , цифровых компьютеров и других областей современных технологий.
1960 Наур, Питер Отредактировал пересмотренный отчет ALGOL 60 , введя форму Бэкуса-Наура.
1945 Нойманн, Джон фон Сформулировал архитектуру фон Неймана , на которой основано большинство современных компьютеров.
1956 Ньюэлл, Аллен Вместе с Джей Си Шоу [40] и Герберт Саймон, эти трое написали в соавторстве Logic Theorist, первую настоящую программу искусственного интеллекта на первом языке обработки списков, оказавшем влияние на LISP.
1943 Ньюман, Макс Инициировал производство компьютеров Colossus в Блетчли-Парке . После Второй мировой войны он основал Лабораторию вычислительных машин в Манчестерском университете , где разработал проект по созданию первого в мире компьютера с хранимой программой — Manchester Baby .
1962 Найгаард, Кристен Вместе с Оле-Йоханом Далем изобрел прото-объектно-ориентированный язык SIMULA .
1642 Паскаль, Блез Изобрел механический калькулятор .
V век до нашей эры Панини Изобрел первую формальную грамматику . Также дал ранние формы формы Бэкуса-Наура. [41]
2017 Паттерсон, Дэвид За новаторство в систематическом, количественном подходе к проектированию и оценке компьютерных архитектур, оказавшем долгосрочное влияние на микропроцессорную промышленность.
2011 Перл, Иудея Фундаментальный вклад в искусственный интеллект посредством разработки вероятностных и причинно-следственных рассуждений. [42]
1952 Перлис, Алан О проекте «Вихрь» , член команды, разработавшей язык программирования АЛГОЛ , и первый лауреат премии Тьюринга.
1985 Перлман, Радия изобрел протокол связующего дерева (STP), который является фундаментальным для работы сетевых мостов Во время работы в Digital Equipment Corporation . Провел обширные и инновационные исследования, особенно в области шифрования и сетей. В 2007 году она получила, среди многих других, премию USENIX за заслуги перед жанром.
1964 Перотто, Пьер Джорджо [ чрезмерный вес? - обсуждать ] Компьютерный дизайнер Olivetti разработал один из первых электронных программируемых калькуляторов Programma 101. [43] [44] [45]
1932 Питер, Роуз Опубликовал серию статей, обосновывающих теорию рекурсии как отдельную область математических исследований, заложивших основу теоретической информатики.
1995 Пикард, Розалинда [ чрезмерный вес? - обсуждать ] Основал Affective Computing и заложил основы для придания компьютерам навыков эмоционального интеллекта.
1996 Пнуэли, Амир За внедрение темпоральной логики в информатику и за выдающийся вклад в верификацию программ и систем . [46]
1936 Пост, Эмиль Л. Независимо от Тьюринга разработал машину Поста как модель вычислений. Известен также разработкой таблиц истинности , проблемой соответствия Поста , используемой в теории рекурсии, а также доказательством того, что известно как теорема Поста .
1976 Рабин, Майкл О. Совместная статья «Конечные автоматы и проблемы их решения», [47] который представил идею недетерминированных машин , которая оказалась чрезвычайно ценной концепцией. Их классическая статья (Скотта и Рабина) стала постоянным источником вдохновения для последующих работ в этой области. [48] [49]
1994 Редди, Радж Пионер в разработке и создании крупномасштабных систем искусственного интеллекта, демонстрирующий практическую важность и потенциальное коммерческое влияние технологии искусственного интеллекта. [24]
1967–2011 Ричи, Деннис Вместе с Кеном Томпсоном он стал пионером языка программирования C и компьютерной операционной системы Unix в Bell Labs.
1977 Ривест, Рон Гениальный вклад и применение криптографии с открытым ключом на практике.
1958–1960 Розен, Саул Разработал программное обеспечение первого компьютера на транзисторах. Также повлиял на язык программирования АЛГОЛ.
1975, 1985 Рубин, Филипп Разработал новаторские системы вычислительного синтеза речи для использования в экспериментальном исследовании восприятия и производства речи, включая артикуляционный синтез и синтез синусоидальных волн . Также разработал систему обработки сигналов HADES , предшественницу MATLAB .
1910 Рассел, Бертран Внес вклад в информатику своей работой по математической логике (пример: функция истинности ). Ввел понятие теории типов . Он также представил систему типов (вместе с Альфредом Нортом Уайтхедом ) в своей работе Principia Mathematica .
1975 Солтон, Джерард [ чрезмерный вес? - обсуждать ] Пионер автоматического поиска информации , предложивший модель векторного пространства и инвертированный индекс .
1962 Вельвет, Джин Э. Разработал язык программирования FORMAC . Она также была первой, кто подробно написал об истории и классификации языков программирования в 1969 году, а в 1974 году стала первой женщиной-президентом Ассоциации вычислительной техники .
1880, 1898 Сандерс Пирс, Чарльз Доказана функциональная полнота вентиля НО . Предложил реализацию логики посредством электрических цепей за десятилетия до Клода Шеннона . Расширенная аристотелевская логика с исчислением предикатов первого порядка , независимо от Готлоба Фреге , важнейшего предшественника теории вычислимости . Также актуально для ранних работ по искусственному интеллекту , логическому программированию .
1976 Скотт, Дана Совместная статья «Конечные автоматы и проблемы их решения», [47] который представил идею недетерминированных машин , которая оказалась чрезвычайно ценной концепцией. Их классическая статья (Скотта и Рабина) стала постоянным источником вдохновения для последующих работ в этой области. [48] [49]
1977 Шамир, Ади Гениальный вклад и применение криптографии с открытым ключом на практике.
1937, 1948 Шеннон, Клод Основал теорию информации и заложил основы практического проектирования цифровых схем.
1971 Сима Масатоши Разработал Intel 4004 , первый коммерческий микропроцессор . [50] [51] а также микропроцессоры Intel 8080 , Zilog Z80 и Zilog Z8000 , а также чипы Intel 8259 , 8255 , 8253 , 8257 и 8251 . [52]
2007 Сифакис, Джозеф Превращение проверки моделей в высокоэффективную технологию проверки, широко используемую в отрасли аппаратного и программного обеспечения. [53]
1956, 1957 Саймон, Герберт А. Политолог и экономист, пионер искусственного интеллекта . Соавтор программ Logic Theory Machine и General Issue Solver .
1953 Крэк Джонс, Карен [ чрезмерный вес? - обсуждать ] Один из пионеров поиска информации и обработки естественного языка .
1972 Столлман, Ричард Столлман запустил проект GNU в сентябре 1983 года с целью создания Unix-подобной компьютерной операционной системы, полностью состоящей из свободного программного обеспечения. Этим он также положил начало движению за свободное программное обеспечение.
1993 Стернс, Ричард Э. Основы теории сложности вычислений . [32]
1981 Stepanov, Alexander Степанов — один из пионеров универсального программирования , а также основной разработчик и разработчик C++ стандартной библиотеки шаблонов .
1937, 1941 Стибиц, Джордж Р. Отец современных цифровых вычислений и удаленного поиска работы . Ввел термин «цифровой». Обнаружен отраженный двоичный код, известный как код Грея . Его именем также назван код Excess-3 ( код Стибитца ).
1982 Стоунбрейкер, Майкл Произвел революцию в области систем управления базами данных (СУБД) и основал несколько успешных компаний, занимающихся базами данных.
1979 Страуструп, Бьерн Изобрел C++ в Bell Labs
1963 Сазерленд, Иван Автор Sketchpad , прародителя современных программ автоматизированного черчения (САПР) и одного из ранних примеров объектно-ориентированного программирования .
1986 Тарьян, Роберт Фундаментальные достижения в разработке и анализе алгоритмов и структур данных.
1973 Такер, Чарльз П. Новаторский дизайн и реализация Xerox Alto , первого современного персонального компьютера, а также вклад в развитие Ethernet и планшетных ПК.
1972, 1973 Ти, Андре Труонг Тронг и Франсуа Жернель [ чрезмерный вес? - обсуждать ] Изобретение Micral N , первого коммерческого персонального компьютера без комплекта на базе микропроцессора .
1967 Томпсон, Кен Создал операционную систему Unix , язык программирования B , операционную систему Plan 9 , первую машину, получившую рейтинг мастера в шахматах, а также кодировку UTF-8 в Bell Labs и язык программирования Go в Google.
1993 Да, Чай Улитка Создана мобильная ad hoc сеть; В 1998 году реализовал первую работающую беспроводную одноранговую сеть портативных компьютеров с использованием ОС Linux, радиомодулей Lucent WaveLan 802.11 и нового протокола распределенной маршрутизации, прозрачного для TCP/UDP/IP.
1912, 1914 Торрес Кеведо, Леонардо В 1912 году Леонардо Торрес Кеведо построил El Ajedrecista ( «Шахматист» ), одну из первых автономных машин, способных играть в шахматы. В отличие от управляемых человеком Турка и Аджиба , Эль-Ахедрециста был настоящим автоматом, созданным для игры в шахматы без человеческого руководства. Он разыгрывал эндшпиль с тремя шахматными фигурами, автоматически перемещая белого короля и ладью, чтобы поставить мат черному королю, перемещенному противником-человеком. В своей работе «Очерки по автоматике» , опубликованной в 1914 году, Торрес Кеведо формулирует то, что будет новой отраслью техники: автоматизацией , и разработал электромеханическую версию аналитической машины Бэббиджа, которая представила арифметику с плавающей запятой .
1991 Торвальдс, Линус Создал первую версию ядра Linux .
1965 Тьюки, Джон В. Джеймс Кули создал быстрое преобразование Фурье . Он изобрел термин «бит». [54]
1936 Тьюринг, Алан Внес несколько фундаментальных вкладов в теоретическую информатику, включая вычислительную модель машины Тьюринга , концепцию хранимой программы и разработку высокоскоростного ACE . Независимо от Алонсо Чёрча он сформулировал тезис Чёрча-Тьюринга и доказал, что первого порядка неразрешима логика . Он также исследовал философские вопросы, касающиеся искусственного интеллекта , предложив то, что сейчас известно как тест Тьюринга .
2010 Валиант, Лесли Трансформирующий вклад в теорию вычислений , включая теорию вероятно приблизительно правильного обучения ( PAC ), сложность перечисления и алгебраических вычислений, а также теорию параллельных и распределенных вычислений.
1875, 1875 Веря, Рамон Разработан и запатентован Verea Direct Multiplier , первый механический прямой умножитель.
1950~ Ван Ань Внес ключевой вклад в развитие памяти на магнитных сердечниках .
1955, 1960-е, 1974 г. Уэр, Уиллис Со-дизайнер JOHNNIAC . Возглавлял комитет, который разработал Кодекс добросовестной информационной практики и привел к принятию Закона о конфиденциальности 1974 года . Заместитель председателя исследовательской комиссии по защите конфиденциальности.
1964, 1966 Вайценбаум, Йозеф Один из отцов современного искусственного интеллекта . Создатель программы ELIZA , использующей обработку естественного языка для имитации разговоров с психологом .
1968 Вейнгаарден, Адриан ван Разработчик W-грамматики, впервые использованной в определении АЛГОЛА 68.
1949 Уилкс, Морис Создал первый практический с хранимыми программами компьютер ( EDSAC ), который был завершен и ему приписывают идеи нескольких конструкций языка программирования высокого уровня.
1970 Уилкинсон, Джеймс Х. Исследования в области численного анализа, призванные облегчить использование высокоскоростного цифрового компьютера, получили особое признание за свои работы в области вычислений в области линейной алгебры и «обратного» анализа ошибок. [55]
1970, 1978 Вирт, Никлаус Разработал языки программирования Паскаль , Модула-2 и Оберон .
2000 Яо, Эндрю Фундаментальный вклад в теорию вычислений , включая основанную на сложности теорию генерации псевдослучайных чисел , криптографию и сложность связи .
1955–1958 Земанек, Хайнц Разработал первый полностью транзисторный компьютер Mailüfterl . Решающее значение имеет создание формального определения языка программирования PL/I .
1938, 1945 Цузе, Конрад Создан первый цифровой свободно программируемый компьютер Z1 . В 1941 году построил первый функциональный компьютер с программным управлением Z3 . [56] В Z3 уже использовалось то, что позже стало известно как обратная польская нотация , и в 1998 году было доказано, что он является полным по Тьюрингу. Был выпущен первый в мире коммерческий компьютер Z4 . Разработал первый язык программирования высокого уровня Plankalkül .

~ Элементы, отмеченные тильдой, относятся к датам.

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

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

  1. ^ Марио Токоро, изд. (2010). «9». е: От понимания принципов к решению проблем . ИОС Пресс. стр. 223–224. ISBN  978-1-60750-468-9 .
  2. ^ Кристофер Мур; Стефан Мертенс (2011). Природа вычислений . Издательство Оксфордского университета. п. 36. ISBN  978-0-19-162080-5 .
  3. ^ А. П. Ершов, Дональд Эрвин Кнут, изд. (1981). Алгоритмы в современной математике и информатике: сборник трудов, Ургенч, Узбекская ССР, 16–22 сентября 1979 г. Спрингер. ISBN  978-3-540-11157-3 .
  4. ^ Бахман, CW (1973). «Программист как навигатор» . Коммуникации АКМ . 16 (11): 653–658. дои : 10.1145/355611.362534 .
  5. ^ Коэтсьер, Теун (2001). «О предыстории программируемых машин: музыкальных автоматов, ткацких станков, калькуляторов». Теория механизма и машин . 36 (5): 589–603. дои : 10.1016/S0094-114X(01)00005-2 .
  6. ^ Jump up to: Перейти обратно: а б «Реальная история о том, как Интернет стал таким уязвимым» . Вашингтон Пост . 30 мая 2015 г. Архивировано из оригинала 30 мая 2015 г. Проверено 18 февраля 2020 г. Историки приписывают плодотворные открытия валлийскому ученому Дональду Дэвису и американскому инженеру Полу Барану.
  7. ^ «Подробности о призывнике - Пол Бэран» . Национальный зал славы изобретателей. Архивировано из оригинала 6 сентября 2017 г. Проверено 6 сентября 2017 г.
  8. ^ Баран, Пол (2002). «Начало коммутации пакетов: некоторые основные концепции» (PDF) . Журнал коммуникаций IEEE . 40 (7): 42–48. дои : 10.1109/MCOM.2002.1018006 . ISSN   0163-6804 . По сути, вся работа была определена к 1961 году, а конкретизирована и оформлена в официальную письменную форму в 1962 году. Идея маршрутизации «горячей картошки» возникла в конце 1960 года.
  9. ^ Моника, Мейн-стрит, 1776 г., Санта; Калифорния 90401-3208. «Пол Бэран и истоки Интернета» . www.rand.org . Проверено 15 февраля 2020 г. {{cite web}}: CS1 maint: числовые имена: список авторов ( ссылка )
  10. ^ «Жан-Морис-Эмиль Бодо. Система быстрой телеграфии, июнь 1874 года. Патент 103 898; Источник: Архив Национального института промышленной собственности (INPI)» . Архивировано из оригинала 16 декабря 2017 г. Проверено 21 июля 2019 г.
  11. ^ Jump up to: Перейти обратно: а б Отцы революции глубокого обучения получили премию ACM AM Turing
  12. ^ Макферсон, Стефани Саммартино (1 сентября 2009 г.). Тим Бернерс-Ли: изобретатель Всемирной паутины . Книги двадцать первого века. ISBN  978-0-8225-7273-2 .
  13. ^ «Лауреат премии А. М. Тьюринга – Мануэль Блюм» . amturing.acm.org . Проверено 4 ноября 2018 г.
  14. ^ Jump up to: Перейти обратно: а б «Пер Бринч Хансен • Компьютерное общество IEEE» . Компьютер.орг . Проверено 15 декабря 2015 г.
  15. ^ Бринч Хансен, Пер (апрель 1993 г.). «Мониторы и Concurrent Pascal: личная история» (PDF) . 2-я конференция ACM по истории языков программирования .
  16. ^ Бринч Хансен, Пер (ноябрь 1978 г.). «Распределенные процессы: концепция параллельного программирования» (PDF) . Коммуникации АКМ . 21 (11): 934–941. CiteSeerX   10.1.1.107.3108 . дои : 10.1145/359642.359651 . S2CID   11610744 .
  17. ^ «Подробности о призывнике - Дональд Уоттс Дэвис» . Национальный зал славы изобретателей. Архивировано из оригинала 6 сентября 2017 г. Проверено 6 сентября 2017 г.
  18. ^ Робертс, доктор Лоуренс Г. (ноябрь 1978 г.). «Эволюция коммутации пакетов» . Архивировано из оригинала 24 марта 2016 г. Проверено 5 сентября 2017 г. Почти сразу после встречи 1965 года Дональд Дэвис придумал детали системы коммутации пакетов с промежуточным накоплением ; Робертс, доктор Лоуренс Г. (май 1995 г.). «ARPANET и компьютерные сети» . Архивировано из оригинала 24 марта 2016 г. Проверено 13 апреля 2016 г. Затем, в июне 1966 года, Дэвис написал вторую внутреннюю статью «Предложение по цифровой коммуникационной сети», в которой он ввел слово «пакет» — небольшую часть сообщения, которое пользователь хочет отправить, а также представил концепцию «пакета». Интерфейсный компьютер», расположенный между пользовательским оборудованием и пакетной сетью.
  19. ^ Дональд Дэвис (2001), «Историческое исследование начала коммутации пакетов» , Компьютерный журнал, Британское компьютерное общество. [ мертвая ссылка ]
  20. ^ Робертс, доктор Лоуренс Г. (ноябрь 1978 г.). «Эволюция коммутации пакетов» (PDF) . Приглашенный доклад IEEE . Архивировано из оригинала (PDF) 31 декабря 2018 г. Проверено 17 сентября 2017 г. Почти во всех отношениях первоначальное предложение Дэвиса, разработанное в конце 1965 года, было похоже на реальные сети, строящиеся сегодня.
  21. ^ Jump up to: Перейти обратно: а б Диффи, В.; Хеллман, М. (1976). «Новые направления в криптографии» (PDF) . Транзакции IEEE по теории информации . 22 (6): 644–654. CiteSeerX   10.1.1.37.9720 . дои : 10.1109/TIT.1976.1055638 .
  22. ^ Jump up to: Перейти обратно: а б «Пионеры криптографии получают премию Тьюринга ACM AM 2015» . АКМ.
  23. ^ Уильям Генри Экклс и Фрэнк Уилфред Джордан, «Усовершенствования в ионных реле», номер британского патента: GB 148582 (подана: 21 июня 1918 г.; опубликовано: 5 августа 1920 г.). Доступно в Интернете по адресу: http://v3.espacenet.com/origdoc?DB=EPODOC&IDX=GB148582&F=0&QPN=GB148582 .
  24. ^ Jump up to: Перейти обратно: а б Редди, Р. (1996). «Мечтать о возможной мечте» . Коммуникации АКМ . 39 (5): 105–112. дои : 10.1145/229459.233436 .
  25. ^ Флойд, RW (1979). «Парадигмы программирования» . Коммуникации АКМ . 22 (8): 455–460. дои : 10.1145/359138.359140 .
  26. ^ «Музей компьютерной истории | Награды коллег – Стив Фербер» . Архивировано из оригинала 02 апреля 2013 г.
  27. ^ Грей, Фрэнк (17 марта 1953 г.). «Импульсно-кодовая связь» (PDF) . Патент США №. 2 632 058
  28. ^ Морган 1998 , стр. 973–975.
  29. ^ Хэмминг 1950 , стр. 147–160.
  30. ^ Лин и Син 2004 , стр. 82–88.
  31. ^ Плесс 1982 , стр. 21–24.
  32. ^ Jump up to: Перейти обратно: а б Стернс, RE (1994). «Лекция на премию Тьюринга: пора пересмотреть время» . Коммуникации АКМ . 37 (11): 95–99. дои : 10.1145/188280.188379 .
  33. ^ «статьи58» . Shef.ac.uk. ​29 июня 2007 г. Архивировано из оригинала 29 июня 2007 г. Проверено 25 октября 2017 г.
  34. ^ «Древние открытия. Эпизод 11: Древние роботы» . Канал «История» . Проверено 6 сентября 2008 г. [ мертвая ссылка на YouTube ]
  35. ^ Кирш, Рассел А., «Самая ранняя обработка изображений» , Музей NISTS; SEAC и начало обработки изображений в Национальном бюро стандартов , Национальный институт стандартов и технологий , заархивировано из оригинала 19 июля 2014 г.
  36. ^ Кляйнрок, Леонард (1961), «Информационный поток в крупных коммуникационных сетях», Ежеквартальный отчет о проделанной работе RLE (1)
  37. ^ Саймон С. Лам, член Зала интернет-славы 2023 г.
  38. ^ Милнер, Р. (1993). «Элементы взаимодействия: лекция на премию Тьюринга» . Коммуникации АКМ . 36 : 78–89. дои : 10.1145/151233.151240 .
  39. ^ Накамото, Сатоши (24 мая 2009 г.). « Биткойн: одноранговая электронная денежная система» (PDF)» (PDF) . биткойн.орг .
  40. ^ Фред Джозеф Грюнбергер, История ДЖОННИАКА , Меморандум РЭНД 5654
  41. ^ Как, Субхаш К. (январь 1987 г.). «Панинианский подход к обработке естественного языка» . Международный журнал приближенного рассуждения . 1 (1): 117–130. дои : 10.1016/0888-613X(87)90007-7 .
  42. ^ «Жемчужина Иудеи» . АКМ.
  43. ^ «Электронный калькулятор Olivetti Programma 101» . Веб-музей старого калькулятора . технически машина представляла собой программируемый калькулятор, а не компьютер.
  44. ^ «2008/107/1 Компьютер, Программа 101 и документы (3), пластик/металл/бумага/электронные компоненты, архитектор аппаратного обеспечения Пьер Джорджо Перотто, дизайн Марио Беллини, производство Оливетти, Италия, 1965–1971» . www.powerhousemuseum.com . Проверено 20 марта 2016 г.
  45. ^ «Электронный калькулятор Olivetti Programma 101» . Веб-музей старого калькулятора . Похоже, что калькулятор Mathatronics Mathatron предшествовал [ sic ] выходу на рынок Programma 101.
  46. ^ «Лауреат премии А. М. Тьюринга - Амир Пнуэли» . amturing.acm.org . Проверено 4 ноября 2018 г.
  47. ^ Jump up to: Перейти обратно: а б Рабин, Миссури; Скотт, Д. (1959). «Конечные автоматы и проблемы их решения». Журнал исследований и разработок IBM . 3 (2): 114. дои : 10.1147/р.32.0114 . S2CID   3160330 .
  48. ^ Jump up to: Перейти обратно: а б Рабин, Миссури (1977). «Сложность вычислений» . Коммуникации АКМ . 20 (9): 625–633. дои : 10.1145/359810.359816 .
  49. ^ Jump up to: Перейти обратно: а б Скотт, DS (1977). «Логика и языки программирования» . Коммуникации АКМ . 20 (9): 634–641. дои : 10.1145/359810.359826 .
  50. ^ Найджел Таут. «Калькулятор Busicom 141-PF и микропроцессор Intel 4004» . Проверено 15 ноября 2009 г.
  51. ^ Федерико Фаггин , Создание первого микропроцессора , Журнал IEEE Solid-State Circuits , зима 2009 г., IEEE Xplore
  52. ^ Япония, Общество обработки информации. «Сима Масатоши-Компьютерный музей» . Museum.ipsj.or.jp . Проверено 25 октября 2017 г.
  53. ^ Объявлены лауреаты премии Тьюринга 2007 года
  54. ^ Клод Шеннон (1948). «Технический журнал Bell System». Технический журнал Bell System .
  55. ^ Уилкинсон, Дж. Х. (1971). «Некоторые комментарии численного аналитика» . Журнал АКМ . 18 (2): 137–147. дои : 10.1145/321637.321638 . S2CID   37748083 .
  56. ^ Коупленд, Б. Джек (25 октября 2017 г.). Залта, Эдвард Н. (ред.). Стэнфордская энциклопедия философии . Лаборатория метафизических исследований Стэнфордского университета . Проверено 25 октября 2017 г. - из Стэнфордской энциклопедии философии.

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

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

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