| Wolfenhagen Vjačeslav Ernstovič | |
|---|---|
| Datum narození | 30. března 1948 (ve věku 74 let) |
| Místo narození | |
| Země | Rusko |
| Vědecká sféra |
Informatika , matematická logika , programování |
| Místo výkonu práce | |
| Alma mater | |
| vědecký poradce | Kuzin L.T. |
| Známý jako | Aplikační výpočetní systémy |
| webová stránka | wolfengagen.mephi.ru |
Vjačeslav Ernstovič Wolfenhagen ( 30. března 1948 , Moskva ) - doktor technických věd , profesor , ruský matematik a inženýr .
Jeho výzkum kombinuje informatiku , matematiku a matematickou logiku a jeho cílem je vytvořit základní koncepty, které se zabývají modely a teorií počítání .
V 70. a 80. letech 20. století bylo cílem napsat společně s kolegy sérii knih reflektujících současný stav teorie informatiky a výpočetní techniky . Knihy ze série "Počítačová věda a informační technologie" jsou napsány pomocí elementárních prostředků a odhalují prezentaci nejdůležitějších úseků informatiky založené na teorii aplikačních výpočetních systémů , λ-kalkulu a kombinatorické logice . Aplikovaný přístup byl ovlivněn matematickou školou H. Curryho - D. Scotta , R. Hindleyho, J. Seldina, H. Barendregta, P.-L. Curien.
Kandidát technických věd (1977), téma disertační práce je „Teoretické a inženýrské metody pro navrhování relačních informačních bank v automatizovaných řídicích systémech“.
Doktor technických věd (1990), téma dizertační práce "Koncepční metoda navrhování databank" [1] .
Pro V. E. Wolfenhagena jsou hlavním zájmem nejnovější úspěchy v oblasti informatiky a informačních technologií . V 70. letech pomocí metody ponořených výpočetních systémů zorganizoval spolu s kolegy a studenty vývoj prototypu relačního DBMS integrovaného s aplikačním výpočetním prostředím [2] . Ve spolupráci s kolegy napsal práce o teorii relačních systémů a teorii systémů konceptuálního modelování. Získané výsledky a publikované články o aplikativních výpočtech, teorii výpočtů , výpočtových modelech , logice , kombinatorické logice , λ-konverzním počtu , datových modelech, kategorických abstraktních strojích , sémantických sítích , sémantice programovacích jazyků .
Přispěl k rozvoji teorie relačních systémů . Významně přispěl k rozvoji teorie aplikačních počítačových systémů .
Rozvinutý výzkum konstrukce výpočtových modelů v kartézské uzavřené kategorii .
Profesor katedry technické kybernetiky na MEPhI a katedry fyzikální a technické informatiky na Moskevském institutu fyziky a technologie .