ЮрИнфоР >>> Институт актуального образования "ЮрИнфоР-МГУ" >>>
Вячеслав Эрнстович Вольфенгаген
доктор технических наук;
профессор;
заведующий кафедрой Перспективных компьютерных исследования и информационных технологий Института актуального образования "ЮрИнфоР-МГУ";
автор следующих книг, вышедших в издательстве "ЮрИнфоР®" и др.:
- Логика. Конспект лекций: Техника рассуждений. (2001. ISBN 5-89158-054-3)
- Конструкции языков программирования. Приемы описания. (2001. ISBN 5-89158-079-9)
- Категориальная абстрактная машина. Конспект лекций: введение в вычисления. (Изд. 2-е., 2002. ISBN 5-89158-102-7)
- Комбинаторная логика в программировании: Вычисления с объектами в примерах и задачах. (Изд. 2-е., 2003. ISBN 5-89158-101-9)
- Combinatory logic in programming. Computations with objects through examples and exercises. (2003. ISBN 5-89158-126-4)
- Система изучения комбинаторной логики. (2004. )
- Методы и средства вычислений с объектами. Аппликативные вычислительные системы. (2004. ISBN 5-89158-100-0)
- Логика. Конспект лекций. Техника рассуждений. (Издание 2-е, дополн. и перераб., 2004. ISBN 5-89158-135-3)
- Комбинаторная логика в программировании: Вычисления с объектами в примерах и задачах. (3-е изд., перераб. и дополн., 2008. )
- Аппликативные вычислительные технологии. Готовые решения для инженера, преподавателя, аспиранта, студента. / Под ред. Л.Ю.Исмаиловой. (2009. )
- Applicative computing. Its quarks, atoms and molecules. Edited by Dr. L.Yu.Ismailova. (2010. )
- Система изучения категориальной абстрактной машины. Лицензия для личного (домашнего) использования. (Версия 1.0., 2010. )
- Система изучения комбинаторной логики и ламбда-исчисления. (2010. )
- Активная система изучения конструкций языков программирования (Active PLC). (2010. )
- Активная система изучения комбинаторной логики в программировании (Active CLoP). (2010. )
- Парадигма функционального программирования. Под ред. к.т.н. Л.Ю.Исмаиловой. (2012. )
- Парадигма функционального программирования (электронная книга на CD). (2012. )
- Труды 3-й международной конференции по аппликативным вычислительным системам (АВС'2012) Москва, 26-28 ноября, 2012 г.. / Под ред. Вольфенгагена В.Э.. (2012. )
- Модели вычислений в информационных технологиях. Понятийный каркас. (2023. )
