Maslov, Sergey Yurievich (matematiker)

Sergei Yuryevich Maslov ( 10 juni 1939 - 29 juli 1982 ) - Sovjetisk matematiker , doktor i fysikaliska och matematiska vetenskaper, specialist inom området matematisk logik (i synnerhet automatisering av bevisprocessen).

Biografi

Född i en familj av filologer, hans far är Yu. S. Maslov , professor vid Leningrads universitet . Under det stora fosterländska kriget tjänstgjorde hans föräldrar i armén. Han tog examen från Leningrad State University 1960. 1964 försvarade han sin doktorsavhandling "On formal apparatus for specificing enumerable sets", 1972 - hans doktorsavhandling "The reverse method for establishing derivability for logical calculi". Han arbetade på Leningrad gren av Steklov Mathematical Institute . Bland hans elever finns Yu. V. Matiyasevich .

Han skapade den så kallade omvända metoden för bevis (från det önskade resultatet till de ursprungliga lokalerna). Denna metod kallas Maslovmetoden . 1970-1980 studerade han heuristiska tekniker. Hans forskning hjälper till att studera artificiell intelligens . Han arbetade också vid Institutet för finans och ekonomi och All-Russian Research Institute of Instrument Engineering. Han dog den 29 juli 1982 i en bilolycka på motorvägen Moskva-Smolensk nära staden Gagarin.

Kompositioner

• "Teorin om deduktiva system och dess tillämpning", Moskva , Radio och kommunikation .
• Asymmetri av kognitiva mekanismer
• "Mutational Calculus" (1975)
• "Beräkningar med monotoniska slutsatser och deras ekonomiska tolkning" (1979)

Litteratur

• Informatik. Encyklopedisk ordbok för nybörjare. Moskva . Pedagogik-Press . Pospelov. 1994. ISBN 5-7155-0444-9

Tematiska platser	Matematisk släktforskning
I bibliografiska kataloger	NKC : jo2004213401 VIAF : 115151302885948660198 WorldCat VIAF : 115151302885948660198

1. ↑ Mathematical Genealogy  (engelska) - 1997.