| Wolfenhagen Vyacheslav Ernstovich | |
|---|---|
| Födelsedatum | 30 mars 1948 (74 år) |
| Födelseort | |
| Land | Ryssland |
| Vetenskaplig sfär |
Datavetenskap , matematisk logik , programmering |
| Arbetsplats | |
| Alma mater | |
| vetenskaplig rådgivare | Kuzin L.T. |
| Känd som | Applikativa datorsystem |
| Hemsida | wolfengagen.mephi.ru |
Vyacheslav Ernstovich Wolfenhagen ( 30 mars 1948 , Moskva ) - Doktor i tekniska vetenskaper , professor , rysk matematiker och ingenjör .
Hans forskning kombinerar datavetenskap , matematik och matematisk logik och syftar till att etablera grundläggande begrepp som behandlar modeller och beräkningsteorin .
Under 1970-80-talet var målet att tillsammans med kollegor skriva en serie böcker som speglar det nuvarande tillståndet för teorin om datavetenskap och datoranvändning . Böckerna i serien "Datavetenskap och informationsteknologi" är skrivna med elementära metoder och avslöjar presentationen av de viktigaste delarna av datavetenskap baserad på teorin om applikativa datorsystem , λ-kalkyl och kombinatorisk logik . Det tillämpade tillvägagångssättet påverkades av den matematiska skolan av H. Curry - D. Scott , R. Hindley, J. Seldin, H. Barendregt, P.-L. Curien.
Candidate of Technical Sciences (1977), ämnet för avhandlingen är "Teoretiska och tekniska metoder för att utforma relationsinformationsbanker i automatiserade styrsystem".
Doktor i tekniska vetenskaper (1990), avhandlingsämne "Konceptuell metod för att utforma databanker" [1] .
För V. E. Wolfenhagen är huvudintresset de senaste landvinningarna inom datavetenskap och informationsteknologi . På 1970-talet, med hjälp av metoden för nedsänkta datorsystem, organiserade han tillsammans med kollegor och studenter utvecklingen av en prototyp av relationell DBMS integrerad med en applikationsdatormiljö [2] . I samarbete med kollegor skrev han arbeten om teorin om relationssystem och teorin om konceptuella modelleringssystem. Fick resultat och publicerade artiklar om applikativ beräkning, beräkningsteori , beräkningsmodeller , logik , kombinatorisk logik , λ-konverteringskalkyl , datamodeller, kategorisk abstrakt maskin , semantiska nätverk , semantik för programmeringsspråk .
Bidragit till utvecklingen av teorin om relationssystem . Han gjorde viktiga bidrag till utvecklingen av teorin om applikativa datorsystem .
Utvecklade forskning om konstruktion av beräkningsmodeller i en kartesisk sluten kategori .
Professor vid avdelningen för teknisk kybernetik vid MEPhI och avdelningen för fysisk och teknisk informatik vid Moskvainstitutet för fysik och teknologi .