Maslov, Sergey Yurievich (matematician)

Serghei Yuryevich Maslov ( 10 iunie 1939 - 29 iulie 1982 ) - matematician sovietic , doctor în științe fizice și matematice, specialist în domeniul logicii matematice (în special, automatizarea procesului de demonstrare).

Biografie

Născut într-o familie de filologi, tatăl său este Yu. S. Maslov , profesor la Universitatea din Leningrad . În timpul Marelui Război Patriotic, părinții săi au servit în armată și a absolvit Universitatea de Stat din Leningrad în 1960. În 1964 și-a susținut teza de doctorat „Despre aparatul formal pentru specificarea mulțimilor enumerabile”, în 1972 - teza de doctorat „Metoda inversă pentru stabilirea derivabilității pentru calculul logic”. A lucrat la filiala din Leningrad a Institutului de Matematică Steklov . Printre studenții săi se numără Yu. V. Matiyasevich .

El a creat așa-numita metodă inversă a dovezilor (de la rezultatul dorit până la premisele originale). Această metodă se numește metoda Maslov . În 1970-1980 a studiat tehnicile euristice. Cercetările sale ajută la studiul inteligenței artificiale . De asemenea, a lucrat la Institutul de Finanțe și Economie și la Institutul de Cercetare a Ingineriei Instrumentelor din Rusia. A murit la 29 iulie 1982 într-un accident de mașină pe autostrada Moscova-Smolensk, lângă orașul Gagarin.

Compoziții

• „Teoria sistemelor deductive și aplicarea acesteia”, Moscova , Radio și comunicare .
• Asimetria mecanismelor cognitive
• „Calcul mutațional” (1975)
• „Calcule cu inferențe monotone și interpretarea lor economică” (1979)

Literatură

• Informatica. Dicționar enciclopedic pentru începători. Moscova . Pedagogie-Presă . Pospelov. 1994. ISBN 5-7155-0444-9

Site-uri tematice	Genealogie matematică
În cataloagele bibliografice	NKC : jo2004213401 VIAF : 115151302885948660198 WorldCat VIAF : 115151302885948660198

1. ↑ Genealogia matematică  (engleză) - 1997.