Gavrilov, Gary Petrovich
| Gary Gavrílov | |
|---|---|
| Gary Petrovich Gavrílov | |
| Fecha de nacimiento | 19 de noviembre de 1935 |
| Lugar de nacimiento | Bakú , AzSSR , URSS |
| Fecha de muerte | 5 de diciembre de 1999 (64 años) |
| Un lugar de muerte | Moscú , Rusia |
| País | |
| Esfera científica | cibernética matemática |
| Lugar de trabajo | Instituto de Tecnología de Aviación de Moscú , Universidad Estatal de Moscú |
| alma mater | Universidad estatal de Moscú |
| Titulo academico | Doctor en Ciencias Físicas y Matemáticas |
| Título académico | Profesor |
| consejero científico | S. V. Yablonsky |
| Premios y premios |
  |
Gary Petrovich Gavrilov (19 de noviembre de 1935 - 5 de diciembre de 1999) - Doctor en Ciencias Físicas y Matemáticas, Profesor del Departamento de Cibernética Matemática de la Universidad Estatal de Moscú .
Biografía
En 1953 se graduó en el Syzran Oil College ( Región de Kuibyshev ) y en 1958 en la Facultad de Mecánica y Matemáticas de la Universidad Estatal de Moscú. En 1960-1963 estudió en la escuela de posgrado de la Facultad de Mecánica y Matemáticas.
Candidato de Ciencias Físicas y Matemáticas (1964), defendió su disertación sobre el tema "Cuestiones de integridad funcional en la lógica de valores contables" (supervisor S. V. Yablonsky ). Doctor en Ciencias Físicas y Matemáticas (1998), tema de tesis: "Cuestiones de expresibilidad y potencia de caracterización para sistemas funcionales discretos con la operación de superposición". Título académico - Profesor Asociado (1971).
En 1958-1960, G.P. Gavrilov trabajó como ingeniero en una empresa del Ministerio de Defensa . Después de graduarse de la escuela de posgrado en 1963-1967, trabajó como profesor titular en el departamento de matemáticas superiores en la sucursal de Smolensk del Instituto de Ingeniería Eléctrica de Moscú . En 1967-1968, dirigió el sector económico y matemático del laboratorio de modelado matemático del Instituto de Investigación Científica de la Industria del Cloro ( Moscú ). En 1968-1971 trabajó como profesor titular y luego como profesor asistente en el Departamento de Matemáticas Superiores en el Instituto de Tecnología de Aviación de Moscú .
Fue galardonado con las medallas "Veterano del Trabajo" (1987) y " En memoria del 850 aniversario de Moscú " (1997).
Carrera científica
Trabaja en la Universidad de Moscú desde junio de 1971: Profesor Asociado (1971-1999) del Departamento de Lógica Matemática y Teoría de Autómatas (desde 1975 - Departamento de Cibernética Matemática), Profesor (1999) del Departamento de Cibernética Matemática de la Facultad del Complejo Metalúrgico Militar [2] .
La gama de intereses científicos incluía matemáticas discretas , la teoría de sistemas funcionales , lógica matemática, lógica de valores finitos y valores contables, teoría de grafos , análisis combinatorio .
G. P. Gavrilov obtuvo desarrollos significativos en la teoría de la lógica de valores finitos y valores contables. Dio representaciones de fórmulas no triviales para algunas clases cerradas de lógica polivalente Pk; se da una descripción de algunos retículos de clases cerradas en Pk (k = pr, p es primo), incluyendo la clase de polinomios ; se establece la continuidad del conjunto de lógicas límite con base finita; se da una justificación para la hipercontinuidad del conjunto de clases precompletas de lógica numerable que no contienen constantes generalizadas; se establece que para cada número natural en la estructura de inclusiones de clases cerradas de lógica de valores contables hay una clase de altura l (además, se da una descripción constructiva de cada clase), que contiene un conjunto hipercontinuo de clases de altura ; se muestra que hay exactamente tres clases de tipo Slupecki en la lógica fraccionaria de valores contables, y se da una descripción de estas clases.
En la teoría de la coloración de las líneas de los gráficos, G. P. Gavrilov (junto con I. A. Muzychuk) estudió algunas características métricas de los gráficos que son críticas con respecto a la coloración de los bordes y demostró la inexistencia de gráficos críticos con respecto a la coloración de los bordes de ciertos órdenes.
G. P. Gavrilov fue el autor de los cursos obligatorios "Lógica matemática" y "Cuestiones seleccionadas de matemáticas discretas", que enseñó durante muchos años en la facultad de VMK. Impartió cursos especiales sobre teoría de conjuntos clásica y descriptiva, problemas aplicados de teoría de grafos y teoría de algoritmos , sistemas funcionales de matemática discreta, entre otros. Durante más de 20 años, G. P. Gavrilov ha impartido cursos sobre análisis combinatorio, algoritmos en gráficos, lógica matemática y conceptos básicos de matemáticas discretas para estudiantes del departamento vespertino de la facultad de CMC.
Durante mucho tiempo colaboró como editor y traductor en la editorial Mir, bajo su dirección editorial se publicaron 14 libros sobre teoría de grafos, análisis combinatorio y aspectos lógicos de la inteligencia artificial.
Preparó 6 candidatos de ciencias.
Autor de más de 50 artículos científicos, entre monografías y más de diez libros de texto.
Actas
- Sobre la completitud funcional en la lógica de valores contables // Problemas de cibernética - M.: Nauka, 1965, no. 15, pág. 5-64;
- Funciones del Álgebra de la Lógica y Post Clases - M.: Nauka, 1966, 120 pp. (coautor S. V. Yablonsky , Kudryavtsev V. B. );
- Sobre el poder del conjunto de lógicas límite con base finita // Problemas de Cibernética - M.: Nauka, 1969, no. 21, pág. 27-40;
- Clases precompletas de lógica parcial de valores contables que contienen todas las funciones de una variable // Métodos de análisis discreto en la teoría de gráficos y funciones lógicas - Novosibirsk, 1976, no. 28, pág. 12-24;
- Sobre clases cerradas de lógica polivalente que contienen una clase de polinomios // Matemáticas discretas. Matemáticas. - M.: Nauka, 1997, vol.9, número. 2, pág. 12-23.
- Colección de problemas de matemática discreta - M.: Nauka, 1977, 368 p. (traducciones al inglés, español y húngaro disponibles), 3ra ed.;
- Libro de texto para el curso "Matemáticas Discretas". Análisis y síntesis de circuitos en lógica polivalente: [Libro de texto]. asignación] / S. V. Yablonsky, G. P. Gavrilov, A. A. Nabebin ; ed. V. A. Orlov ; Moscú energía En t. - M.: MPEI, 1989. - 20 cm Parte 1. - M.: MPEI, 1989. - 117 p.
- Problemas y ejercicios de matemática discreta - Moscú: Fizmatlit, 2004, 416 p. (coautor A. A. Sapozhenko ).
Notas
- ↑ Identifiants et Référentiels (francés) - ABES , 2011.
- ↑ Biografía Copia de archivo fechada el 12 de mayo de 2016 en Wayback Machine en el sitio web de VMK MSU