Вольфенгаген Вячеслав Эрнстович |
Как со мной связаться
|
В.Э. Вольфенгаген получил степень кандидата технических наук в 1977 г. (Теоретические и инженерные методы проектирования реляционных банков информации в АСУ, специальность 05.13.06 -- Автоматизированные системы управления) и степень доктора технических наук в 1990 г. (Концептуальный метод проектирования банков данных, специальность 05.13.11 -- Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей)в МИФИ. | |
Деятельность
Профессор: дискретная математика, информатика, информационные технологии.Научная деятельность
В течение ряда лет занимаюсь построением и исследованием вычислительных
моделей, для которых основным
разрабатываемым понятием было и остается представление о вычислении (computing).
Это понятие оказалось оснащенным комплексом дисциплин, важную роль среди которых в
настоящее время занимает теория объектов (domain theory; theory of objects).
В частности, теория объектов для денотационной семантики насчитывает более
тридцати лет и за это время многими людьми предложено целое
многообразие вычислительных идей и интересных конструкций, возникло много
трактовок представления об объекте. Для развития программирования
плодотворной оказалась теория объектов в форме декартово замкнутой категории
(д.з.к.), в которой имеются произведения и функциональные пространства,
позволяющие интерпретировать ламбда-исчисление с типами, а также получать
решения для уравнений с объектами. Как оказывается, интерпретацию получают
рекурсивные определения объектов и, возможно, объекты
ламбда-исчисления без типов.
|
Живое видео
|
|
Полноформатный видеокурс по аппликативному компьютингу, подробности распространения.
Учебная работа
Периодически руковожу индивидуальной компьютерной практикой в ИАО "ЮрИнфоР-МГУ", которая включает компьютерную графику, 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, МИФИ -- Центр "ЮрИнфоР").
::Книги
Серия: Компьютерные науки и
информационные технологии. |
Диссертации
Диссертации, отражающие научные результаты, которые были получены в разное время в ходе совместной работы. Перейти к диссертациям.
Дипломные проекты
Дипломные проекты, отражающие текущие научные и/или инженерные интересы. Перейти к дипломным проектам.
Учебно-исследовательские работы и курсовые проекты (УИР и КП)
Учебно-исследовательские работы и курсовые проекты, отражающие текущие научные и/или инженерные интересы. Перейти к УИР и КП.
В мои научные интересы входят Базы Данных в целом, объектно-ориентированные системы, логика, компьютерные науки и, в частности, разделы ламбда-исчисления, комбинаторной логики и теории категорий.
Мои исследования в области компьютинга кратко систематизированы в статье
Мои нынешние взгляды на роль и место представления об объекте в информатике, компьютерных науках и информационных технологиях отражает презентация
Комбинаторная логика в программировании, представленная на конференции Технологии информатизации профессиональной деятельности, ТИПД-04, Ижевск, 2004 г.
Мои интересы в области функционального программирования в известной мере отражает работа
Functional Notation for Indexed Concepts, представленная на 9th International Workshop on Functional and Logic Programming (WFLP'2000) http://www.dsic.upv.es/~wflp2000/,
Из работ прошлых лет, возможно, наиболее значительной является работа
Object-oriented
solutions, представленная в Proceedings of the
Second International Workshop on Advances in Databases and Information
systems (ADBIS'95).
Abstract. This paper
contains the outline of motivations, mathematical ideas in use,
pre-formalisation and assumptions for `object-as-functor' construction. The
development of `soft' types and their connection with variable domains is
discussed within the categorical evaluator framework. The computation
environment is fitted to match the evaluation in a category. The commutative
diagrams are used to maintain the dynamics of objects. Case study of objects
gives the distinction between singular objects, f-cloned objects, g-transacted
objects. In particular, the 1A-cloned and 1A-transacted objects are shown to be similar to intuitively
`static' objects. A set of examples is generated to illustarate the
computational features of the data model. The optimal computations have
been achieved for a `soft' typed higher-order language. Other promising
corollaries include the connections with higher-order functions, leading to
purely applicative computations. While previous evaluators have been, in a
sense, static evaluators, this one is a dynamical evaluator (`events evolve
along the evolvent'), thus generating the new kind of computations with the
`soft' types.
Еще некоторые из работ прошлых лет:
Computational Aspects of Data Objects, доклад, напечатанный в
Proceedings of the Workshop on Advances in Databases and Information
Systems (ADBIS'93). May 11-14, 1993. Moscow: Russian Academy of Sciences,
IPI.
Abstract: The symbolic computations based on the
lambda-calculus or combinatory logic involve typed objects giving rise to the
family of the object-oriented calculi. The natural family results from the
assuming object as a triple <concept, individual, state>. The
right framework is given by the representative functor that generates the
variable concepts. Thus the idea of `data object' or
`metadata object' is derived from the universe with the useful
mathematical properties. Some parameters can be indicated to simulate data
object as the mathematical process to provide the additional dimension of
`evolving the events'. The basic technique of applicative reasoning
in this paper goes further to apply the variable concepts to deeper analysis
of the data object origin.
Одна из моих работ прошлых лет по искусственному интеллекту:
Еще несколько книг прошлых лет:
Список более современных публикаций можно найти в книгах последних лет, а также, воспользовавшись 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 | |
Ламбда-исчисление: первичные сведения | |
Группа принципов языков программирования (ПЯП) |
Специалисты в области вычислений с объектами
Для удобства начала исследовательской работы в этой области посетите эту страницу. Страница находится в стадии разработки. |