Вычислительная техника в инженерных расчетах. Дурина Т.А. - 9 стр.

ментов устройства. Таких устойчивых и различимых состояний всего два: вклю-
чен — выключен; открыт — закрыт; заряжен — разряжен и т. п. Поэтому тради-
ционная десятичная система, использованная в механических калькуляторах, не-
удобна для электронных вычислительных устройств.
     Возможность представления любых чисел (да и не только чисел) двоич-
ными цифрами впервые была предложена Готфридом Вильгельмом Лейбницем в
1666 году. Он пришел к двоичной системе счисления, занимаясь исследованиями
философской концепции единства и борьбы противоположностей. Попытка
представить мироздание в виде непрерывного взаимодействия двух начал («чер-
ного» и «белого», мужского и женского, добра и зла) и применить к его изуче-
нию методы «чистой» математики подтолкнули Лейбница к изучению свойств
двоичного представления данных с помощью нулей и единиц. Надо сказать, что
Лейбницу уже тогда приходила в голову мысль о возможности использования
двоичной системы в вычислительном устройстве, но, поскольку для механиче-
ских устройств в этом не было никакой необходимости, он не стал использовать
в своем калькуляторе (1673 году) принципы двоичной системы.
     Математическая логика Джорджа Буля. Говоря о творчестве Джорджа Бу-
ля, исследователи истории вычислительной техники непременно подчеркивают,
что этот выдающийся английский ученый первой половины XIX века был само-
учкой. Возможно, именно благодаря отсутствию «классического» (в понимании
того времени) образования, Джордж Буль внес в логику, как в науку, революци-
онные изменения.
     Занимаясь исследованием законов мышления, он применил в логике сис-
тему формальных обозначений и правил, близкую к математической. Впоследст-
вии эту систему назвали логической алгеброй или булевой алгеброй. Правила
этой системы применимы к самым разнообразным объектам и их группам (мно-
жествам, по терминологии автора). Основное назначение системы, по замыслу
Дж. Буля, состояло в том, чтобы кодировать логические высказывания и сводить
структуры логических умозаключений к простым выражениям, близким по фор-


                                                                           9