Маслов, Сергей Юрьевич (математик)

Сергей Маслов
Сергей Маслов
Дата рождения	10 июня 1939
Место рождения	Ленинград, РСФСР, СССР
Дата смерти	29 июля 1982 (43 года)
Место смерти	Гагарин
Научная сфера	теоретическая информатика
Место работы	ПОМИ
Альма-матер	ЛГУ (матмех)
Учёная степень	доктор физико-математических наук
Ученики	Ю. В. Матиясевич

Сергей Юрьевич Маслов (10 июня 1939- 29 июля 1982) — советский математик, доктор физико-математических наук, специалист в области математической логики (в частности, автоматизации процесса доказательств).

Биография

Родился в семье филологов, отец — профессор Ленинградского университета Ю. С. Маслов. Во время Великой Отечественной войны его родители служили в армии Окончил матмех ЛГУ в 1960 году. В 1964 году защитил кандидатскую диссертацию «О формальных аппаратах, служащих для задания перечислимых множеств», в 1972 году — докторскую диссертацию «Обратный метод установления выводимости для логических исчислений». Работал в ленинградском филиале Математического института имени Стеклова. Среди его учеников — Ю. В. Матиясевич.

Создал так называемый обратный метод доказательств (от желаемого результата к исходным посылкам). Данный метод получил название метод Маслова. В 1970—1980 годах изучал эвристические приёмы. Его исследования помогают изучать искусственный интеллект. Работал также в финансово-экономическом институте и ВНИИ приборостроения. Погиб 29 июля 1982 года в автокатастрофе на автодороге Москва-Смоленск близ города Гагарин.

Сочинения

«Теория дедуктивных систем и её применение» , Москва, Радио и связь.
Асимметрия познавательных механизмов
«Мутационные исчисления» (1975)
«Исчисления с монотонными выводами и их экономическая интерпретация» (1979)

Литература

Информатика. Энциклопедический словарь для начинающих. Москва. Педагогика-Пресс. Поспелов. 1994. ISBN 5-7155-0444-9