Про знаменитості

Біографія

Вольфенгаген В'ячеслав Ернстович: біографія

День народження 30 березня 1948

доктор технічних наук, професор, російський математик та інженер

У його дослідженнях з'єднуються комп'ютерні науки, математика та математична логіка і спрямовуються на встановлення фундаментальних понять, які адресуються до моделей і теорії обчислень.

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

Наукові досягнення

Для В. Е. Вольфенгагена основним інтересом є новітні досягнення в галузі комп'ютерних наук та інформаційних технологій. Застосувавши метод занурених обчислювальних систем, він першим у нашій країні в 1970-і роки, разом з колегами та учнями, організував розробку прототипну реляційної СУБД, інтегрованої з аплікативного середовищем обчислень. У співпраці з колегами написав роботи з теорії реляційних систем і теорії систем концептуального моделювання. Отримав результати і опублікував роботи по аплікативного обчислень, теорії обчислень, моделями обчислень, логіці, комбінаторної логіки, переліченням ?-конверсій, моделями даних, категоріальної абстрактної машині, семантичним мережам, семантиці мов програмування.

Вніс внесок у розробку теорії реляційних систем. Вніс важливий внесок у розробку теорії аплікативного обчислювальних систем.

Розвинув дослідження з побудови моделей обчислень в декартовій замкнутої категорії.

Поточна робота

Професор МІФІ, МФТІ.

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

Вольфенгаген В. Е.аплікативного комп'ютинг: спроби встановити природу обчислень, в Збірнику науково-популярних статей - переможців конкурсу РФФД 2006 року. Випуск 10. / Под ред. чл.-кор. РАН В. І. Конова. - М.: Октопус. Природа, 2007. С. 446-459.

Вольфенгаген В. Е.Комбінаторна логіка в програмуванні. Обчислення з об'єктами у прикладах і задачах. - М.: МІФІ, 1994. - 204 с.; 2-е вид., М.: АТ «Центр ЮрИнфоР», 2003. - 336 с. ISBN 5-89158-101-9.
Вольфенгаген В. Е., Кузін Л. Т., Саркісян В. І.Реляційні методи проектування банків даних - Київ: «Вища школа », 1979. - 192 с.
Стогній А. А., Вольфенгаген В. Е., Кушніров В. А., Араксян В. В., Саркісян В. І., Шитиков А. В. Проектування інтегрованих баз даних - Київ: «Техніка», 1987. - 138 с.
Вольфенгаген В. Е.Конструкції мов програмування. Прийоми опису. - М: АТ «Центр ЮрИнфоР», 2001. - 276 с. ISBN 5-89158-079-9.
Вольфенгаген В. Е.Логіка. Конспект лекцій: техніка міркувань. 2-е вид., Додатк. і перераб. - М: АТ «Центр ЮрИнфоР», 2004. - 229 с. ISBN 5-89158-135-3.
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.
Вольфенгаген В. Е.Категоріальна абстрактна машина. Конспект лекцій: введення в обчислення. - 2-е вид. - М: АТ «Центр ЮрИнфоР», 2002. - 96 с. ISBN 5-89158-102-7.
Вольфенгаген В. Е., Яцук В. Я.аплікативного обчислювальні системи і концептуальний метод проектування систем знань / під. ред. проф. Л. А. Майбороди - Міністерство Оборони СРСР, 1987. - 256 с.
Вольфенгаген В. Е.[Методи і засоби обчислень з об'єктами. Аплікативного обчислювальні системи. - М.: JurInfoR Ltd., АТ «Центр ЮрИнфоР», 2004. - Xvi +789 с. ISBN 5-89158-100-0.