Sergei Serafimovich Marchenkov | |
---|---|
Födelsedatum | 29 juni 1945 (77 år) |
Födelseort | nodal |
Land |
Sovjetunionen Ryssland |
Vetenskaplig sfär | matte |
Arbetsplats | |
Alma mater | Moscow State University (1967) |
Akademisk examen | Doktor i fysikaliska och matematiska vetenskaper |
Akademisk titel | professor (2013) |
vetenskaplig rådgivare | S. V. Yablonsky |
Utmärkelser och priser |
Sergei Serafimovich Marchenkov (född 1945) är en matematiker, doktor i fysikaliska och matematiska vetenskaper, professor vid institutionen för matematisk kybernetik , fakulteten för beräkningsmatematik och kybernetik, Moskvas statliga universitet [1] .
Född 1945 i staden Uzlovaya , Tula-regionen . Han tog examen med en guldmedalj från gymnasiet nr 16 i staden Uzlovaya (1962). Utexaminerades från fakulteten för mekanik och matematik vid Moscow State University (1967) med utmärkelser. Han studerade på forskarutbildningen vid fakulteten för mekanik och matematik vid institutionen för matematisk logik (1967-1970) [2] .
kandidat för fysikaliska och matematiska vetenskaper (1971); avhandlingsämne: "Semistructures of computable numberings" (handledare S. V. Yablonsky ). doktor i fysikaliska och matematiska vetenskaper (1991); avhandlingsämne: "Problemet med förekomsten av en bas i iterativa algebror för diskreta funktioner" . Senior forskare (1995). Professor (2013).
Arbetade på Institutet för tillämpad matematik. M.V. Keldysh RAS (1970-2000). Han har arbetat vid Moskvas universitet sedan 2000 som professor vid institutionen för matematisk kybernetik vid fakulteten för Military Metallurgical Institute.
Forskningsintressen: mängdlära, matematisk logik.
Läser kurserna "Diskret matematik", "Ytterligare kapitel i diskret matematik", "Funktionella system", "homogena funktioner", "grunderna i teorin om algoritmer", "Elementära rekursiva funktioner", "Förfullständiga klasser av multipel logik", "Avslutande Operatörer i flervärdig logik", "Beräkningar på Minsky-maskiner", "Funktionella ekvationer för logik med många värden".
Huvudverk: "S-klassificering av funktioner i trevärdig logik" (2001), "Booleska funktioner" (2002), "Representation av funktioner genom superpositioner" (2010), "Funktionella ekvationer för diskret matematik" (2013), " Klasser av elementära rekursiva funktioner " (2016), läroböcker "Stängande operatorer av en logisk-funktionell typ" (2012), "Funktionella system" (2012), "Grundläggande av teorin om booleska funktioner" (2014), "Utvalda kapitel av diskret matematik" (2016), "Starka stängningsoperatörer " (2017) [3] .
Författare till 200 vetenskapliga artiklar, 21 böcker och handledare för 5 avhandlingar för den akademiska titeln Kandidat för fysikaliska och matematiska vetenskaper [4] [5] .