Maslov, Sergey Yurievich (matematik)

Sergei Yuryevich Maslov ( 10. června 1939 - 29. července 1982 ) - sovětský matematik , doktor fyzikálních a matematických věd, specialista v oblasti matematické logiky (zejména automatizace procesu důkazu).

Životopis

Narodil se v rodině filologů a jeho otcem je Yu. S. Maslov , profesor Leningradské univerzity . Během Velké vlastenecké války sloužili jeho rodiče v armádě, v roce 1960 absolvoval Leningradskou státní univerzitu . V roce 1964 obhájil disertační práci "O formálním aparátu pro specifikaci spočetných množin", v roce 1972 doktorskou práci "Reverzní metoda pro stanovení odvoditelnosti pro logické kalkuly". Pracoval v leningradské pobočce Matematického ústavu Steklova . Mezi jeho studenty patří Yu.V. Matiyasevich .

Vytvořil tzv. reverzní metodu důkazů (od požadovaného výsledku k původním premisám). Tato metoda se nazývá Maslovova metoda . V letech 1970-1980 studoval heuristické techniky. Jeho výzkum pomáhá studovat umělou inteligenci . Působil také v Ústavu financí a ekonomiky a Všeruském výzkumném ústavu přístrojového inženýrství. Zemřel 29. července 1982 při autonehodě na dálnici Moskva-Smolensk u města Gagarin.

Skladby

• "Teorie deduktivních systémů a její aplikace", Moskva , Rádio a komunikace .
• Asymetrie kognitivních mechanismů
• "Mutační počet" (1975)
• „Výpočty s monotónními závěry a jejich ekonomická interpretace“ (1979)

Literatura

• Informatika. Encyklopedický slovník pro začátečníky. Moskva . Pedagogy-Press . Pospelov. 1994. ISBN 5-7155-0444-9

Tematické stránky	Matematická genealogie
V bibliografických katalozích	NKC : jo2004213401 VIAF : 115151302885948660198 WorldCat VIAF : 115151302885948660198

1. ↑ Matematická genealogie  (anglicky) - 1997.