Wolfenhagen, Vjatšeslav Ernstovich

Vjatšeslav Ernstovich Wolfenhagen ( 30. maaliskuuta 1948 , Moskova ) - teknisten tieteiden tohtori , professori , venäläinen matemaatikko ja insinööri .

Hänen tutkimuksessaan yhdistyvät tietojenkäsittelytiede , matematiikka ja matemaattinen logiikka ja tavoitteena on luoda peruskäsitteitä , jotka käsittelevät malleja ja laskentateoriaa .

1970-80-luvulla tavoitteena oli kirjoittaa yhdessä kollegoiden kanssa sarja kirjoja, jotka kuvastavat tietojenkäsittelytieteen ja laskennan teorian nykytilaa . Tietojenkäsittelytiede ja tietotekniikka -sarjan kirjat on kirjoitettu alkeellisilla keinoilla ja ne paljastavat tietojenkäsittelytieteen tärkeimpien osien esityksen sovellusten laskentajärjestelmien teorian , λ-laskennan ja kombinatorisen logiikan teorian pohjalta . Käytettyyn lähestymistapaan vaikuttivat H. Curryn matemaattinen koulukunta  - D. Scott , R. Hindley, J. Seldin, H. Barendregt, P.-L. Curien.

Teknillisten tieteiden kandidaatti (1977), väitöskirjan aiheena on "Teoreettiset ja tekniset menetelmät relaatiotietopankkien suunnitteluun automatisoiduissa ohjausjärjestelmissä".

Teknisten tieteiden tohtori (1990), opinnäytetyön aihe "Konseptuaalinen menetelmä tietopankkien suunnitteluun" [1] .

Tieteelliset saavutukset

V. E. Wolfenhagenille tärkein kiinnostus on viimeisimmät saavutukset tietojenkäsittelytieteen ja tietotekniikan alalla . Hän järjesti 1970-luvulla upotettujen laskentajärjestelmien menetelmää käyttäen yhdessä kollegoiden ja opiskelijoiden kanssa relaatiotietokannan prototyypin kehittämisen, joka oli integroitu sovelluslaskentaympäristöön [2] . Hän kirjoitti yhteistyössä kollegoiden kanssa teoksia relaatiojärjestelmien teoriasta ja käsitteellisten mallinnusjärjestelmien teoriasta. Saadut tulokset ja julkaistut artikkelit soveltavasta laskennasta, laskentateoriasta , laskentamalleista , logiikasta , kombinatorisesta logiikasta , λ-muunnoslaskennasta , tietomalleista, kategorisesta abstraktista koneesta , semanttisista verkoista , ohjelmointikielten semantiikasta .

Osallistunut relaatiojärjestelmien teorian kehittämiseen . Hän antoi merkittävän panoksen soveltavien tietojenkäsittelyjärjestelmien teorian kehittämiseen .

Kehitetty tutkimusta laskennallisten mallien rakentamisesta suorakulmaisessa suljetussa kategoriassa .

Nykyinen työ

MEPhI :n teknisen kybernetiikan laitoksen ja Moskovan fysiikan ja tekniikan instituutin fysiikan ja teknisen informatiikan laitoksen professori .

Bibliografia

• Wolfenhagen V. E. Applicative Computing: Yritykset luoda tietotekniikan luonne kokoelmassa populaaritieteellisiä artikkeleita - RFBR 2006 -kilpailun voittajat. Numero 10. / Toim. vastaava jäsen RAS V. I. Konova. - M.: Mustekala. Priroda, 2007, s. 446-459.

• Wolfenhagen V. E., Kuzin L. T. , Sarkisyan V. I. Relaatiomenetelmät tietopankkien suunnitteluun  - Kiova: "Vishcha school", 1979. - 192 s.
• Wolfenhagen V. E., Yatsuk V. Ya . toim. prof. L. A. Mayborody - Neuvostoliiton puolustusministeriö, 1987. - 256 s.
• Stogniy A. A. , Wolfenhagen V. E., Kushnirov V. A., Araksyan V. V., Sarkisyan V. I., Shitikov A. V. Integroitujen tietokantojen suunnittelu  - Kiova: "Tekhnika", 1987. - 138 Kanssa.
• Wolfenhagen V. E. Ohjelmointikielten suunnittelu. Kuvausmenetelmät. - M: JSC Center YurInfoR, 2001. - 276 s. ISBN 5-89158-079-9 .
• Wolfenhagen V. E. Kategorinen abstrakti kone. Luentomuistiinpanot: johdatus tietojenkäsittelyyn. - 2. painos - M: JSC Center YurInfoR, 2002. - 96 s. ISBN 5-89158-102-7 .
• Wolfenhagen VE Kombinatorinen logiikka ohjelmoinnissa. Laskutoimitukset esineillä esimerkeissä ja tehtävissä. - M.: MEPhI, 1994. - 204 s.; 2. painos, M .: JSC Center YurInfoR, 2003. - 336 s. ISBN 5-89158-101-9 .
• Wolfengagen VE Kombinatorinen logiikka ohjelmoinnissa Laskentaobjektien avulla esimerkkien ja harjoitusten avulla. – 2. painos - M.: Center JurInfoR Ltd., 2003. - x + 337 s. ISBN 5-89158-101-9 .
• Wolfenhagen V. E. [Menetelmiä ja työkaluja laskentaan objektien kanssa. Sovellettavat laskentajärjestelmät. - M .: JurInfoR Ltd., JSC "Center YurInfoR", 2004. - xvi + 789 s. ISBN 5-89158-100-0 .
• Wolfenhagen V. E. Logic. Luentomuistiinpanot: päättelytekniikka. 2. painos, täydennys. ja työstetty uudelleen. - M: JSC Center YurInfoR, 2004. - 229 s. ISBN 5-89158-135-3 .

Muistiinpanot

1. ↑ Matemaattinen sukututkimus  (englanniksi) - 1997.
2. ↑ Panteleev soveltanut .

Linkit

• Virallinen sivusto
  • Tietojenkäsittelytieteen ja tietotekniikan sarjan kirjoja
• Nykyinen akateeminen työ
• Blogi

• Lambda Conversions 320x240 demovideo, 5 min.
• Combinators Demovideo resoluutiolla 320×240, 5 min.
• λ-laskimen ja kombinaattorien historia
• http://vew.0catch.com/