Sergei Yulievich Maslov ( June 10, 1939 - July 29, 1982 ) - Soviet mathematician. Born in a family of philologists. During World War II, his parents served in the army. He graduated from the Mechanics and Mechanics Department of Leningrad University in 1960. In 1964 he defended his thesis “On formal apparatuses serving to specify enumerable sets”. In 1972 he defended his doctoral dissertation "The inverse method of establishing derivability for logical calculi." He worked in the Leningrad branch of the Steklov Mathematical Institute. His area of specialization was mathematical logic. In particular, automation of the evidence process. Created the so-called inverse method of proof (from the desired result to the original premises). This method is called the Maslov method . In 1970-1980 he studied heuristic techniques. His research helps to study artificial intelligence. He worked at the Institute of Finance and Economics and the Institute of Instrument Engineering. He died on July 29, 1982 in a car accident on the Moscow-Smolensk highway near the city of Gagarin. Among his students are Yu. Matiyasevich .
| Sergey Maslov | |
|---|---|
| Date of Birth | June 10, 1939 |
| Place of Birth | Leningrad , RSFSR , USSR |
| Date of death | July 29, 1982 (43 years old) |
| Place of death | Gagarin |
| Scientific field | theoretical informatics |
| Place of work | POMI |
| Alma mater | LSU (matem) |
| Academic degree | Doctor of Physical and Mathematical Sciences |
| Famous students | Yu. V. Matiyasevich |
Compositions
- “The theory of deductive systems and its application”, Moscow , Radio and communications .
- Asymmetry of cognitive mechanisms
- Mutational Calculus (1975)
- "Calculus with monotone conclusions and their economic interpretation" (1979)
Sources
- Computer science. Encyclopedic dictionary for beginners. Moscow Pedagogy-Press . Ripe. 1994. ISBN 5-7155-0444-9