WikiSort.ru - Не сортированное

Вероятно, эта статья является автобиографической. Эта статья написана в неэнциклопедичном стиле, характерном для автобиографий или резюме, и поэтому нарушает стилистические правила Википедии и может нарушать правило о нейтральной точке зрения. Возможно, что её в значительном объёме редактирует герой статьи либо связанная с ним организация, либо другие заинтересованные лица. На странице обсуждения могут быть пояснения.

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

Для улучшения этой статьи желательно: Найти и оформить в виде сносок ссылки на независимые авторитетные источники, подтверждающие написанное. Викифицировать статью.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Примечания

Ссылки

• Официальный сайт
  • Книги серии «Компьютерные науки и информационные технологии»
• Текущая учебная работа
• Блог

Живое видео

• Ламбда-конверсии Демо-ролик с разрешением 320×240, 5 мин.
• Комбинаторы Демо-ролик с разрешением 320×240, 5 мин.
• История λ-исчисления и комбинаторов
• http://vew.0catch.com/