| Wolfenhagen Viacheslav Ernstovich | |
|---|---|
| Fecha de nacimiento | 30 de marzo de 1948 (74 años) |
| Lugar de nacimiento | |
| País | Rusia |
| Esfera científica |
Informática , lógica matemática , programación |
| Lugar de trabajo | |
| alma mater | |
| consejero científico | Kuzin L. T. |
| Conocido como | Sistemas de Computación Aplicativa |
| Sitio web | wolfengagen.mephi.ru |
Vyacheslav Ernstovich Wolfenhagen ( 30 de marzo de 1948 , Moscú ) - Doctor en Ciencias Técnicas , profesor , matemático e ingeniero ruso .
Su investigación combina la informática , las matemáticas y la lógica matemática y tiene como objetivo establecer los conceptos fundamentales que abordan los modelos y la teoría de la computación .
En la década de 1970-80, el objetivo era escribir, junto con colegas, una serie de libros que reflejaran el estado actual de la teoría de la informática y la computación . Los libros de la serie "Ciencias de la computación y tecnología de la información" están escritos utilizando medios elementales y revelan la presentación de las secciones más importantes de las ciencias de la computación basadas en la teoría de los sistemas de computación aplicativos , el cálculo λ y la lógica combinatoria . El enfoque aplicado estuvo influenciado por la escuela matemática de H. Curry - D. Scott , R. Hindley, J. Seldin, H. Barendregt, P.-L. curien.
Candidato a Ciencias Técnicas (1977), el tema de la disertación es “Métodos teóricos y de ingeniería para el diseño de bancos de información relacionales en sistemas de control automatizado”.
Doctor en Ciencias Técnicas (1990), tema de tesis "Método conceptual para el diseño de bancos de datos" [1] .
Para V. E. Wolfenhagen, el principal interés son los últimos logros en el campo de la informática y la tecnología de la información . En la década de 1970, utilizando el método de sistemas informáticos sumergidos, junto con colegas y estudiantes, organizó el desarrollo de un prototipo de DBMS relacional integrado con un entorno informático de aplicación [2] . En colaboración con colegas, escribió trabajos sobre la teoría de los sistemas relacionales y la teoría de los sistemas de modelado conceptual. Resultados recibidos y artículos publicados sobre computación aplicativa, teoría de la computación , modelos de computación , lógica , lógica combinatoria , cálculo de conversión λ , modelos de datos, máquina abstracta categórica , redes semánticas , semántica de lenguajes de programación .
Contribuyó al desarrollo de la teoría de los sistemas relacionales . Hizo importantes contribuciones al desarrollo de la teoría de los sistemas computacionales aplicativos .
Desarrolló investigaciones sobre la construcción de modelos computacionales en una categoría cerrada cartesiana .
Profesor del Departamento de Cibernética Técnica del MEPhI y del Departamento de Informática Física y Técnica del Instituto de Física y Tecnología de Moscú .