и условными ветвлениями. Хотя она не была построена, проект был хорошо изучен и отражал идею полноты по Тьюрингу. Аналитическая машина имела бы объем памяти меньше 1 килобайта и тактовую частоту меньше 10 Гц17.
Для возможности создания первого современного компьютера ещё требовалось значительное развитие теории математики и электроники 17.
Бинарная логикаправить править код
В 1703 году Готфрид Вильгельм Лейбниц разработал формальную логику, математический смысл которой описан в его трудах и заключается в сведении логики к бинарной системе счисления. В ней единицы и нули формально представляют истинное и ложное значения или включённое и выключенное состояние некоторого элемента, могущего быть в двух состояниях. Эти работы намного опередили работы Джорджа Буля, опубликовавшего свои результаты в 1854 г. Сейчас алгебра высказываний Буля называется булевой -- математически полная алгебраическая система. Новый импульс развитию булевой алгебры дал Клод Шеннон в работах 1933 г. , где показал, что состояния и переходы между состояниями релейных переключающих схем могут быть формально описаны в терминах булевой алгебры и для их анализа и синтеза пригоден математический аппарат булевой алгебры, к тому времени хорошо развитый. И сейчас булева алгебра -- основа для логического проектирования процессоров, видеокарт и многих других систем и устройств бинарной логики18.
К этому времени было изобретено первое механическое устройство, управляемое бинарной схемой. Промышленная революция дала толчок механизации многих задач, включая ткачество. Перфокарты контролировали работу ткацких станков Жозефа Мари Жаккара, где перфорированное отверстие на карте означало бинарную единицу, а неперфорированное место означало бинарный ноль. Благодаря перфокартам станки имели возможнос
Страницы: << < 2 | 3 | 4 | 5 | 6 > >>