Архитекторы компьютерного мира

Заслуги Г. Хоппер в программировании оценены по достоинству. Более 40 университетов и колледжей присвоили ей различные звания. Г. Хоппер была обладательницей первой награды по информатике "Человек года", присуждаемой Ассоциацией управления и обработки данных. На церемонии отставки в 1986 году в Бостоне на борту авианосца морской министр Джон Леман-младший представил адмирала Грейс Хоппер к правительственной награде. Через несколько лет после ее кончины, 6 сентября 1997 года был спущен на воду новый эсминец ВМФ США — он был назван "Хоппер" в честь контр-адмирала Грейс Мюррей Хоппер.

Автор одной из первых книг по проектированию компиляторов (1971 год) профессор Корнеллского университета Дэвид Грис, оценивая значимость работ Г. Хоппер, пишет, что в ее наследии имеются "наметки многих инструментов и способов в отношении компиляторов, которые в настоящее время считаются общепризнанными: библиотека подпрограмм, дополненная спецификациями, трансляция формул в их элементарные компоненты; первичные функции компилятора; подпрограммный интерфейс и относительная адресация; компонующий загрузчик и оптимизация текста программы". И далее продолжает: "Она одной из первых поняла, что именно программные средства, а не аппаратные потребуют большего числа затрат. Она предвидела тот день, когда для математиков уже не будет необходимым знание системы команд компьютера… Хоппер предвосхитила символьную обработку и хорошо понимала, что произойдет даже в отношении искусственного интеллекта (хотя в то время этого термина еще не существовало. — А. Ч.), когда говорила: "В настоящее время задача состоит в том, чтобы в наиболее возможной степени заменить человеческий мозг на электронный цифровой компьютер".

Алексей Андреевич Ляпунов Автор первых нотаций языков программирования

Имеется ряд способов описания строения алгоритмов: машины Тьюринга, продукция Поста, нормальные алгоритмы Маркова, рекурсии и т. п. Однако для интересов кибернетики эти способы неудобны. Общее стремление при разработке систем понятий в теории алгоритмов состоит в сведении числа элементарных актов к минимуму и к их максимальной стандартизации. Это значительно облегчает установление несуществования алгоритмов того или иного типа. В задачах из области кибернетики язык теории алгоритмов служит совсем другим целям. Его назначение в том, чтобы дать удобную форму описания алгоритмов, служащих для решения тех или иных задач.

А. А. Ляпунов

Алексей Андреевич Ляпунов

Диапазон научных интересов члена-корреспондента Академии наук Алексея Андреевича Ляпунова был необычайно широк, а сферы их приложения разнообразны. Основные направления его исследований — математическая логика, теория множеств, кибернетика, программирование, математическая лингвистика, машинный перевод. А. А. Ляпунову принадлежит разработка управляющих (кибернетических) систем, строгое определение которых было сформулировано им вместе с его учеником С. В. Яблонским. С 1954 по 1964 годы А. А. Ляпунов в Московском университете вел семинар по кибернетике, который объединял ученых и специалистов, работавших по данной проблеме, а также координировал их работу. С 1958 года под редакцией А. А. Ляпунова начал выходить периодический сборник "Проблемы кибернетики", в котором публиковались научные статьи отечественных ученых, посвященные кибернетическим исследованиям.

В июле 50-х годов А. А. Ляпунов разработал первые учебные курсы по программированию, а в 1952/53 учебном году он прочитал студентам МГУ первый курс под названием "Принцип программирования" (до появления АЛГОЛа).

В 1953 году он создал операторный метод, одну из первых в мире нотаций языков программирования — аппарат описания алгоритмов (язык логических схем).

Заслуги А. А. Ляпунова в области кибернетики и программирования настолько велики, что период с середины 50-х годов до середины 60-х годов XX века часто называют "ляпуновским" периодом.