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

Как со мной связаться

Факс, почтовый адрес и т.п.

 
В.Э. Вольфенгаген получил степень кандидата технических наук в 1977 г. (Теоретические и инженерные методы проектирования реляционных банков информации в АСУ, специальность 05.13.06 -- Автоматизированные системы управления) и степень доктора технических наук в 1990 г. (Концептуальный метод проектирования банков данных, специальность 05.13.11 -- Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей)в МИФИ.

Деятельность

Профессор: дискретная математика, информатика, информационные технологии.
  • Детали на URL: http://jurinfor.exponenta.ru.
  • WebLogging: http://www.LiveJournal.com/users/vewacs

    Научная деятельность

    В течение ряда лет занимаюсь построением и исследованием вычислительных моделей, для которых основным разрабатываемым понятием было и остается представление о вычислении (computing). Это понятие оказалось оснащенным комплексом дисциплин, важную роль среди которых в настоящее время занимает теория объектов (domain theory; theory of objects). В частности, теория объектов для денотационной семантики насчитывает более тридцати лет и за это время многими людьми  предложено целое многообразие вычислительных идей и интересных конструкций, возникло много трактовок представления об объекте. Для развития программирования плодотворной оказалась теория объектов в форме декартово замкнутой категории (д.з.к.), в которой имеются произведения и функциональные пространства, позволяющие интерпретировать ламбда-исчисление с типами, а также получать решения для уравнений с объектами. Как оказывается, интерпретацию получают рекурсивные определения объектов и, возможно, объекты ламбда-исчисления без типов.
  • Детали на URL: http://vew.0catch.com.
  • Живое видео

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

    Учебная работа

    Периодически руковожу индивидуальной компьютерной практикой в ИАО "ЮрИнфоР-МГУ", которая включает компьютерную графику, 3D-графику и анимацию, подготовку научных текстов с использованием LaTeX, проектирование баз данных.

    Для слушателей ИАО "ЮрИнфоР-МГУ" я читаю курс логики. В этом году рассматриваются вопросы техники формальных рассуждений, включающей сентенциальное исчисление со связками `NOT', `IF', `AND', `OR', `IF AND ONLY IF'. Уделяется внимание связи с рассуждениями в естественном языке, поэтому рассматриваются перевод и символизация, правила вывода, сокращенные доказательства. Применяются различные формы допущений, рассматривается истинностнозначный анализ предложений и формы фальсификации.

    В МИФИ на кафедре кибернетики я читаю курс дискретной математики, имеющий связь с проблематикой теоретических компьютерных наук. Разделы курса включают аппликативные вычисления (ламбда-исчисление и комбинаторную логику), построение абстрактных машин и средств вычисления значения, вычисления в категории, категориальную абстрактную машину, исчисления с типами. Курс обеспечен руководствами, которые дают студентам возможность изучить решения наиболее важных задач теории вычислений, а в текущем учебном году я работаю совместно с М.Л. Файбисовичем

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


    Научные исследования

    Область научных интересов составляют модели данных, проектирование баз данных, реализация баз данных, объектное и объектно-ориентированное программирование и проектирование, языки программирования, аппликативные вычислительные системы. Под моим руководством выполнены исследовательские проекты Логико-Аппликативная Моделирующая База ДАнных ЛАМБДА (версия 3, проект 93-01-00943 по гранту РФФИ), Категориальная Объектно-Ориентированная Абстрактная Машина КООАМ (проект 96-01-01923 по гранту РФФИ), Объекты метаданных для основанной на прокси вычислительной среды (проект 99-01-01229 по гранту РФФИ). Детали на URL: http://vew.0catch.com.

    Книги, конференции

    В 1999-2003 гг. являлся председателем Международных конференций по компьютерным наукам и информационным технологиям -- International Workshops in Computer Science and Information Technologies (CSIT). Член программного комитета 29-й Международной конференции по Очень Большим Базам Данных -- 29th International Conference on Very Large Data Bases (9-12 September 2003, Berlin, Germany). Автор книг Логика: Техника рассуждений (2001, Центр "ЮрИнфоР"), Конструкции языков программирования: Приемы описания (2001, Центр "ЮрИнфоР'), Категориальная абстрактная машина: Введение в вычисления (2002, Центр "ЮрИнфоР"), Комбинаторная логика в программировании: Вычисления с объектами в примерах и задачах (2003, МИФИ -- Центр "ЮрИнфоР").

    ::Книги

    Серия: Компьютерные науки и информационные технологии.
    Публикации в этой серии задуманы как продолжающийся ряд работ в области компьютерных наук, информационных технологий и программирования, способствующих накоплению знаний в этих областях. Предисловие редакторов серии

    ::Как приобрести книги серии

    Диссертации

    Диссертации, отражающие научные результаты, которые были получены в разное время в ходе совместной работы. Перейти к диссертациям.

    Дипломные проекты

    Дипломные проекты, отражающие текущие научные и/или инженерные интересы. Перейти к дипломным проектам.

    Учебно-исследовательские работы и курсовые проекты (УИР и КП)

    Учебно-исследовательские работы и курсовые проекты, отражающие текущие научные и/или инженерные интересы. Перейти к УИР и КП.

    Научная работа

    В мои научные интересы входят Базы Данных в целом, объектно-ориентированные системы, логика, компьютерные науки и, в частности, разделы ламбда-исчисления, комбинаторной логики и теории категорий.

    Мои исследования в области компьютинга кратко систематизированы в статье

    Мои нынешние взгляды на роль и место представления об объекте в информатике, компьютерных науках и информационных технологиях отражает презентация

    Мои интересы в области функционального программирования в известной мере отражает работа

    Из работ прошлых лет, возможно, наиболее значительной является работа

    Еще некоторые из работ прошлых лет:

    Одна из моих  работ прошлых лет по искусственному интеллекту:

    Еще несколько книг прошлых лет:

    Список более современных публикаций можно найти в книгах последних лет, а также, воспользовавшись The Computing Research Repository (CoRR): http://arxiv.org/find/cs.

    Программное обеспечение

    Разное

    Для получения свежей информации о книгах воспользуйтесь сервером http://www.jurinfor.ru/.
      Higher-Order and Symbolic Computation (formerly LISP and Symbolic Computation) http://www.kluweronline.com/issn/1388-3690
    Ламбда-исчисление: первичные сведения
      Группа принципов языков программирования (ПЯП)

    Специалисты в области вычислений с объектами

    Для удобства начала исследовательской работы в этой области посетите эту страницу. Страница находится в стадии разработки.