Serguéi Serafimovich Marchenkov | |
---|---|
Fecha de nacimiento | 29 de junio de 1945 (77 años) |
Lugar de nacimiento | nodal |
País |
URSS Rusia |
Esfera científica | matemáticas |
Lugar de trabajo | |
alma mater | Universidad Estatal de Moscú (1967) |
Titulo academico | Doctor en Ciencias Físicas y Matemáticas |
Título académico | profesor (2013) |
consejero científico | S. V. Yablonsky |
Premios y premios |
Sergei Serafimovich Marchenkov (nacido en 1945) es matemático, Doctor en Ciencias Físicas y Matemáticas, Profesor del Departamento de Cibernética Matemática , Facultad de Matemática Computacional y Cibernética, Universidad Estatal de Moscú [1] .
Nacido en 1945 en la localidad de Uzlovaya , Región de Tula . Se graduó con medalla de oro de la escuela secundaria No. 16 en la ciudad de Uzlovaya (1962). Graduado de la Facultad de Mecánica y Matemáticas de la Universidad Estatal de Moscú (1967) con honores. Estudió en el curso de posgrado de la Facultad de Mecánica y Matemáticas en el Departamento de Lógica Matemática (1967-1970) [2] .
Candidato a Ciencias Físicas y Matemáticas (1971); tema de tesis: "Semiestructuras de numeraciones computables" (supervisor S. V. Yablonsky ). Doctor en Ciencias Físicas y Matemáticas (1991); Tema de tesis: "El problema de la existencia de una base en álgebras iterativas de funciones discretas" . Investigador Principal (1995). Profesor (2013).
Trabajó en el Instituto de Matemática Aplicada. MV Keldysh RAS (1970-2000). Trabaja en la Universidad de Moscú desde 2000 como profesor en el Departamento de Cibernética Matemática de la Facultad del Instituto Metalúrgico Militar.
Intereses de investigación: teoría de conjuntos, lógica matemática.
Lecturas de cursos "Matemática Discreta", "Capítulos Adicionales de Matemática Discreta", "Sistemas Funcionales", "Funciones Homogéneas", "Fundamentos de la Teoría de Algoritmos", "Funciones Recursivas Elementales", "Clases Precompletas de Lógica Múltiple", "Cierre Operadores en lógica multivaluada", "Cálculos en máquinas de Minsky", "Ecuaciones funcionales de lógica multivaluada".
Principales trabajos: "S-clasificación de funciones de lógica trivaluada" (2001), "Funciones booleanas" (2002), "Representación de funciones por superposiciones" (2010), "Ecuaciones funcionales de matemáticas discretas" (2013), " Clases de funciones recursivas elementales " (2016), libros de texto "Operadores de cierre de tipo lógico-funcional" (2012), "Sistemas funcionales" (2012), "Fundamentos de la teoría de funciones booleanas" (2014), "Capítulos seleccionados de matemáticas discretas" (2016), "Operadores de cierre fuerte " (2017) [3] .
Autor de 200 artículos científicos, 21 libros y director de 5 disertaciones para el título académico de Candidato en Ciencias Físicas y Matemáticas [4] [5] .