РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ ГУМАНИТАРНЫЙ УНИВЕРСИТЕТ

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

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

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

Должность

Доцент

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

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

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

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

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

В РГГУ с 1995 г., сначала на факультете информатики, с 2001 г. на отделении интеллектуальных систем в гуманитарной сфере. В разные годы читала курсы:

• Алгебра;
• Алгебраические методы в информатике;
• Математический анализ;
• Высшая математика;
• Методы оптимизации;
• Финансовая математика;
• Теория вероятностей и математическая статистика.

В настоящее время читает курсы:

• Дискретная математика;
• Информатика;
• Логическое программирование;
• Программирование на языке Пролог для задач искусственного интеллекта.

Сфера научных интересов

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

Публикации

Автор более 30 работ. Основные публикации:

1. Е.А. Ефимова Программирование на языке Пролог для задач искусственного интеллекта: Интеллектуальные системы [Электронный ресурс]: учебное пособие. - М. РГГУ, 2019. - 202 с. - http://elib.lib.rsuh.ru/elib/000013499 
2. Е.А. Ефимова Программирование на языке Пролог для задач искусственного интеллекта: Введение в логическое программирование: учебник. - М. РГГУ, 2019. - 408 с.
   
3. E. A. Efimova. River Crossing Problems: Algebraic Approach [e-print; 2018]. - https://arxiv.org/abs/1802.09369
4. Бениаминов Е.М., Ефимова Е.А. Алгебраические методы в информатике: Элементы универсальной алгебры : учеб. пособие. - Москва : РГГУ, 2017. - 161 с. - http://elib.lib.rsuh.ru/elib/000011292
5. Ефимова Е.А. Основы программирования на языке Visual Prolog [Электронный ресурс] : курс лекций. - 2-е изд., испр. - Москва : Нац. открытый ун-т "ИНТУИТ", 2016. - 266 с. - https://www.intuit.ru/studies/courses/12333/1180/info.
6. Павловский В.Е., Смолин В.С., Алисейчик А.П., Ефимова Е.А., Шишова М.С., Грибков Д.А., Подопросветов А.В. Интеллектуальные технологии управления поведением робота-манипулятора МанГо // Пятнадцатая национальная конференция по искусственному интеллекту с международным участием КИИ-2016, 3-7 окт. 2016 г., г. Смоленск, Россия : тр. конф. : [в 3 т.]. - Смоленск : Универсум, 2016. - Т. 3. - С. 302-311.
7. Ефимова Е.А. Разработка приложений на языке Visual Prolog : курс лекций // Интуит [Электронный ресурс] / Нац. открытый ун-т. - [2015]. - http://www.intuit.ru/studies/courses/3507/749/info.
8. Ефимова Е.А. Алгебра : учеб. пособие. - Москва : РГГУ, 2013. - 188 с. - http://elib.lib.rsuh.ru/elib/000008557
9. Ефимова Е.А. Проблема выбора реализации языка Пролог для обучения логическому программированию // Наука в вузах : математика, физика, информатика. Проблемы высшего и среднего профессионального образования : тезисы докладов Международной научно-образовательной конференции, 23-27 марта 2009 г. - Москва : РУДН, 2009. - С. 523-525.
10. 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.
11. 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.
12. Ефимова Е.А. Из истории исчисления некоммутирующих операторов // Функциональные пространства. Дифференциальные операторы. Проблемы математического образования : труды Второй международной конференции, посвященной 80-летию чл.-кор. РАН, проф. Л.Д. Кудрявцева. - Москва : Физматлит, 2003. - С. 245-256.
13. Ефимова Е.А. К истории формальной теории операторов // Историко-математические исследования. - Москва : Янус-К, 2001. - Сер. 2, вып. 6(41). - C. 245-255.
14. Ефимова Е.А. Об итогах развития символического исчисления в XIX веке // Годичная научная конференция ИИЕТ РАН, 1998. - Москва : ИИЕТ РАН, 1999. - C. 336-339.