Interested Article - Вольфенгаген, Вячеслав Эрнстович

Вячеслав Эрнстович Вольфенгаген ( 30 марта 1948 ( 1948-03-30 ) , Москва ) — доктор технических наук , профессор , российский математик и инженер .

В его исследованиях соединяются компьютерные науки , математика и математическая логика и направляются на установление фундаментальных понятий, которые адресуются к моделям и теории вычислений .

В 1973 году окончил Московский инженерно-физический институт (с 2009 года — Национальный исследовательский ядерный университет «МИФИ»).

В 1970-80-е годы целью являлось написание, совместно с коллегами, серии книг, отражающих современное состояние теории компьютерных наук и . Книги серии «Компьютерные науки и информационные технологии» написаны элементарными средствами и раскрывают изложение важнейших разделов компьютерных наук на основе теории аппликативных вычислительных систем , λ-исчисления и комбинаторной логики . На применяемый подход оказала влияние математическая школа Х. Карри — Д. Скотт , Р. Хиндли, Дж. Селдин, Х. Барендрегт, П.-Л. Курьен.

Кандидат технических наук (1977), тема диссертации «Теоретические и инженерные методы проектирования реляционных банков информации в АСУ».

Доктор технических наук (1990), тема диссертации «Концептуальный метод проектирования банков данных» .

Научные достижения

Для В. Э. Вольфенгагена основным интересом являются новейшие достижения в области компьютерных наук и информационных технологий . В 1970-е годы, применив метод погруженных вычислительных систем, он, вместе с коллегами и учениками, организовал разработку прототипной реляционной СУБД , интегрированной с аппликативной средой вычислений . В сотрудничестве с коллегами написал работы по теории реляционных систем и теории систем концептуального моделирования. Получил результаты и опубликовал работы по аппликативным вычислениям, теории вычислений , моделям вычислений , логике , комбинаторной логике , исчислению λ-конверсий , моделям данных, категориальной абстрактной машине , семантическим сетям , семантике языков программирования .

Внёс вклад в разработку теории реляционных систем . Внес важный вклад в разработку теории аппликативных вычислительных систем .

Развил исследования по построению моделей вычислений в декартово замкнутой категории .

Текущая работа

Профессор кафедры технической кибернетики МИФИ и кафедры физико-технической информатики МФТИ .

Библиография

Статьи последних лет

Вольфенгаген В. Э. , в Сборнике научно-популярных статей — победителей конкурса РФФИ 2006 года. Выпуск 10. / Под ред. чл.-корр. РАН В. И. Конова. — М.: Октопус. Природа, 2007. С. 446—459.

Основные книги

Вольфенгаген В. Э., Кузин Л. Т. , Саркисян В. И. — Киев: «Вища школа», 1979. — 192 с.
Вольфенгаген В. Э., / под. ред. проф. Л. А. Майбороды — Министерство Обороны СССР, 1987. — 256 с.
Стогний А. А. , Вольфенгаген В. Э., Кушниров В. А., Араксян В. В., Саркисян В. И., Шитиков А. В. — Киев: «Техніка», 1987. — 138 с.
Вольфенгаген В. Э. Конструкции языков программирования. Приемы описания. — М: АО «Центр ЮрИнфоР», 2001. — 276 с. ISBN 5-89158-079-9 .
Вольфенгаген В. Э. Категориальная абстрактная машина. Конспект лекций: введение в вычисления. — 2-е изд. — М: АО «Центр ЮрИнфоР», 2002. — 96 с. ISBN 5-89158-102-7 .
Вольфенгаген В. Э. Комбинаторная логика в программировании. Вычисления с объектами в примерах и задачах. — М.: МИФИ, 1994. — 204 с.; 2-е изд., М.: АО «Центр ЮрИнфоР», 2003. — 336 с. ISBN 5-89158-101-9 .
Wolfengagen V. E. Computations with objects through examples and exercises. — 2nd ed. — M.: Center JurInfoR Ltd., 2003. — x+337 с. ISBN 5-89158-101-9 .
Вольфенгаген В. Э. [Методы и средства вычислений с объектами. Аппликативные вычислительные системы. — М.: JurInfoR Ltd., АО «Центр ЮрИнфоР», 2004. — xvi+789 с. ISBN 5-89158-100-0 .
Вольфенгаген В. Э. Логика. Конспект лекций: техника рассуждений. 2-е изд., дополн. и перераб. — М: АО «Центр ЮрИнфоР», 2004. — 229 с. ISBN 5-89158-135-3 .