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

Ефимова Елена Анатольевна (родилась 26 сентября 1965 г., Удмуртия) – кандидат физико-математических наук, доцент кафедры математики, логики и интеллектуальных систем в гуманитарной сфере РГГУ.

Краткая информация
Дата рождения:	26 сентября 1965 г.
Место рождения:	Удмуртская АССР, СССР Страна (рождения-проживания) СССР - Россия
Страна (рождения-проживания):	СССР - Россия
Научная сфера:	История математики. Логическое программирование. Интеллектуальные системы.
Место работы:	Российский государственный гуманитарный университет
Альма-матер:	МГУ им. М.В. Ломоносова (1987 г.)
Ученая степень:	Кандидат физико-математических наук
Ученое звание:	Доцент
Научный руководитель:	Егоров Ю.В., Петрова С.С.

Биография

Родилась 26 сентября 1965 г. в Удмуртии, получила среднее образование в г. Ижевске. После завершения средней школы поступила в Московский государственный университет им. М.В. Ломоносова.

Образование

С 1982 по 1987 гг. обучалась в МГУ им. М.В. Ломоносова. Во время обучения проходила стажировку в Лаборатории вычислительных средств механико-математического факультета. В 1987 г. окончила с отличием механико-математический факультет МГУ им. М.В. Ломоносова по специальности «Математика». Дипломную работу защитила на тему: «Гипоэллиптические операторы с коэффициентами, зависящими от одной переменной».

В 1995 г. защитила диссертацию на соискание ученой степени кандидата физико-математических наук. Тема – «Развитие символического исчисления во второй половине XIX века – начале XX века» (специальность 07.00.10 – История науки и техники).

Трудовая деятельность

С 1995 г. – настоящее время – работа в РГГУ: старший преподаватель кафедры математических основ информатики факультета информатики (1995–2001 гг.), доцент кафедры математики, логики и интеллектуальных систем в гуманитарной сфере (2001 – н. в.).

Семья

Дети: Ефимов Александр Иванович 1988 г.р., Ефимов Владимир Иванович 1991 г.р.

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

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

Основные печатные труды

Статьи

Ефимова Е.А. Анализ результатов ДСМ-рассуждений в применении к исследованию данных о COVID-19 // Научно-техническая информация. Серия 2. Информационные процессы и системы. 2022. № 11. С. 11–19. Efimova E.A. Analysis of Results of JSM Reasoning Applied to Covid-19 Testees’ Data // Automatic Documentation and Mathematical Linguistics. 2022. Vol. 56. No. 6. Рр. 285–294. Ефимова Е.А. Универсальный ДСМ-решатель и его применение // Научно-техническая информация. Серия 2. Информационные процессы и системы. 2022. № 9. С. 7–11. Павловский В.Е., Смолин В.С., Алисейчик А.П., Ефимова Е.А., Шишова М.С., Грибков Д.А., Подопросветов А.В. Интеллектуальные технологии управления поведением робота-манипулятора МанГо // Пятнадцатая национальная конференция по искусственному интеллекту с международным участием КИИ-2016, 3-7 окт. 2016 г., г. Смоленск, Россия: тр. конф.: [в 3 т.]. Смоленск: Универсум, 2016. Т. 3. С. 302–311. Ефимова Е.А. Проблема выбора реализации языка Пролог для обучения логическому программированию // Наука в вузах: математика, физика, информатика. Проблемы высшего и среднего профессионального образования: тезисы докладов Международной научно-образовательной конференции, 23-27 марта 2009 г. М.: РУДН, 2009. С. 523–525. Ефимова Е.А. Из истории исчисления некоммутирующих операторов // Функциональные пространства. Дифференциальные операторы. Проблемы математического образования: труды Второй международной конференции, посвященной 80-летию чл.-кор. РАН, проф. Л.Д. Кудрявцева. М.: Физматлит, 2003. С. 245–256. Ефимова Е.А. К истории формальной теории операторов // Историко-математические исследования. 2001. Сер. 2. Вып. 6 (41). C. 245–255. Ефимова Е.А. Об итогах развития символического исчисления в XIX веке // Годичная научная конференция ИИЕТ РАН, 1998. М.: ИИЕТ РАН, 1999. C. 336–339. Efimova E., Feofanova T., Vinogradov D. 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. Efimova E., Safronova O., Vinogradov D. 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.

Учебные пособия и учебники

Ефимова Е.А. Программирование на языке Пролог для задач искусственного интеллекта: Введение в логическое программирование: учебник. М.: РГГУ, 2019. 408 с. Ефимова Е.А. Алгебра: учеб. пособие. М.: РГГУ, 2013. 188 с. Бениаминов Е.М., Ефимова Е.А. Элементы универсальной алгебры и ее приложений в информатике: учеб. пособие. М.: Научный мир, 2004. 168 с. Ефимова Е.А. Дискретная математика: учеб. пособие. М.: РГГУ, 2021. 174 с. Ефимова Е.А. Программирование на языке Пролог для задач искусственного интеллекта: Интеллектуальные системы. М.: РГГУ, 2019. 202 с.

Курсы лекций

Ефимова Е.А. Основы программирования на языке Visual Prolog: курс лекций. 2-е изд., испр. М.: Нац. открытый ун-т «ИНТУИТ», 2016. 266 с. Ефимова Е.А. Разработка приложений на языке Visual Prolog: курс лекций [Электронный ресурс] // ИНТУИТ. Национальный открытый университет. 2015. Режим доступа: https://intuit.ru/studies/courses/3507/749/info, свободный.

Примечания

Страница в рубрике «Кто есть кто» на сайте РГГУ (https://www.rsuh.ru/who_is_who/efimova-elena-anatolevna/)

Профиль в РИНЦ (https://elibrary.ru/author_items.asp?authorid=125003&pubrole=100&show_refs=1&show_option=0)

Профиль на сайте ИНТУИТ (https://intuit.ru/intuituser/userpage/1145818)