Wolfenhagen, Vyacheslav Ernstovich

Vyacheslav Ernstovich Wolfenhagen ( 30. marts 1948 , Moskva ) - Doktor i tekniske videnskaber , professor , russisk matematiker og ingeniør .

Hans forskning kombinerer datalogi , matematik og matematisk logik og sigter mod at etablere grundlæggende begreber, der adresserer modeller og beregningsteorien .

I 1970-80'erne var målet at skrive, sammen med kolleger, en række bøger, der afspejlede den nuværende tilstand af teorien om datalogi og databehandling . Bøgerne i serien "Computer Science and Information Technology" er skrevet ved hjælp af elementære midler og afslører præsentationen af ​​de vigtigste dele af datalogi baseret på teorien om applikative computersystemer , λ-calculus og kombinatorisk logik . Den anvendte tilgang var påvirket af den matematiske skole af H. Curry  - D. Scott , R. Hindley, J. Seldin, H. Barendregt, P.-L. Curien.

Kandidat for Teknisk Videnskab (1977), afhandlingens emne er "Teoretiske og ingeniørmæssige metoder til design af relationelle informationsbanker i automatiserede kontrolsystemer".

Doctor of Technical Sciences (1990), specialeemne "Konceptuel metode til design af databanker" [1] .

Videnskabelige resultater

For V. E. Wolfenhagen er hovedinteressen de seneste resultater inden for datalogi og informationsteknologi . I 1970'erne organiserede han ved hjælp af nedsænkede computersystemer, sammen med kolleger og studerende udviklingen af ​​en prototype relationel DBMS integreret med et applikationscomputermiljø [2] . I samarbejde med kolleger skrev han værker om teorien om relationelle systemer og teorien om konceptuelle modelleringssystemer. Modtaget resultater og publicerede artikler om applikativ beregning, teori om beregning , beregningsmodeller , logik , kombinatorisk logik , λ-konverteringsregning , datamodeller, kategorisk abstrakt maskine , semantiske netværk , semantik af programmeringssprog .

Bidraget til udviklingen af ​​teorien om relationelle systemer . Han ydede vigtige bidrag til udviklingen af ​​teorien om applikative computersystemer .

Udviklet forskning i konstruktion af beregningsmodeller i en kartesisk lukket kategori .

Nuværende arbejde

Professor ved Institut for Teknisk Kybernetik ved MEPhI og Institut for Fysisk og Teknisk Informatik ved Moscow Institute of Physics and Technology .

Bibliografi

• Wolfenhagen V. E. Applicative Computing: Attempts to Establish the Nature of Computing , i samling af populærvidenskabelige artikler - Vindere af RFBR 2006-konkurrencen. Udgave 10. / Udg. tilsvarende medlem RAS V. I. Konova. — M.: Blæksprutte. Priroda, 2007, s. 446-459.

• Wolfenhagen V. E., Kuzin L. T. , Sarkisyan V. I. Relationelle metoder til design af databanker  - Kiev: "Vishcha school", 1979. - 192 s.
• Wolfenhagen V. E., Yatsuk V. Ya . udg. prof. L. A. Mayborody - Forsvarsministeriet i USSR, 1987. - 256 s.
• Stogniy A. A. , Wolfenhagen V. E., Kushnirov V. A., Araksyan V. V., Sarkisyan V. I., Shitikov A. V. Design af integrerede databaser  - Kiev: "Tekhnika", 1987. - 138 With.
• Wolfenhagen V. E. Design af programmeringssprog. Beskrivelsesmetoder. - M: JSC Center YurInfoR, 2001. - 276 s. ISBN 5-89158-079-9 .
• Wolfenhagen V. E. Kategorisk abstrakt maskine. Forelæsningsnoter: en introduktion til computing. - 2. udg. - M: JSC Center YurInfoR, 2002. - 96 s. ISBN 5-89158-102-7 .
• Wolfenhagen VE Kombinatorisk logik i programmering. Beregninger med objekter i eksempler og opgaver. — M.: MEPhI, 1994. — 204 s.; 2. udg., M .: JSC Center YurInfoR, 2003. - 336 s. ISBN 5-89158-101-9 .
• Wolfengagen VE Kombinatorisk logik i programmering Beregninger med objekter gennem eksempler og øvelser. — 2. udg. - M.: Center JurInfoR Ltd., 2003. - x + 337 s. ISBN 5-89158-101-9 .
• Wolfenhagen V. E. [Metoder og værktøjer til beregning med objekter. Applikative computersystemer. - M .: JurInfoR Ltd., JSC "Center YurInfoR", 2004. - xvi + 789 s. ISBN 5-89158-100-0 .
• Wolfenhagen V. E. Logic. Forelæsningsnotater: ræsonneringsteknik. 2. udg., supplement. og omarbejdet. - M: JSC Center YurInfoR, 2004. - 229 s. ISBN 5-89158-135-3 .

Noter

1. ↑ Matematisk genealogi  (engelsk) - 1997.
2. ↑ Anvendt af Panteleev .

Links

• Officiel side
  • Bøger i serien Computer Science and Information Technology
• Aktuelt akademisk arbejde
• Blog

• Lambda Conversions 320x240 demovideo, 5 min.
• Combinators Demo video med en opløsning på 320×240, 5 min.
• Historien om λ-regningen og kombinatorerne
• http://vew.0catch.com/