Maslov, Sergey Yurievich (matemático)

Sergei Yuryevich Maslov ( 10 de junio de 1939 - 29 de julio de 1982 ) - matemático soviético , Doctor en Ciencias Físicas y Matemáticas, especialista en el campo de la lógica matemática (en particular, la automatización del proceso de prueba).

Biografía

Nacido en una familia de filólogos, su padre es Yu. S. Maslov , profesor de la Universidad de Leningrado . Durante la Gran Guerra Patriótica, sus padres sirvieron en el ejército y se graduó de la Universidad Estatal de Leningrado en 1960. En 1964 defendió su tesis doctoral "Sobre el aparato formal para especificar conjuntos enumerables", en 1972 su tesis doctoral "El método inverso para establecer la derivabilidad de los cálculos lógicos". Trabajó en la sucursal de Leningrado del Instituto Matemático Steklov . Entre sus alumnos se encuentra Yu.V.Matiyasevich .

Creó el llamado método inverso de demostraciones (del resultado deseado a las premisas originales). Este método se llama el método de Maslov . En 1970-1980 estudió técnicas heurísticas. Su investigación ayuda a estudiar la inteligencia artificial . También trabajó en el Instituto de Finanzas y Economía y en el Instituto de Investigación de Ingeniería de Instrumentos de toda Rusia. Murió el 29 de julio de 1982 en un accidente automovilístico en la carretera Moscú-Smolensk cerca de la ciudad de Gagarin.

Composiciones

• “La teoría de los sistemas deductivos y su aplicación”, Moscú , Radio y comunicación .
• Asimetría de los mecanismos cognitivos
• "Cálculo mutacional" (1975)
• "Cálculos con inferencias monótonas y su interpretación económica" (1979)

Literatura

• Informática. Diccionario enciclopédico para principiantes. moscú _ Pedagogía-Prensa . Pospelov. 1994. ISBN 5-7155-0444-9

sitios temáticos	genealogía matemática
En catálogos bibliográficos	NKC : jo2004213401 VIAF : 115151302885948660198 WorldCat VIAF : 115151302885948660198

1. ↑ Genealogía matemática  (inglés) - 1997.