Wolfenhagen, Vjacseszlav Ernsztovics

Vjacseszlav Ernsztovics Wolfenhagen ( 1948. március 30., Moszkva ) – a műszaki tudományok doktora , professzor , orosz matematikus és mérnök .

Kutatásai a számítástechnikát , a matematikát és a matematikai logikát ötvözik , és célja olyan alapvető fogalmak megállapítása , amelyek a modellekkel és a számítási elmélettel foglalkoznak .

Az 1970-80-as években az volt a cél, hogy kollégáival közösen olyan könyvsorozatot írjanak, amely tükrözi a számítástechnika és a számítástechnika elméletének jelenlegi állását . A "Számítástechnika és információs technológia" sorozat könyvei elemi eszközökkel íródnak, és a számítástechnika legfontosabb részeinek bemutatását tárják fel az alkalmazott számítási rendszerek elméletén , a λ-számításon és a kombinatorikus logikán alapulva . Az alkalmazott megközelítést H. Curry matematikai iskolája befolyásolta  – D. Scott , R. Hindley, J. Seldin, H. Barendregt, P.-L. Curien.

A műszaki tudományok kandidátusa (1977), a disszertáció témája „Elméleti és mérnöki módszerek relációs információs bankok tervezésére automatizált vezérlőrendszerekben”.

A műszaki tudományok doktora (1990), „Adatbankok tervezésének fogalmi módszere” [1] tézise .

Tudományos eredmények

V. E. Wolfenhagen számára elsősorban a számítástechnika és az információtechnológia területén elért legújabb eredmények jelentik az érdeklődést . Az 1970-es években a merített számítástechnikai rendszerek módszerével munkatársaival és hallgatóival együtt megszervezte egy alkalmazásszámítási környezetbe integrált relációs DBMS prototípus kifejlesztését [2] . Munkatársaival együttműködve a relációs rendszerek elméletéről és a fogalmi modellező rendszerek elméletéről írt műveket. Beérkezett eredmények és publikált közlemények az alkalmazási számításokról, a számításelméletről , a számítási modellekről , a logikáról , a kombinatorikus logikáról , a λ-konverziós számításokról , az adatmodellekről, a kategorikus absztrakt gépről , a szemantikai hálózatokról , a programozási nyelvek szemantikájáról .

Hozzájárult a relációs rendszerek elméletének kidolgozásához . Jelentős mértékben hozzájárult az alkalmazott számítástechnikai rendszerek elméletének fejlesztéséhez .

Kutatást dolgozott ki számítási modellek felépítésére egy Descartes-i zárt kategóriában .

Jelenlegi munka

A MEPhI Műszaki Kibernetikai Tanszékének és a Moszkvai Fizikai és Technológiai Intézet Fizikai és Műszaki Informatikai Tanszékének professzora .

Bibliográfia

• Wolfenhagen V. E. Alkalmazó számítástechnika: Kísérletek a számítástechnika természetének megalapozására , a Népszerű tudományos cikkek gyűjteményében – Az RFBR 2006 verseny győztesei. 10. szám / Szerk. levelező tag RAS V. I. Konova. — M.: Polip. Priroda, 2007, 446-459.

• Wolfenhagen V. E., Kuzin L. T. , Sarkisyan V. I. Relációs módszerek adatbankok tervezésére  - Kijev: "Vishcha school", 1979. - 192 p.
• Wolfenhagen V. E., Yatsuk V. Ya . szerk. prof. L. A. Mayborody - A Szovjetunió Védelmi Minisztériuma, 1987. - 256 p.
• Stogniy A. A. , Wolfenhagen V. E., Kushnirov V. A., Araksyan V. V., Sarkisyan V. I., Shitikov A. V. Integrált adatbázisok tervezése  - Kijev: "Tekhnika", 1987. - 138 With.
• Wolfenhagen V. E. Programozási nyelvek tervezése. Leírási módszerek. - M: JSC Center YurInfoR, 2001. - 276 p. ISBN 5-89158-079-9 .
• Wolfenhagen V. E. Kategorikus absztrakt gép. Előadásjegyzet: bevezetés a számítástechnikába. - 2. kiadás - M: JSC Center YurInfoR, 2002. - 96 p. ISBN 5-89158-102-7 .
• Wolfenhagen VE Kombinatorikus logika a programozásban. Számítások objektumokkal példákban és feladatokban. — M.: MEPhI, 1994. — 204 p.; 2. kiadás, M .: JSC Center YurInfoR, 2003. - 336 p. ISBN 5-89158-101-9 .
• Wolfengagen VE Kombinációs logika programozásban Számítások objektumokkal példákon és gyakorlatokon keresztül. — 2. kiadás. - M.: Center JurInfoR Kft., 2003. - x + 337 p. ISBN 5-89158-101-9 .
• Wolfenhagen V. E. [Módszerek és eszközök objektumokkal történő számításhoz. Alkalmazó számítástechnikai rendszerek. - M .: JurInfoR Ltd., JSC "Center YurInfoR", 2004. - xvi + 789 p. ISBN 5-89158-100-0 .
• Wolfenhagen V. E. Logic. Előadásjegyzet: érvelési technika. 2. kiadás, kiegészítés. és átdolgozták. - M: JSC Center YurInfoR, 2004. - 229 p. ISBN 5-89158-135-3 .

Jegyzetek

1. ↑ Matematikai genealógia  (angol) - 1997.
2. ↑ Pantelejev alkalmazta .

Linkek

• Hivatalos oldal
  • A Számítástechnika és Informatika sorozat könyvei
• Jelenlegi tudományos munka
• Blog

• Lambda konverziók 320x240 demo videó, 5 perc.
• Kombinátorok Demo videó 320×240 felbontással, 5 perc.
• A λ-számítás és a kombinátorok története
• http://vew.0catch.com/