Ефимова Елена Анатольевна - История изменений

Cutieannie в 13:00, 7 сентября 2023

2023-09-07T13:00:46Z

← Предыдущая версия		Версия от 16:00, 7 сентября 2023
Строка 1:		Строка 1:
−	[[Файл:EfimovaEA.png\|~~500px~~\|thumb]]	+	[[Файл:EfimovaEA.png\|350px\|thumb]]
	'''Ефимова Елена Анатольевна''' (родилась 26 сентября 1965 г., Удмуртия) – кандидат физико-математических наук, доцент кафедры математики, логики и интеллектуальных систем в гуманитарной сфере РГГУ.		'''Ефимова Елена Анатольевна''' (родилась 26 сентября 1965 г., Удмуртия) – кандидат физико-математических наук, доцент кафедры математики, логики и интеллектуальных систем в гуманитарной сфере РГГУ.

Cutieannie в 13:00, 7 сентября 2023

2023-09-07T13:00:36Z

← Предыдущая версия		Версия от 16:00, 7 сентября 2023
Строка 1:		Строка 1:
−	[[Файл:EfimovaEA.png\|~~350px~~\|thumb]]	+	[[Файл:EfimovaEA.png\|500px\|thumb]]
	'''Ефимова Елена Анатольевна''' (родилась 26 сентября 1965 г., Удмуртия) – кандидат физико-математических наук, доцент кафедры математики, логики и интеллектуальных систем в гуманитарной сфере РГГУ.		'''Ефимова Елена Анатольевна''' (родилась 26 сентября 1965 г., Удмуртия) – кандидат физико-математических наук, доцент кафедры математики, логики и интеллектуальных систем в гуманитарной сфере РГГУ.

Cutieannie в 13:00, 7 сентября 2023

2023-09-07T13:00:20Z

← Предыдущая версия		Версия от 16:00, 7 сентября 2023
Строка 1:		Строка 1:
		+	[[Файл:EfimovaEA.png\|350px\|thumb]]
	'''Ефимова Елена Анатольевна''' (родилась 26 сентября 1965 г., Удмуртия) – кандидат физико-математических наук, доцент кафедры математики, логики и интеллектуальных систем в гуманитарной сфере РГГУ.		'''Ефимова Елена Анатольевна''' (родилась 26 сентября 1965 г., Удмуртия) – кандидат физико-математических наук, доцент кафедры математики, логики и интеллектуальных систем в гуманитарной сфере РГГУ.

Cutieannie в 12:55, 7 сентября 2023

2023-09-07T12:55:54Z

← Предыдущая версия		Версия от 15:55, 7 сентября 2023
Строка 69:		Строка 69:
	==Примечания==		==Примечания==
	Страница в рубрике «Кто есть кто» на сайте РГГУ (https://www.rsuh.ru/who_is_who/efimova-elena-anatolevna/)		Страница в рубрике «Кто есть кто» на сайте РГГУ (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://elibrary.ru/author_items.asp?authorid=125003&pubrole=100&show_refs=1&show_option=0)
		+
	Профиль на сайте ИНТУИТ (https://intuit.ru/intuituser/userpage/1145818)		Профиль на сайте ИНТУИТ (https://intuit.ru/intuituser/userpage/1145818)

Cutieannie в 12:55, 7 сентября 2023

2023-09-07T12:55:31Z

← Предыдущая версия		Версия от 15:55, 7 сентября 2023
Строка 69:		Строка 69:
	==Примечания==		==Примечания==
	Страница в рубрике «Кто есть кто» на сайте РГГУ (https://www.rsuh.ru/who_is_who/efimova-elena-anatolevna/)		Страница в рубрике «Кто есть кто» на сайте РГГУ (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://elibrary.ru/author_items.asp?authorid=125003&pubrole=100&show_refs=1&show_option=0)
	Профиль на сайте ИНТУИТ (https://intuit.ru/intuituser/userpage/1145818)		Профиль на сайте ИНТУИТ (https://intuit.ru/intuituser/userpage/1145818)

Cutieannie: Новая страница: «'''Ефимова Елена Анатольевна''' (родилась 26 сентября 1965 г., Удмуртия) – кандидат физико-математических наук, доцент кафедры математики, логики и интеллектуальных систем в гуманитарной сфере РГГУ. {| class="wikitable" style="width: 60%;" !colspan="6"|'''Краткая информация''' |- | style...»

2023-09-07T12:55:12Z

Новая страница: «'''Ефимова Елена Анатольевна''' (родилась 26 сентября 1965 г., Удмуртия) – кандидат физико-математических наук, доцент кафедры математики, логики и интеллектуальных систем в гуманитарной сфере РГГУ. {| class="wikitable" style="width: 60%;" !colspan="6"|'''Краткая информация''' |- | style...»

Новая страница

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

{| class="wikitable" style="width: 60%;"
!colspan="6"|'''Краткая информация'''
|-
| style="width: 40%"| Дата рождения: || style="width: 60%"| 26 сентября 1965 г.
|-
| style="width: 40%"| Место рождения: || style="width: 60%"| Удмуртская АССР, СССР
Страна (рождения-проживания) СССР - Россия
|-
| style="width: 40%"| Страна (рождения-проживания): || style="width: 60%"| СССР - Россия
|-
| style="width: 40%"| Научная сфера: || style="width: 60%"| История математики. Логическое программирование. Интеллектуальные системы.
|-
| style="width: 40%"| Место работы: || style="width: 60%"| Российский государственный гуманитарный университет
|-
| style="width: 40%"| Альма-матер: || style="width: 60%"| МГУ им. М.В. Ломоносова (1987 г.)
|-
| style="width: 40%"| Ученая степень: || style="width: 60%"| Кандидат физико-математических наук
|-
| style="width: 40%"| Ученое звание: || style="width: 60%"| Доцент
|-
| style="width: 40%"| Научный руководитель: || style="width: 60%"| Егоров Ю.В., Петрова С.С.
|}

==Биография==
Родилась 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)