ЛЯПУНОВ Алексей Андреевич

российский математик, член-корреспондент АН СССР (с 1964), один из основоположников кибернетики. Окончил Московский университет (1933). В 1934-1962 гг. работал в Математическом институте АН СССР, в 1953-1962 гг. — одновременно в Московском университете, в 1962-1973 гг. — в институте теоретической кибернетики и институте математики СО АН СССР. Основные направления исследований — математическая логика, математическая статистика, ЭВМ, приближенные и численные методы, программирование, кибернетика. Ряд работ относится к дескриптивной теории множеств, теории функций, математической лингвистике, математической биологии. Важные результаты получил в дескриптивной теории множеств. Показал, что R-операция может быть обобщена на произвольные теоретико-множественные операции применительно к произвольному пространству индексов со счетной глубиной цепей (1963); определил трансфинитные индексы этих операций. Развил общую теорию операций. Разработал одну из алгоритмических систем, ориентированную на практические применения. Сделал фундаментальный вклад в построение алгебры программ. Сформулировал метод описания программ с помощью операторной схемы, который был положен в основу развития идей советской школы программирования.