Список піонерів в галузі інформатики
Піонери
- Щоб розмістити список у хронологічному порядку, натисніть на невелику піктограму «вгору» в стовпці «Дата». Стовпець "Особи" також можна сортувати за алфавітом, вгору вниз.
Досягнення
дата |
Персона | Досягнення |
---|---|---|
830 ~ | Аль-Хорезмі | Термін " алгоритм " походить від алгоритмізму , техніки виконання арифметики з індуїстсько-арабськими цифрами, популяризованими аль-Хварізмі у своїй книзі "Розрахунок з індуїстськими цифрами" . |
1944 рік | Ейкен, Говард | Задумав і кодирував Гарвардський Марк I. |
1970, 1989 | Аллен, Френсіс Е. | Розроблені бітові векторні позначення та графіки потоку управління програмою. Першою жінкою-співробітником IBM стала жінка в 1989 році. У 2006 році вона стала першою жінкою, яка отримала премію Тюрінга ACM. |
1939 рік | Атанасов, Джон | Побудував перший електронний цифровий комп'ютер, комп'ютер Atanasoff – Berry , хоча він не був ні програмованим, ні Тьюрінгом . |
1822, 1837 | Беббідж, Чарлз | Виникла концепція програмованого комп'ютера загального призначення. Розробив аналітичний двигун і побудував прототип для менш потужного механічного калькулятора . |
1954, 1963 | Бекус, Джон | Очолив команду, яка створила FORTRAN ( For mula Tran slation), першу практичну мову програмування високого рівня, і він сформулював форму "Backus-Naur", яка описала синтаксис формальної мови. |
1874 рік | Бодо, Еміле | Французький інженер-телеграфіст патентує код Бодо , перший засіб цифрового зв’язку . Модем одиниці швидкості одиниці швидкості названий на його честь. |
1989, 1990 | Бернерс-Лі, Тім | Винайдена світова павутина . З Робертом Кальяу надіслав перший HTTP-зв’язок між клієнтом і сервером. |
1966 рік | Бьом, штат Коррадо | Теоретизовано концепцію структурованого програмування . |
1847, 1854 | Буль, Джордж | Формалізована булева алгебра , основа цифрової логіки та інформатики. |
1947 рік | Бут, Кетлін | Винайшли мову першої збірки . |
1969, 1978 | Брінч Хансен, Пер | Розробила мультипрограмувальну систему RC 4000, яка представила концепцію ядра операційної системи та розділення політики та механізму, фактично першої архітектури мікроядра . Спільно розробили монітор з Тоні Хоаром і створили першу реалізацію монітора. Реалізовано першу форму віддаленого виклику процедури в RC 4000, і першим запропонував віддалені виклики процедур як структуруючу концепцію розподілених обчислень . |
1959, 1995 | Брукс, Фред | Менеджер проектів IBM System / 360 та OS / 360 ; автор «Міфічного чоловіка-місяця» . |
1908 рік | Brouwer, Luitzen Egbertus Jan | Заснована інтуїтивістська логіка, яка пізніше стала широко застосовуватися у асистентах доказування . |
1930 рік | Буш, Ванневар | Аналогові обчислювальні піонери. Оригінатор концепції Memex , що призвело до розвитку гіпертексту . |
1951 рік | Камінер, Девід | Разом з Джоном Пінкертоном розробив комп'ютер LEO , перший бізнес-комп'ютер, для J. Lyons and Co |
1978 рік | Серф, Вінт | З Боб Кан розробив протокол управління передачею та протокол Інтернету ( TCP / IP ), основні протоколи передачі даних Інтернету та інших комп'ютерних мереж . |
1956 рік | Чомскі, Ноам | Вніс внесок у інформатику своєю роботою з мовознавства . Він розробив ієрархію Чомскі , відкриття якого безпосередньо вплинуло на теорію мов програмування та інші галузі інформатики. |
1936 рік | Церква, Алонцо | Засновано внесок у теоретичну інформатику, спеціально для розвитку обчислення лямбда та виявлення проблеми нерозбірливості всередині неї. |
1962 рік | Кларк, Уеслі А. | Перший функціональний комп'ютер, розроблений LINC , зменшив і оцінив для окремого користувача. Введений в експлуатацію в 1963 році, багато його особливостей розглядаються як прототипи того, що повинно було бути важливим елементом персональних комп'ютерів. |
1981 рік | Кларк, Едмунд М. | Спільно з Е. Алленом Емерсоном розроблено перевірку моделі та офіційну перевірку програмного та апаратного забезпечення. |
1970 рік | Кодд, Едгар Ф. | Запропонована та формалізована реляційна модель управління даними, теоретична основа реляційних баз даних . |
1971 рік | Конвей, Лінн | Сверхскалярная архітектура з динамічним плануванням інструкцій з декількох випусків замовлень. |
1967 рік | Кук, Стівен | Формалізував поняття NP-повноти, надихнувши на велику кількість досліджень в теорії складності обчислювальної техніки . |
1965 рік | Кулі, Джеймс | З Джоном У. Тукі створив швидку трансформацію Фур'є . |
1962 рік | Дал, Оле-Йохан | За допомогою Крістен Нігаард винайшла протооб'єктну мову SIMULA . |
1968 рік | Дійкстра, Едсгер | Досягнувши прогресу в алгоритмах, запровадив та ввів у дію термін структуроване програмування , винайшов семафор і чудово запропонував, що заяву GOTO слід вважати шкідливим . |
1918 рік | Еклс, Вільям і Джордан, Френк Вілфред | Британські фізики запатентували спусковий ланцюг Еклса – Йордана . Це так званий бістабільний триггер - це складова частина всіх осередків цифрової пам'яті . Побудована з вакуумних трубок , їхня концепція мала важливе значення для успіху комп'ютера, що розбиває Колосс . |
1943, 1951 | Еккерт, Дж. Преспер | Іоан Мохлі розробив і побудував ENIAC , перший сучасний (весь електронний комп'ютер, повний Тюрінг) комп'ютер, і UNIVAC I , перший комп'ютер, доступний у продажу. |
1981 рік | Емерсон, Е. Аллен | Розробив перевірку моделі та офіційну перевірку програмного та апаратного забезпечення разом з Едмундом М. Кларком . |
1963 рік | Енгельбарт, Дуглас | Найвідоміший за винахід комп'ютерної миші (спільними зусиллями з Біллом Англійською); як піонер взаємодії між людиною та комп'ютером, команда Augment розробила гіпертекст , мережеві комп'ютери та попередники графічних інтерфейсів . |
1971 рік | Фаггін, Федеріко | Розроблений перший комерційний мікропроцесор ( Intel 4004 ). |
1974 рік | Фейлер, Елізабет | Її команда визначила простий формат текстового файлу для імен Інтернет-хостів. Список перетворився на систему доменних імен, і її група стала авторитетом іменування доменів верхнього рівня .mil, .gov, .edu, .org та .com. |
1943 рік | Квіти, Томмі | Розробив та побудував комп'ютери Mark 1 та десять вдосконалених комп'ютерів Mark 2 Colossus , перших у світі програмованих, цифрових, електронних, обчислювальних пристроїв. |
1994 рік | Флойд, Саллі | Засновано сферу активного керування чергою та спільно винайдено випадкове раннє виявлення, яке використовується майже у всіх інтернет-роутерах. |
1879 рік | Фреге, Готлоб | Розширена арістотелівська логіка з обчисленням предикатів першого порядку , незалежно від Чарльза Сандерса Перса , вирішального попередника в теорії обчислень . Також має відношення до ранньої роботи над штучним інтелектом , логічним програмуванням . |
1880, 1898 | Сандерс Періс, Чарльз | Доведено функціональну повноту воріт NOR . Запропоновано реалізацію логіки за допомогою електричних ланцюгів за десятки років до Клода Шеннона . Розширена арістотелівська логіка з обчисленням предикатів першого порядку , незалежно від Готлоба Фреге , важливого попередника в теорії обчислення . Також має відношення до ранньої роботи над штучним інтелектом , логічним програмуванням . |
1985 рік | Фурбер, Стівен
Софі Вілсон |
Відомі своєю роботою над створенням мікропроцесора ARM 32bit RISC. |
1958, 1961, 1967 роки | Гінзбург, Сеймур | Доведене мінімізація схеми " не байдуже " не обов'язково дає оптимальні результати, доведено, що мова програмування ALGOL є безконтекстною (таким чином, пов'язуючи теорію формальної мови з проблемою написання компілятора ), і винайшов теорію AFL . |
1931 рік | Гедель, Курт | Доведено, що арифметика Пеано не може бути як логічно послідовною, так і повною в обчисленні предикатів першого порядку . Церква, Клійн та Тьюрінг розробили основи теорії обчислень, заснованої на наслідках до роботи Геделя. |
1989 рік | Goldwasser, Шафі | Докази нульового знання, винайдені Голдвассером, Мікалі та Ракоффом . Голдвассер і Мікалі присудили премію Тьюрінга в 2012 році за цю та іншу роботу. |
2011 рік | Грем, Сьюзан Л. | Нагороджений медаллю IEEE 2009 р. Джоном фон Нойманом за "внесок у розробку та впровадження мови програмування та за зразкове обслуговування дисципліни інформатики". |
1953 рік | Сірий, Френк | Фізик і дослідник у лабораторії Bell Labs розробив відображений бінарний код (RBC) або код Грея . Методики Грея застосовуються для виявлення та виправлення помилок у цифрових системах зв'язку, таких як QAM в цифрових мережах абонентських ліній . |
1974, 2005 | Сірий, Джим | Інноватор в системах баз даних та реалізації транзакцій . |
1986, 1990 | Грош, Барбара [ зайва вага? - обговорити ] | Створив першу обчислювальну модель дискурсу , яка встановила сферу досліджень та вплинула на технології обробки мови. Також розроблена модель SharedPlans для співпраці в мультиагентних системах . |
1971 рік | Гамільтон, Маргарет | Розробив концепції асинхронного програмного забезпечення, планування пріоритетів, тестування "до кінця" та можливості прийняття рішень "людиною в циклі", таких як пріоритетні дисплеї, які потім стали основою для надто надійної розробки програмного забезпечення. |
1950 рік | Хеммінг, Річард | Створено математичне поле для виправлення помилок, код Хеммінга , матриця Хеммінга, вікно Хеммінга, номери Хеммінга , пакування сфери (або обмеження Хеммінга ) та відстань Хеммінга . Він встановив концепцію досконалого коду. |
1972, 1973 | Тхі, Андре Труонг Тронг і Франсуа Жернель [ невиправдана вага? - обговорити ] | Винахід Micral N - найдавнішого комерційного персонального комп'ютера без набору, заснованого на мікропроцесорі . |
1981, 1995, 1999 | Хейльсберг, Андерс | Автор Turbo Pascal, перебуваючи в Borland , головний архітектор Delphi , та дизайнер та головний архітектор C # в Microsoft. |
2008, 2012 | Хінтон, Джеффрі | Популяризував та дав можливість використовувати штучні нейронні мережі та глибоке навчання , які належать до числа найуспішніших інструментів сучасних зусиль із штучного інтелекту . |
1961, 1969, 1978 | Hoare, ЗКД | Розробив формальну мову комунікаційних послідовних процесів (CSP), логіку Хоара для перевірки правильності програми та Quicksort . |
1968 рік | Голбертон, Бетті | Написав перше об'єднання сортування мейнфреймів на Univac |
1889 рік | Холлеріт, Герман | Широко вважається батьком сучасної машинної обробки даних . Його винахід машини для складання табличок з перфорованою карткою знаменує початок епохи напівавтоматичних систем обробки даних. |
1952 рік | Хопер, Грейс | Піонерська робота над необхідністю використання мов програмування високого рівня, яку вона назвала автоматичним програмуванням , і написала компілятор AO, який сильно вплинув на мову COBOL . |
1997 рік | Сю-фен-сюн | Робота призвела до створення шахового комп’ютера Deep Thought , а архітектор та головний конструктор шахового комп'ютера IBM Deep Blue, який переміг діючого чемпіона світу з шахів , Гаррі Каспаров , у 1997 році. |
1952 рік | Херд, Катберт | Допомогла Міжнародна корпорація бізнес-машин розробити свій перший комп'ютер загального призначення - IBM 701 . |
1945, 1953 | Хаскі, Гаррі | Ранній комп'ютерний дизайн, включаючи внески до комп'ютерів ENIAC , EDVAC , Pilot ACE , EDVAC , SEAC , SWAC і Bendix G-15 . G-15 був описаний як перший персональний комп'ютер , яким керує одна людина. |
1954, 1962 | Іверсон, Кеннет | Допомагав у створенні першого аспіранту з інформатики (в Гарварді ) і викладав цей курс; винайшов мову програмування APL та зробив внесок у інтерактивні обчислення. |
1801 рік | Жакард, Джозеф Марі | Побудували та продемонстрували ткацький верстат Жакарда , програмований механізований ткацький верстат, керований стрічкою, побудованою з перфокарт. |
1206 | Аль-Джазарі | Винайдені програмовані машини, включаючи програмовані гуманоїдні роботи , та замкові годинники , астрономічні годинники вважаються першим програмованим аналоговим комп'ютером . |
1953 рік | Spärck Jones, Karen [ зайва вага? - обговорити ] | Один із піонерів пошуку інформації та обробки природних мов . |
1970, 1990 | Карнау, Моріс | Винахідник карти Карно , що використовується для мінімізації логічних функцій. |
1973 рік | Карпінський, Яцек | Розробив перший диференціальний аналізатор, який використовував транзистори, та розробив один із перших алгоритмів машинного навчання розпізнавання символів та зображень. Також був винахідником одного з перших мінікомп'ютерів, К-202 . |
1970 ~ | Кей, Алан | Піонерував багато ідей в корені об'єктно-орієнтованих мов програмування, очолював команду, яка розробляла Smalltalk , і вносила фундаментальний внесок в особисті обчислення. |
1957 рік | Кірш, Рассел А. Грей | Працюючи в Національному бюро стандартів (NBS), Кірш використовував нещодавно розроблений сканер зображень для сканування та зберігання першої цифрової фотографії . Його відскановану фотографію тримісячного сина журнал Life вважав однією із «100 фотографій, які змінили світ». |
1936 рік | Клін, Стівен Коул | Піонерська робота з церквою Алонцо над обчисленням Лямбда, яка вперше заклала основи теорії обчислень. |
1968, 1989 | Кнут, Дональд | Написав мистецтво комп’ютерного програмування і створив TeX . Придумав термін "аналіз алгоритмів" і зробив великий внесок у цю сферу, включаючи популяризацію нотації Big O. |
1974, 1978 | Лампорт, Леслі | Сформульовані алгоритми для вирішення багатьох фундаментальних проблем у розподілених системах (наприклад, алгоритм хлібобулочних виробів ).
Розробив концепцію логічного годинника , що забезпечує синхронізацію між розподіленими об'єктами на основі подій, через які вони спілкуються. Створено LaTeX . |
1951 рік | Лебедєв, Сергій Олексійович | Незалежно розробив перший в Радянському Союзі електронний комп’ютер - MESM , в Києві, Україна. |
1670 ~ | Лейбніц, Готфрід | Досягнуто вдосконалення символічної логіки, наприклад, коефіцієнта обчислення , який сильно вплинув на Готлоб Фреге . Зроблені розробки в першочерговому порядку прогнозують обчислення, які мали вирішальне значення для теоретичних основ інформатики. |
1960 рік | Licklider, JCR | Розпочали дослідження взаємодії людини та комп'ютера, що призвело до багатьох досягнень у комп'ютерних інтерфейсах, а також у кібернетиці та штучному інтелекті . |
1987 рік | Лісков, Варвара | Розробив принцип заміщення Ліскова , який гарантує семантичну сумісність типів даних в ієрархії. |
1300 ~ | Llull, Ramon | Створював декілька символічних машин репрезентацій, а також піонерські уявлення про символічне представлення та маніпулювання для отримання знань - обидва вони мали великий вплив на Лейбніца . |
1852 рік | Ловелас, Ада | Англійський математик та письменник, головним чином відомий своєю роботою над запропонованим механічним комп'ютером загального призначення Чарльз Беббідж, аналітичним двигуном . Вона першою визнала, що машина має додатки, що перевищують чистий розрахунок, і створила перший алгоритм, призначений для виконання такою машиною. В результаті її часто розглядають як першу, яка визнає весь потенціал "обчислювальної машини" та першого комп'ютерного програміста. |
1909 рік | Людгейт, Персі | Чарльз Беббідж у 1843 р. Та Персі Людгейт у 1909 р. Розробили перші два аналітичні двигуни в історії. Двигун Ludgate використовував множення як основу (використовуючи власний дискретний "Ірландські логарифми"), мав перший множник-акумулятор (MAC), був першим, хто використовував MAC для виконання поділу, зберігав номери як переміщення стрижнів у човниках і мав кілька інші функції, в тому числі для управління програмою. |
1971 рік | Мартін-Леф, Пер | Опублікував ранній проект теорії типів, на якому базуються багато помічників . |
1943, 1951 | Mauchly, Джон | З Дж. Преспер Еккертом розробив і побудував ENIAC , перший сучасний (весь електронний комп'ютер, повний Тюрінг) комп’ютер, і UNIVAC I , перший комп'ютер, доступний у продажу. Також працював над BINAC (1949), EDVAC (1949), UNIVAC (1951) разом з Грейс Хоппер і Жаном Бартиком, щоб розробляти комп'ютери раннього зберігання програм . |
1958 рік | Маккарті, Джон | Розробив LISP , функціональну мову програмування . |
1956, 2012 | МакКлускі, Едвард Дж. | Фундаментальний внесок у формування та тестування цифрових систем, включаючи перший алгоритм синтезу цифрової логіки, метод мінімізації логіки Quine-McCluskey. |
1963 рік | Мінський, Марвін | Співзасновник лабораторії штучного інтелекту Массачусетського технологічного інституту , автор декількох текстів на тему AI та філософії. Критика перцептрона . |
850 ~ | Бану Муса | Брати Бану Муса написали « Книгу геніальних пристроїв» , де вони описали те, що видається першим програмованим автоматом, автоматичним флейтом . |
1950, 1960 | Накамацу Йошир | Перший дискету в Токійському імператорському університеті винайшов у 1950 році отримавши японський патент 1952 р. та патент США 1958 р. На винахід аркуша магнітного диска та отримав ліцензію на Nippon Columbia в 1960 та IBM у 1970-х роках. |
2008 рік | Накамото, Сатоші | Анонімний творець або творці Bitcoin , першої однорангової цифрової валюти . Документ Накамото 2008 року представив концепцію блокчейна - структури бази даних, яка дозволяє повністю довіряти децентралізованій та розподіленій публічній книзі криптовалют . |
1934, 1938 | Накасіма Акіра | Інженер NEC представив теорію комутаційних схем у роботах з 1934 по 1936 рік, закладаючи основи для дизайну цифрових схем , в цифрових комп'ютерах та інших областях сучасної технології. |
1960 рік | Наур, Пітер | Редагував переглянутий звіт ALGOL 60 , запровадивши форму "Backus-Naur" |
1945 рік | Нойман, Джон фон | Сформулював архітектуру фон Неймана, на якій базується більшість сучасних комп'ютерів. |
1956 рік | Ньюелл, Аллен | Разом з Дж. Шоу та Гербертом Саймоном три співавтори написали теоретик логіки, першу справжню програму ШІ, на першій мові обробки даних, яка вплинула на LISP. |
1943 рік | Ньюмен, Макс | Активізував виробництво комп’ютерів Colossus в Bletchley Park . Після війни він створив Лабораторію обчислювальної машини в Манчестерському університеті, де створив проект, який побудував перший у світі комп'ютер із збереженою програмою - " Манчестер Бебі" . |
1962 рік | Nygaard, Kristen | С Оле-Йохан Дал винайшов прото-об'єктно орієнтовану мову SIMULA . |
500 р. До н | Паніні | Граматика аштадхяї санскриту була систематизованою та технічною, використовуючи метарули, перетворення та рекурсії , що є провісником формальної теорії мови та основою форми Паніні-Бекуса, що використовується для опису мов програмування . |
1642 рік | Паскаль, Блейз | Винайшли механічний калькулятор . |
1952 рік | Перліс, Алан | Про проект Whirlwind , член команди, яка розробила мову програмування ALGOL , і перший отримувач премії Тьюрінга |
1985 рік | Перлман, Радія | Винайшли протокол Spanning Tree Protocol (STP), який є основоположним для роботи мережевих мостів , працюючи в корпорації Digital Equipment Corporation . Провів широкі та інноваційні дослідження, зокрема щодо шифрування та створення мереж. У 2007 році, серед багатьох інших, вона отримала нагороду USENIX за все життя. |
1964 рік | Перотто, Пір Джорджіо [ зайва вага? - обговорити ] | Дизайнер Olivetti Programma 101 , першого настільного комп'ютера , імовірно, першого типу персонального комп'ютера . |
1932 рік | Петер, Русса | Опублікував серію статей, що обгрунтовують теорію рекурсії як окрему область математичних досліджень, що ставить основу для теоретичної інформатики. |
1995 рік | Пікард, Розалінд [ зайва вага? - обговорити ] | Заснували ефективні обчислення та заклали основи для надання комп'ютерам навичок емоційного інтелекту. |
1936 рік | Пост, Еміль Л. | Розробив машину Пошта як модель обчислення, незалежно від Тьюрінга. Відома також розробкою таблиць істинності , проблема листування Пост, що використовується в теорії рекурсії, а також доведення того, що відомо як теорема Поста . |
1967–2011 | Річі, Денніс | Кен Томпсон був першопрохідцем мови програмування на C та комп'ютерної операційної системи Unix в Bell Labs. |
1958–1960 | Розен, Саул | Розроблено програмне забезпечення першого комп’ютера на транзисторі. Також вплинув на мову програмування ALGOL. |
1910 рік | Рассел, Бертран | Зробив внесок у інформатику своєю роботою з математичної логіки (приклад: функція правди ). Ввів поняття теорії типів . Він також ввів систему типів (разом з Альфредом Північним Уайтхедом ) у своїй роботі " Principia Mathematica" . |
1975 рік | Салтон, Джерард [ зайва вага? - обговорити ] | Піонер автоматичного пошуку інформації , який запропонував векторну космічну модель та інвертований індекс . |
1962 рік | Саммет, Жан Е. | Розроблено мову програмування FORMAC . Вона також була першою, яка широко написала історію та категоризацію мов програмування в 1969 році, і стала першою жінкою-президентом Асоціації обчислювальної техніки в 1974 році. |
1963, 1973 | Сасакі Тадаші | Різкий інженер, який задумав однопроцесорний мікропроцесорний процесор , представивши ідею Busicom та Intel в 1968 році. Це вплинуло на перший комерційний мікропроцесор - Intel 4004 ; до Busicom компанія Intel була виробником пам'яті. Tadashi Sasaki також розробив РК- калькулятори на Sharp. |
1937, 1948 | Шеннон, Клод | Засновано теорію інформації та закладено основи практичного проектування цифрових схем. |
1968, 1980 | Сіма Масатоші | Розроблений Intel 4004 , перший комерційний мікропроцесор , а також мікропроцесори Intel 8080 , Zilog Z80 і Zilog Z8000 , а також мікросхеми Intel 8259 , 8255 , 8253 , 8257 і 8251 . |
1956, 1957 | Саймон, Герберт А. | Політолог та економіст, який піонерствовав штучним інтелектом . Співавтор програми « Логічна теорія» та програм « Загальні проблеми вирішення» . |
1972 рік | Столмен, Річард | Stallman запустив проект GNU у вересні 1983 року для створення Unix-подібної комп'ютерної операційної системи, повністю складеної з вільного програмного забезпечення. Цим він також запустив рух вільного програмного забезпечення. |
1982 рік | Стоунбрейкер, Майкл | Дослідник лабораторії з інформатики та штучного інтелекту MIT (CSAIL), який здійснив революцію в галузі систем управління базами даних (СУБД) та заснував декілька успішних компаній із бази даних |
1979 рік | Страуструп, Бьярн | Винайдено C ++ у лабораторіях Bell |
1963 рік | Сазерленд, Айвен | Автор Sketchpad , родоначальник сучасних програм автоматизованого проектування (CAD) та одного з ранніх прикладів об'єктно-орієнтованого програмування . |
1967 рік | Томпсон, Кен | Створено операційну систему Unix , мову програмування B , операційну систему Plan 9 , першу машину, яка отримала рейтинг Master в шахах, і кодування UTF-8 в Bell Labs та мову програмування Go в Google. |
1993 рік | То Чай Кеонг | Створена мобільна спеціальна мережа; У 1998 році реалізовано першу працюючу бездротову мережу портативних комп'ютерів за допомогою ОС Linux, радіостанцій Lucent WaveLan 802.11 та нового розподіленого протоколу маршрутизації, прозорого для TCP / UDP / IP. |
1991 рік | Торвальдс, Лінус | Створив першу версію ядра Linux . |
1852 рік | Торрес Квеведо, Леонардо | У своїй праці Ensayos Sobre Automatica, опублікованій вперше в 1914 році, Торрес Кеведо формулює те, що буде новою галуззю техніки: Автоматизація . |
1965 рік | Тукі, Джон У. | З Джеймсом Кулі створив швидку трансформацію Фур'є . Він винайшов термін "біт". |
1936 рік | Тюрінг, Алан | Внесло кілька основоположних внесків в інформатику, включаючи обчислювальну модель машини Тьюрінга, розробку концепції, що зберігається, та розробку високошвидкісної конструкції ACE . Широко вважається батьком інформатики та штучного інтелекту . |
1950 ~ | Ван Ан | Внесла ключовий внесок у розвиток магнітоспроможної пам'яті. |
1955, 1960, 1974 | Посуд, Вілліс | Співавтор JOHNNIAC . Голова комітету, який розробив Кодекс справедливої інформаційної практики та привів до Закону про конфіденційність 1974 року . Заступник голови комісії з вивчення конфіденційності. |
1968 рік | Війнгаарден, Адріан Ван | Розробник W-граматики вперше застосував у визначенні ALGOL 68 |
1949 рік | Вілкс, Моріс | Побудували перший практичний комп'ютер із збереженим програмним забезпеченням ( EDSAC ), який буде завершено, і він отримав ідеї декількох конструкцій мови високого рівня програмування. |
1970, 1978 | Вірт, Ніклаус | Розроблено мови програмування Pascal , Modula-2 та Oberon . |
1875, 1875 | Верея, Рамон | Розроблений та запатентований множник Verea Direct , перший механічний прямий множник. |
1938, 1945 | Цузе, Конрад | Побудував перший цифровий вільно програмований комп'ютер, Z1 . Побудували перший функціональний комп'ютер, керований програмою, Z3 . У 1998 році було підтверджено, що Z3 був завершений Тьюрінгом. Він виготовив перший у світі комерційний комп'ютер - Z4 . Розробив першу мову програмування високого рівня, Plankalkül . |
~ Елементи, позначені тильдою, - це дати приблизно.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.