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

Вольфенгаген Вячеслав Эрнстович
Дата рождения	30 марта 1948(1948-03-30) (76 лет)
Место рождения	Москва, СССР
Страна	Россия
Род деятельности	математик
Научная сфера	Компьютерные науки, математическая логика, программирование
Место работы	МФТИ МИФИ[1][2]^[…] Institute of Contemporary Education "YurInfoR-MGU"^[вд][1]
Альма-матер	НИЯУ МИФИ[3]
Научный руководитель	Кузин Л. Т.
Известен как	Аппликативные вычислительные системы
Сайт	wolfengagen.mephi.ru

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

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

Обучение и студенческие публикации

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

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

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

В 1990г. — доктором технических наук, тема диссертации «Концептуальный метод проектирования банков данных»[1].

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

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

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

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

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

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

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

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

• Вольфенгаген В. Э. Аппликативный компьютинг: попытки установить природу вычислений, в Сборнике научно-популярных статей — победителей конкурса РФФИ 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. Combinatory logic in programming 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.

Примечания

1. Viacheslav Wolfengagen // ORCID iD (англ.) — 2012.
2. Viacheslav Ernstovich Wolfengagen // Scopus (англ.) — Amsterdam: Elsevier, 2004. — ISSN 2588-9885
3. Viacheslav Wolfengagen // Mathematics Genealogy Project (англ.) — 1997.
4. Вольфенгаген В. Э, Исмаилова Л. Ю, Косиков С. В. Структура компьютинга и конструирование вычисления // Машиностроение и компьютерные технологии. — 2010. — Вып. 08. — С. 9.
5. Исмаилова Лариса Юсифовна, Косиков Сергей Владимирович. Ситуационно обусловленное оценивание для управления семантикой в обучающих системах по юриспруденции // Прикаспийский журнал: управление и высокие технологии. — 2011. — Вып. 2. — С. 68–73. — ISSN 2074-1707.

Живое видео

• История λ-исчисления и комбинаторов