Maslov, Sergei Jurievich (matemaatikko)

Sergei Jurjevitš Maslov ( 10. kesäkuuta 1939 - 29. heinäkuuta 1982 ) - Neuvostoliiton matemaatikko , fysiikan ja matemaattisten tieteiden tohtori, matemaattisen logiikan (erityisesti todistusprosessin automatisoinnin) asiantuntija.

Elämäkerta

Hänen isänsä on filologien perheeseen syntynyt Yu. S. Maslov , Leningradin yliopiston professori . Suuren isänmaallisen sodan aikana hänen vanhempansa palvelivat armeijassa ja hän valmistui Leningradin valtionyliopistosta vuonna 1960. Vuonna 1964 hän puolusti väitöskirjansa "Formaalisista laitteista numeroitavien joukkojen määrittämiseen", vuonna 1972 - väitöskirjansa "Käänteinen menetelmä johdettavuuden luomiseksi loogisille laskelmille". Hän työskenteli Steklovin matemaattisen instituutin Leningradin sivuliikkeessä . Hänen oppilaidensa joukossa on Yu. V. Matiyasevitš .

Hän loi ns. käänteisen todistusmenetelmän (toivotusta tuloksesta alkuperäisiin lähtökohtiin). Tätä menetelmää kutsutaan Maslovin menetelmäksi . Vuosina 1970-1980 hän opiskeli heuristisia tekniikoita. Hänen tutkimuksensa auttaa tutkimaan tekoälyä . Hän työskenteli myös rahoitus- ja taloustieteen instituutissa ja koko Venäjän instrumenttitekniikan tutkimuslaitoksessa. Hän kuoli 29. heinäkuuta 1982 auto-onnettomuudessa Moskova-Smolensk-moottoritiellä lähellä Gagarinin kaupunkia.

Sävellykset

• "Deduktiivisten järjestelmien teoria ja sen soveltaminen", Moskova , Radio ja viestintä .
• Kognitiivisten mekanismien epäsymmetria
• "Mutational Calculus" (1975)
• "Laskelmat monotonisilla päätelmillä ja niiden taloudellinen tulkinta" (1979)

Kirjallisuus

• Informatiikka. Ensyklopedinen sanakirja aloittelijoille. Moskova . Pedagogia-Lehdistö . Pospelov. 1994. ISBN 5-7155-0444-9

Temaattiset sivustot	Matemaattinen sukututkimus
Bibliografisissa luetteloissa	NKC : jo2004213401 VIAF : 115151302885948660198 WorldCat VIAF : 115151302885948660198

1. ↑ Matemaattinen sukututkimus  (englanniksi) - 1997.