российский
государственный
гуманитарный университет

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

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

Кафедра/Центр

Кафедра математики, логики и интеллектуальных систем в гуманитарной сфере

Должность

Доцент

Ученая степень

Кандидат физико-математических наук (1995), доцент (2002)

Биографические сведения

Образование: окончила с отличием механико-математический факультет Московского государственного университета им. М.В. Ломоносова, кафедра дифференциальных уравнений; аспирантура механико-математического факультета МГУ.

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

В РГГУ с 1995 г., сначала на факультете информатики, с 2001 г. на отделении интеллектуальных систем в гуманитарной сфере. В разные годы читала курсы:
  • Алгебра;
  • Алгебраические методы в информатике;
  • Математический анализ;
  • Высшая математика;
  • Методы оптимизации;
  • Финансовая математика;
  • Теория вероятностей и математическая статистика.
В настоящее время читает курсы:
  • Дискретная математика;
  • Информатика;
  • Логическое программирование;
  • Программирование на языке Пролог для задач искусственного интеллекта.

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

История математики, логическое программирование, интеллектуальные системы

Публикации

Автор более 30 работ. Основные публикации:
  1. E. A. Efimova. River Crossing Problems: Algebraic Approach [e-print; 2018]. - https://arxiv.org/abs/1802.09369
  2. Бениаминов Е.М., Ефимова Е.А. Алгебраические методы в информатике: Элементы универсальной алгебры : учеб. пособие. - Москва : РГГУ, 2017. - 161 с. - http://elib.lib.rsuh.ru/elib/000011292
  3. Ефимова Е.А. Основы программирования на языке Visual Prolog [Электронный ресурс] : курс лекций. - 2-е изд., испр. - Москва : Нац. открытый ун-т "ИНТУИТ", 2016. - 266 с. - https://www.intuit.ru/studies/courses/12333/1180/info.
  4. Павловский В.Е., Смолин В.С., Алисейчик А.П., Ефимова Е.А., Шишова М.С., Грибков Д.А., Подопросветов А.В. Интеллектуальные технологии управления поведением робота-манипулятора МанГо // Пятнадцатая национальная конференция по искусственному интеллекту с международным участием КИИ-2016, 3-7 окт. 2016 г., г. Смоленск, Россия : тр. конф. : [в 3 т.]. - Смоленск : Универсум, 2016. - Т. 3. - С. 302-311.
  5. Ефимова Е.А. Разработка приложений на языке Visual Prolog : курс лекций // Интуит [Электронный ресурс] / Нац. открытый ун-т. - [2015]. - http://www.intuit.ru/studies/courses/3507/749/info.
  6. Ефимова Е.А. Алгебра : учеб. пособие. - Москва : РГГУ, 2013. - 188 с. - http://elib.lib.rsuh.ru/elib/000008557
  7. Ефимова Е.А. Проблема выбора реализации языка Пролог для обучения логическому программированию // Наука в вузах : математика, физика, информатика. Проблемы высшего и среднего профессионального образования : тезисы докладов Международной научно-образовательной конференции, 23-27 марта 2009 г. - Москва : РУДН, 2009. - С. 523-525.
  8. E. Efimova, T. Feofanova, D. Vinogradov. Tutoring Intelligent System JSM-Socio in Visual Prolog // VIP-ALC'08 : Proceedings of the 2nd Visual Prolog Applications and Language Conference : 17-19th June 2008, St. Petersburg, Russia. - Broendby : Prolog Development Center, 2008. - P. 40-49.
  9. E. Efimova, O. Safronova, D. Vinogradov. A Prototype of JSM-system in Visual Prolog // VIP-ALC'06 : Proceedings of the First Visual Prolog Applications and Language Conference : 24-26th April 2006, Faro, Portugal. - Broendby : Prolog Development Center, 2006. - P. 114-124.
  10. Ефимова Е.А. Из истории исчисления некоммутирующих операторов // Функциональные пространства. Дифференциальные операторы. Проблемы математического образования : труды Второй международной конференции, посвященной 80-летию чл.-кор. РАН, проф. Л.Д. Кудрявцева. - Москва : Физматлит, 2003. - С. 245-256.
  11. Ефимова Е.А. К истории формальной теории операторов // Историко-математические исследования. - Москва : Янус-К, 2001. - Сер. 2, вып. 6(41). - C. 245-255.
  12. Ефимова Е.А. Об итогах развития символического исчисления в XIX веке // Годичная научная конференция ИИЕТ РАН, 1998. - Москва : ИИЕТ РАН, 1999. - C. 336-339.


Обновлено: 20.06.2019 14:06:50
Версия для печати