ЛС

Лавров Святослав Сергеевич

Чл.-корр. АН СССР, профессор, зав. кафедрой АЯ · Кафедра алгоритмических языков

Lomonosov Moscow State University · Russia

баллистикатеория алгоритмических языковразработка программного обеспеченияязыки обработки символьной информацииавтоматическое доказательство теорембазы знаний

About

Советский и российский учёный в области ракетно-космической баллистики и программирования. Член-корреспондент АН СССР, профессор, заведующий кафедрой алгоритмических языков факультета вычислительной математики и кибернетики МГУ. Основоположник ракетно-космической баллистики в СССР, автор работ по теории алгоритмических языков, разработке трансляторов и программного обеспечения. Подготовил более 40 кандидатов наук.

Education

Ленинградский государственный университет, математико-механический факультет, 1939-1941
Ленинградская военно-воздушная академия, 1944
Московский государственный университет, механико-математический факультет, 1954

Selected publications

Баллистика управляемых ракет дальнего действия
Универсальный язык программирования
Введение в программирование
Автоматическая обработка данных. Язык Лисп и его реализация
Программирование. Математические основы, средства, теория

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.