Wolfenhagen, Vyacheslav Ernstovici

Vyacheslav Ernstovich Wolfenhagen ( 30 martie 1948 , Moscova ) - doctor în științe tehnice , profesor , matematician și inginer rus .

Cercetările sale combină informatica , matematica și logica matematică și își propune să stabilească concepte fundamentale care abordează modelele și teoria calculului .

În anii 1970-1980, scopul era acela de a scrie, împreună cu colegii, o serie de cărți care să reflecte stadiul actual al teoriei informaticii și calculului . Cărțile din seria „Computer Science and Information Technology” sunt scrise folosind mijloace elementare și dezvăluie prezentarea celor mai importante secțiuni ale informaticii bazate pe teoria sistemelor de calcul aplicative , λ-calcul și logica combinatorie . Abordarea aplicată a fost influențată de școala de matematică a lui H. Curry  - D. Scott , R. Hindley, J. Seldin, H. Barendregt, P.-L. Curien.

Candidat la Științe Tehnice (1977), tema tezei este „Metode teoretice și inginerești pentru proiectarea băncilor de informații relaționale în sisteme de control automatizate”.

Doctor în științe tehnice (1990), tema teză „Metoda conceptuală de proiectare a băncilor de date” [1] .

Realizări științifice

Pentru V. E. Wolfenhagen, interesul principal îl reprezintă cele mai recente realizări în domeniul informaticii și tehnologiei informației . În anii 1970, folosind metoda sistemelor de calcul imersat, el, împreună cu colegii și studenții, a organizat dezvoltarea unui prototip SGBD relațional integrat cu un mediu de calcul aplicativ [2] . În colaborare cu colegii, a scris lucrări despre teoria sistemelor relaționale și teoria sistemelor de modelare conceptuală. Rezultate primite și lucrări publicate despre calcul aplicativ, teoria calculului , modele de calcul , logică , logică combinatorie , calcul λ-conversie , modele de date, mașină abstractă categorială , rețele semantice , semantica limbajelor de programare .

A contribuit la dezvoltarea teoriei sistemelor relaționale . El a adus contribuții importante la dezvoltarea teoriei sistemelor de calcul aplicative .

Cercetări dezvoltate privind construcția modelelor computaționale într-o categorie închisă carteziană .

Lucrarea curentă

Profesor al Departamentului de Cibernetică Tehnică la MEPhI și al Departamentului de Informatică Fizică și Tehnică la Institutul de Fizică și Tehnologie din Moscova .

Bibliografie

• Wolfenhagen V. E. Aplicative Computing: Attempts to Establish the Nature of Computing , în Colecția de Articole de Științe Populare - Câștigători ai Concursului RFBR 2006. Numărul 10. / Ed. membru corespondent RAS V. I. Konova. — M.: Caracatiță. Priroda, 2007, p. 446-459.

• Wolfenhagen V. E., Kuzin L. T. , Sarkisyan V. I. Metode relaționale pentru proiectarea băncilor de date  - Kiev: „Școala Vișcha”, 1979. - 192 p.
• Wolfenhagen V. E., Yatsuk V. Ya . ed. prof. L. A. Mayborody - Ministerul Apărării al URSS, 1987. - 256 p.
• Stogniy A. A. , Wolfenhagen V. E., Kushnirov V. A., Araksyan V. V., Sarkisyan V. I., Shitikov A. V. Proiectarea bazelor de date integrate  - Kiev: „Tekhnika”, 1987. - 138 Cu.
• Wolfenhagen V. E. Proiectări de limbaje de programare. Metode de descriere. - M: SA Centrul YurInfoR, 2001. - 276 p. ISBN 5-89158-079-9 .
• Wolfenhagen V. E. Mașină abstractă categorică. Note de curs: o introducere în calcul. - Ed. a II-a. - M: JSC Center YurInfoR, 2002. - 96 p. ISBN 5-89158-102-7 .
• Wolfenhagen VE Logica combinatorie în programare. Calcule cu obiecte în exemple și probleme. — M.: MEPhI, 1994. — 204 p.; Ed. a II-a, M .: JSC Center YurInfoR, 2003. - 336 p. ISBN 5-89158-101-9 .
• Wolfengagen VE Logica combinatorie in programare Calcule cu obiecte prin exemple si exercitii. — Ed. a II-a. - M.: Centrul JurInfoR Ltd., 2003. - x + 337 p. ISBN 5-89158-101-9 .
• Wolfenhagen V. E. [Metode și instrumente de calcul cu obiecte. Sisteme de calcul aplicative. - M .: JurInfoR Ltd., SA „Center YurInfoR”, 2004. - xvi + 789 p. ISBN 5-89158-100-0 .
• Wolfenhagen V. E. Logic. Note de curs: tehnica raționamentului. Ed. a II-a, supliment. și refăcut. - M: SA Centrul YurInfoR, 2004. - 229 p. ISBN 5-89158-135-3 .

Note

1. ↑ Genealogia matematică  (engleză) - 1997.
2. ↑ Aplicat de Panteleev .

Link -uri

• Site-ul oficial
  • Cărți din seria Informatică și Tehnologia Informației
• Lucrări academice curente
• Blog

• Video demonstrativ Lambda Conversions 320x240, 5 min.
• Combinatori video Demo cu o rezoluție de 320×240, 5 min.
• Istoria calculului λ și a combinatorilor
• http://vew.0catch.com/