|
 Джордж Буль (1815–1864)
Английский математик. Ввел в обращение новый раздел математики (булева алгебра). Переменная в ней может принимать только одно из двух значений: ложь или истина, 0 или 1. Это пригодилось при разработке компьютеров, которые понимают только 0 и 1.
 Чарльз Л. Доджстон (Льюис Кэрролл) (1832–1898)
Один из основателей математической логики. Его книги «Алиса в стране чудес», «Алиса в Зазеркалье», «Охота на Спарка» используются как наборы примеров при изучении математической логики, теории относительности и квантовой механики.
 Клод Шеннон
Американский математик. Первый (в 1938 г.) использовал булеву алгебру для анализа и описания переключательных схем. Родоначальник теории информации.
 Норберт Винер (1894–1964)
Основатель кибернетики (науки об управлении и причинно-следственных связях в живой и неживой природе).
 Алан Матисон Тьюринг (1912–1954)
Английский математик. В 1937 г. создал умозрительную машину, по своему логическому устройству являющуюся прообразом цифровых компьютеров. Модель вычислений, где каждый алгоритм разбивался на последовательность простых шагов, была названа «машиной Тьюринга».
 Эмиль Л. Пост
Американский математик, предложивший в 1937 году свою умознительную машину того же типа, известную под названием «машина Поста», все вычисления на которой отражали многие черты вычислений на реальных компьютерах.
 Андрей Андреевич Марков (1903–1979)
Советский математик, специалист по математической логике. Широкую известность среди математиков получили нормальные алгоритмы Маркова, которые описывались как система подстановочных операций над словами в произвольном алфавите.
 Джон фон Нейман (1903–1957)
Американский математик. Опубликовал предложенную Дж. Маучли концепцию ЭВМ с хранимой программой. Один из кураторов проекта ЭВМ ENIAC.
 Сергей Алексеевич Лебедев (1902–1974)
Советский ученый в области электротехники и вычислительной техники. Под его руководством разработаны первые в СССР ЭВМ. Основатель школы советской вычислительной техники.
|