Ефимова Елена Анатольевна


Ефимова Елена Анатольевна


Кандидат физико-математических наук (1995), доцент (2002) кафедры математики, логики и интеллектуальных систем в гуманитарной сфере Института лингвистики РГГУ.


Область научных интересов и сфера научной деятельности:


Специалист в области истории математики, искусственного интеллекта, логического программирования.


Участие в научных советах, комиссиях, редколлегиях:


  • Член Национального комитета Российской академии наук по истории и философии науки. 


Научно-педагогическая деятельность:


В РГГУ с 1995 г. Читает курсы «Алгебра», «Алгебраические методы информатики», «Логическое программирование».


Автор более 20 работ.


Основные публикации:


  • К истории символического исчисления / Е.А Ефимова // Вопросы истории естествознания и техники. – 1994. – № 4. – С. 144-147.
  • О развитии символического исчисления в последней трети XIX века / Е.А Ефимова // Историко-математические исследования. Сер. 2 / Рос. акад. наук, Ин-т истории естествознания и техники им. С.И. Вавилова. – М.: Янус-К, 1999. – Вып. 3 (38). – С. 383-390.
  • К истории формальной теории операторов / Е.А Ефимова // Историко-математические исследования. Сер. 2 / Рос. акад. наук, Ин-т истории естествознания и техники им. С.И. Вавилова. – М.: Янус-К, 2001. – Вып. 6 (41). – С.  245-255.
  • РАН, проф. Л. Д. Кудрявцева: тез. докл. – М.: Физматлит, 2003. – С. 245-256.
  • Из истории исчисления некоммутирующих операторов / Е.А. Ефимова // Функциональные пространства. Дифференциальные операторы. Проблемы математического образования: Вторая междунар. конф. Посвящена 80-летию члена-корреспондента Элементы универсальной алгебры и ее приложений в информатике: (учеб. пособие): для студентов вузов, обучающихся по специальности "Интеллектуальные системы в гуманитарной сфере" / Е.М. Бениаминов, Е.А. Ефимова. – М.: Науч. мир, 2004. – 167 с.
  • Prototype of JSM-system in Visual Prolog / Elena Efimova, Olga Safronova, Dmitry Vinogradov // Visual Prolog Applications and Language Conference: VIP-APL’06, Faro-Portugal, april 24-26, 2006. – Broendby, Denmark : Prolog Develop. Center, 2006. – P. 114-125. – Mode of access: http://www.visual-prolog.com




Назад в раздел