3. В своих трактатах Аристотель
обстоятельно исследовал
терминологию логики, подробно
разобрал теорию умозаключений и
доказательств, описал ряд логических
операций, сформулировал основные
законы мышления, в том числе законы
противоречия и исключения третьего.
Еще сам Аристотель заметил, что между
созданной им наукой и математикой
(тогда она именовалась арифметикой)
много общего. Он пытался соединить
эти две науки, а именно свести
размышление, вернее, умозаключение,
к вычислению на основании исходных
положений. В одном из своих трактатах
Аристотель вплотную приблизился к
одному из разделов математической
логики - теории доказательств.
4. Блэз Паскаль создал механическое
вычислительное устройство – суммирующую
машину, которая позволяла складывать числа в
десятичной системе счисления. В этой машине
цифры шестизначного числа задавались путем
соответствующих поворотов дисков с
цифровыми делениями, а результат операции
можно было прочитать в шести окошках – по
одному на каждую цифру. Диски были
механически связаны, при сложении учитывался
перенос единицы в следующий разряд. Диск
единиц был связан с диском десятков, диск
десятков – с диском сотен и т.д. Если при
повороте диск проходил через ноль, то
следующий диск поворачивался на единицу
вперед. Другие операции выполнялись при
помощи довольно неудобной процедуры
повторных сложений, и в этом заключался
основной недостаток машины.
5. Джордж Буль по праву считается отцом
математической логики. Его именем
назван раздел математической логики -
булевая алгебра. В 1848 году Джордж
Буль опубликовал статью по началам
математической логики -
"Математический анализ логики, или
Опыт исчисления дедуктивных
умозаключений", а в 1854 году
появился главный его труд
"Исследование законов мышления, на
которых основаны математические
теории логики и вероятностей". В этих
работах отразилось убеждение Буля о
возможности изучения свойств
математических операций,
осуществляемых не обязательно над
числами
6. Несколько любопытных фактов из
истории создания Бейсика под началом
Гейтса. Основой для этого языка
послужил BASIC PLUS от компании DEC
(Digital Equipment Corporation) в рамках
RSTS-11 (Resource Sharing Time Sharing)
— многопользовательской
операционной системы с разделением
времени, предназначенной для 16-
разрядных мини-компьютеров из серии
PDP-11.
Математическую библиотеку для
работы с плавающей запятой помог
написать сокурсник Билла по Гарварду
— Монт Давидофф (Monte Davidoff). Его
имя можно увидеть в исходных текстах
интерпретатора Бейсика, однако, что
странно, Давидофф более нигде не
упоминается.
7. Отправной точкой для работ В. М.
Глушкова в области теории цифровых
автоматов было понятие автомата,
введенное американскими
математиками Клини, Муром и другими
авторами знаменитого сборника
"Автоматы", вышедшего в 1956 г.
Основной идеей, объединяющей работы
по цифровым автоматам, была
возможность использования
алгебраического аппарата для
представления таких объектов, какими
являются компоненты ЭВМ, схемы и
программы. В. М. Глушков развил эту
идею и, что особенно важно, построил
необходимые математические средства
и показал, как компоненты ЭВМ могут
быть представлены через
алгебраические выражения.
8. Шеннон, имея два диплома
бакалавра - по электротехнике и по
математике, выполнял обязанности
оператора на неуклюжем
механическом вычислительном
устройстве под названием
"дифференциальный анализатор",
который построил в 1930 году
научный руководитель Шеннона
профессор Виннер Буш. В качестве
темы диссертации Буш предложил
Шеннону изучить логическую
организацию своей машины.
Постепенно у Шеннона стали
вырисовываться контуры устройства
компьютера.
9. Знаменитый американский
программист. Вся профессиональная
жизнь Питера Нортона связана с
программированием. В 1982 году он
случайно стер исходный файл с
жесткого диска компьютера. Можно
было потратить несколько дней и
занести в компьютер всю
информацию по новой, однако
Нортон сделал по-другому — быстро
написал программу, которая
восстанавливает потерянные
данные.
10. Цузе с детства любил изобретать и
строить. В 1936 году он устроил на
квартире родителей "мастерскую", в
которой через два года завершил
постройку машины, занимавшую
площадь 4 кв.м., названную Z1. Это
была полностью механическая
программируемая цифровая
машина.
Интересно, что первоначально
изобретение Цузе должно было
называться V1 («Фау-1»). Но, узнав о
том, что «оружие возмездия»
Вернера фон Брауна носит такое же
название, конструктор переименовал
свое детище. Естественно, это
произошло уже в 40-е годы XX века
11. Дмитрий Николаевич Лозинский –
один из тех, кто определил развитие
отечественного программирования
и стоял у истоков первых российских
антивирусных решений. Вклад
Лозинского в борьбу с
компьютерными вирусами трудно
переоценить. Благодаря его
упорному многолетнему труду по
анализу компьютерных вирусов и
совершенствованию программы
Aidstest, а также других
отечественных антивирусов, в нашей
стране в последнее время
практически не происходили
глобальные эпидемии
компьютерных вирусов.
12. А.А.Ляпунову принадлежит разработка
математической теории управляющих
(кибернетических) систем, строгое
определение которых было
сформулировано им вместе с его
учеником С.В.Яблонским.
Он создал первые учебные курсы
программирования и разработал
операторный метод - по существу
первый язык программирования,
отличающийся от языка систем команд
ЭВМ и разработанный по появления
алгоритмических языков типа АЛГОЛ и
другие. Большая роль А.А.Ляпунову
принадлежит в распространении идей
и методов кибернетики. В 1958 году
под руководством А.А.Ляпунова начал
выходить периодический сборник
"Проблемы кибернетики.