ЛС

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

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

Lomonosov Moscow State University · Russia

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

简介

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

教育经历

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

代表成果

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

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。