Maszlov, Szergej Jurjevics (matematikus)

Szergej Jurjevics Maszlov ( 1939. június 10. - 1982. július 29. ) - szovjet matematikus , a fizikai és matematikai tudományok doktora, a matematikai logika (különösen a bizonyítási folyamat automatizálása) szakértője.

Életrajz

Filológus családban született, apja Yu. S. Maslov , a Leningrádi Egyetem professzora . A Nagy Honvédő Háború idején szülei a hadseregben szolgáltak, 1960-ban végzett a Leningrádi Állami Egyetemen . 1964-ben védte meg Ph.D. értekezését "A felsorolható halmazok megadására szolgáló formális apparátusról", 1972-ben pedig "A logikai kalkulusok származtathatóságának fordított módszere" című doktori értekezését. A Steklov Matematikai Intézet leningrádi fiókjában dolgozott . Tanítványai közé tartozik Yu. V. Matiyasevics .

Megalkotta az úgynevezett fordított bizonyítási módszert (a kívánt eredménytől az eredeti premisszákig). Ezt a módszert Maslov-módszernek nevezik . 1970-1980-ban heurisztikus technikákat tanult. Kutatásai segítik a mesterséges intelligencia tanulmányozását . Dolgozott a Pénzügyi és Gazdaságtudományi Intézetben és az Összoroszországi Műszermérnöki Kutatóintézetben is. 1982. július 29- én autóbalesetben halt meg a Moszkva-Szmolenszk autópályán, Gagarin város közelében.

Kompozíciók

• "A deduktív rendszerek elmélete és alkalmazása", Moszkva , Rádió és kommunikáció .
• A kognitív mechanizmusok aszimmetriája
• "Mutational Calculus" (1975)
• "Számítások monoton következtetésekkel és gazdasági értelmezésük" (1979)

Irodalom

• Informatika. Enciklopédiai szótár kezdőknek. Moszkva . Pedagógia-Sajtó . Poszpelov. 1994. ISBN 5-7155-0444-9

Tematikus oldalak	Matematikai genealógia
Bibliográfiai katalógusokban	NKC : jo2004213401 VIAF : 115151302885948660198 WorldCat VIAF : 115151302885948660198

1. ↑ Matematikai genealógia  (angol) - 1997.