Maslov, Sergey Yurievich (matematiker)

Sergei Yuryevich Maslov ( 10. juni 1939 - 29. juli 1982 ) - sovjetisk matematiker , doktor i fysiske og matematiske videnskaber, specialist inden for matematisk logik (især automatisering af bevisprocessen).

Biografi

Født ind i en familie af filologer, hans far er Yu. S. Maslov , professor ved Leningrad Universitet . Under den store patriotiske krig tjente hans forældre i hæren. Han dimitterede fra Leningrad State University i 1960. I 1964 forsvarede han sin ph.d. - afhandling "On formal apparatus for specificing enumerable sets", i 1972 - hans doktorafhandling "The reverse method for establishing derivability for logical calculi". Han arbejdede på Leningrad-afdelingen af ​​Steklov Mathematical Institute . Blandt hans elever er Yu. V. Matiyasevich .

Han skabte den såkaldte omvendte metode til beviser (fra det ønskede resultat til de originale lokaler). Denne metode kaldes Maslov-metoden . I 1970-1980 studerede han heuristiske teknikker. Hans forskning hjælper med at studere kunstig intelligens . Han arbejdede også på Institut for Finans og Økonomi og All-Russian Research Institute of Instrument Engineering. Han døde den 29. juli 1982 i en bilulykke på motorvejen Moskva-Smolensk nær byen Gagarin.

Kompositioner

• "Teorien om deduktive systemer og dens anvendelse", Moskva , Radio og kommunikation .
• Asymmetri af kognitive mekanismer
• "Mutational Calculus" (1975)
• "Beregninger med monotoniske slutninger og deres økonomiske fortolkning" (1979)

Litteratur

• Informatik. Encyklopædisk ordbog for begyndere. Moskva . Pædagogik-Presse . Pospelov. 1994. ISBN 5-7155-0444-9

Tematiske steder	Matematisk genealogi
I bibliografiske kataloger	NKC : jo2004213401 VIAF : 115151302885948660198 WorldCat VIAF : 115151302885948660198

1. ↑ Matematisk genealogi  (engelsk) - 1997.