Роль математической логики в создании ЭВМ

ЛЕКЦИЯ № 5.

ТЕМА: «ЛОГИЧЕСКИЕ ОСНОВЫ ЭВМ»

Ценность теории определяется тем, насколько она применима на практике. Создание компьютеров стало возможно только тогда, когда нашли общую точку пересечения, совместились, наложились друг на друга различные теоретические положения.

1833 г. – Чарльз Бэббидж выдвинул идею создания программируемой вычислительной машины (Аналитическая машина). По его замыслу, она должна была стать «машиной самого универсального характера» – в действительности, ни чем иным, как первым универсальным программируемым компьютером. Аналитическая машина должна была иметь такие компоненты, как «мельница» и «склад» (по современной терминологии – арифметическое устройство и память). Управление перемещениями чисел со «склада» на «мельницу» и обратно, а также управление действиями «мельницы» осуществлялось перфокартами такого же типа, как ранее изобретенные для ткацкого станка Ж.М.Жаккардом. Последовательность карт составляла (как теперь бы назвали) программу. Согласно проекту, машина должна была приводиться в действие силой пара. Сотрудницей и помощницей Бэббиджа во многих его научных изысканиях была математик графиня Августа Ада Лавлейс (дочь великого английского поэта Дж. Байрона). Она понимала важность аналитических методов и убедила Бэббиджа в необходимости использования в его изобретении двоичной системы счисления вместо десятичной. Она также разработала принципы программирования, что вписало ее имя в историю вычислительной техники как имя первой программистки. Аналитическая машина Бэббиджа не была построена, и программы, написанные Адой Лавлейс, никогда не отлаживались и не работали, однако некоторые из высказанных ею общих положений (принцип экономии рабочих ячеек, связь рекуррентных формул с циклическими процессами вычислений и др.) сохранили свое принципиальное значение и для современного программирования, а ее определение цикла почти дословно совпадает с приводящимся в современных учебниках программирования.

1673 г. – Готфрид Вильгельм Лейбниц выдвинул идею применения в логике математической символики, предложил использовать двоичную систему счисления для целей вычислительной математики.

1848 г. – Джордж Буль заложил основы алгебры логики (алгебры высказываний), поставив в соответствие истинному и ложному значения числа 1 и 0.

1890 г. – Герман Холлерит создал счетно-аналитическую машину, в которой впервые для подсчетов результатов переписи населения США были использованы электричество и перфокарты.

1938 г. – Алан Мэтисон Тьюринг разработал теорию логических автоматов и доказал, что универсальная вычислительная машина теоретически возможна и ей по силам решение практически неограниченного числа различных задач.

1945 г. – Группа первых разработчиков ЭВМ (группа Джона фон Неймана) сформулировала основные принципы архитектуры ЭВМ, в которых обосновала использование двоичной системы счисления для представления информации в вычислительных машинах.

Математическая логика с развитием вычислительных машин оказалась в тесной взаимосвязи с вычислительной математикой, со всеми вопросами конструирования и программирования электронных счетных машин. Все началось с того, что ученые сначала предположили, что возможно построение электронных схем на базе математической логики, затем построили такие схемы. А теперь всевозможные электронные схемы лежат в основе вычислительных машин. Аппарат математической логики находит применение в вычислительной математике и в технике при конструировании сложных автоматических устройств. Алгебра высказываний применяется при синтезе релейно-контактных и электронных схем.

Дата добавления: 2014-01-11