Sergei Serafimovich Marchenkov | |
---|---|
Fødselsdato | 29. juni 1945 (77 år) |
Fødselssted | nodal |
Land |
USSR Rusland |
Videnskabelig sfære | matematik |
Arbejdsplads | |
Alma Mater | Moscow State University (1967) |
Akademisk grad | Doktor i fysiske og matematiske videnskaber |
Akademisk titel | professor (2013) |
videnskabelig rådgiver | S. V. Yablonsky |
Priser og præmier |
Sergei Serafimovich Marchenkov (født 1945) er en matematiker, doktor i fysiske og matematiske videnskaber, professor ved Institut for matematisk kybernetik , fakultetet for beregningsmatematik og kybernetik, Moskvas statsuniversitet [1] .
Født i 1945 i byen Uzlovaya , Tula-regionen . Han dimitterede med en guldmedalje fra gymnasiet nr. 16 i byen Uzlovaya (1962). Uddannet fra fakultetet for mekanik og matematik ved Moscow State University (1967) med udmærkelse. Han studerede på postgraduate-kurset ved Fakultetet for Mekanik og Matematik ved Institut for Matematisk Logik (1967-1970) [2] .
Kandidat for fysiske og matematiske videnskaber (1971); afhandlingsemne: "Semistrukturer af beregnelige nummereringer" (vejleder S. V. Yablonsky ). doktor i fysiske og matematiske videnskaber (1991); afhandlingsemne: "Problemet med eksistensen af en basis i iterative algebraer af diskrete funktioner" . Seniorforsker (1995). Professor (2013).
Arbejdede på Institut for Anvendt Matematik. M.V. Keldysh RAS (1970-2000). Han har arbejdet på Moskva Universitet siden 2000 som professor ved Institut for Matematisk Kybernetik ved Fakultetet for Det Militære Metallurgiske Institut.
Forskningsinteresser: mængdeteori, matematisk logik.
Læser kurser "Diskret matematik", "Yderligere kapitler af diskret matematik", "Funktionelle systemer", "Homogene funktioner", "Grundlæggende om teorien om algoritmer", "Elementære rekursive funktioner", "Forudgående klasser af multipel logik", "Afslutning". Operatører i flerværdilogik", "Beregninger på Minsky-maskiner", "Funktionelle ligninger af logik med mange værdier".
Hovedværker: "S-klassificering af funktioner i logik med tre værdier" (2001), "Booleske funktioner" (2002), "Repræsentation af funktioner ved superpositioner" (2010), "Funktionelle ligninger for diskret matematik" (2013), " Klasser af elementære rekursive funktioner " (2016), lærebøger "Lukkende operatører af en logisk-funktionel type" (2012), "Funktionelle systemer" (2012), "Grundlæggende om teorien om booleske funktioner" (2014), "Udvalgte kapitler af diskret matematik" (2016), "Stærke lukningsoperatører " (2017) [3] .
Forfatter til 200 videnskabelige artikler, 21 bøger og vejleder på 5 afhandlinger til den akademiske titel Kandidat for fysiske og matematiske videnskaber [4] [5] .