|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Федорова Валентина Сергеевна пользователь
кандидат физико-математических наук с 2010 года
Прежние места работы (Нажмите для отображения)Соавторы: Вороненко А.А., Ларионов В.Б., Марченков С.С., Чистиков Д.В.
26 статей, 2 книги, 2 тезисов докладов, 2 НИР, 1 диссертация, 3 учебных курса
Количество цитирований статей в журналах по данным
Web of Science: 2,
Scopus: 20
IstinaResearcherID (IRID): 1067735
Деятельность
-
Статьи в журналах
-
- 2014 Certificates of Non-Membership for Classes of Read-Once Functions
- Dmitry Chistikov, Valentina Fedorova, Andrey Voronenko
- в журнале Fundamenta Informaticae, издательство I O S press (Netherlands), том 132, № 1, с. 63-77 DOI
-
- 2013 Generation of Boolean functions under the assumption of monotonicity
- Voronenko Andrey, Fedorova Valentina
- в журнале Moscow University Computational Mathematics and Cybernetics, издательство Allerton Press Inc. (United States), том 37, № 1, с. 26-27 DOI
-
- 2013 On the complexity of the satisfiability problem for a system of functional Boolean equations
- Fedorova V.S.
- в журнале Journal of Applied and Industrial Mathematics, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), том 7, № 3, с. 344-354 DOI
-
- 2013 О надструктуре некоторых классов монотонных функций многозначной логики
- Ларионов В.Б., Федорова В.С.
- в журнале Известия Иркутского государственного университета. Серия Математика, том 6, № 2, с. 38-47
-
- 2013 О порождении булевых функций в предположении монотонности
- Вороненко А.А., Федорова В.С.
- в журнале Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика, издательство Изд-во Моск. ун-та (М.), № 1, с. 46-47
-
- 2013 О сложности проблемы выполнимости системы функциональных булевых уравнений
- Федорова В.С.
- в журнале Дискретный анализ и исследование операций, издательство Изд-во Ин-та математики (Новосибирск), том 20, № 3, с. 84-100
-
- 2012 Closed Classes Containing a Homogeneous Function Class
- Larionov V.B., Fedorova V.S.
- в журнале Moscow University Computational Mathematics and Cybernetics, издательство Allerton Press Inc. (United States), том 36, № 1, с. 36-40
-
- 2012 Замкнутые классы, содержащие класс однородных функций
- Ларионов В.Б., Федорова В.С.
- в журнале Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика, издательство Изд-во Моск. ун-та (М.), № 1, с. 34-38
-
-
- 2011 Iterated Boolean functions in the elementary basis
- Chistikov D.V., Fedorova V.S., Voronenko A.A.
- в журнале Russian Mathematics, том 55, № 11, с. 61-65 DOI
-
- 2011 Надструктура классов самодвойственных k-значных функций
- Ларионов В.Б., Федорова В.С.
- в журнале Известия Иркутского государственного университета. Серия Математика, том 4, № 3, с. 83-98
-
- 2011 Повторность булевых функций в элементарном базисе
- Вороненко А.А., Федорова В.С., Чистиков Д.В.
- в журнале Известия высших учебных заведений. Математика, издательство Изд-во Казан. ун-та (Казань), № 11, с. 72-77
-
- 2009 On solutions to systems of functional equations of multiple-valued logic
- Marchenkov S.S., Fedorova V.S.
- в журнале Doklady Mathematics, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), том 79, № 3, с. 382-383 DOI
-
- 2009 On solutions to the systems of functional boolean equations
- Marchenkov S.S., Fedorova V.S.
- в журнале Journal of Applied and Industrial Mathematics, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), том 3, № 4, с. 476-481 DOI
-
- 2009 Solutions to the systems of functional equations of multivalued logic
- Marchenkov S.S., Fedorova V.S.
- в журнале Moscow University Computational Mathematics and Cybernetics, издательство Allerton Press Inc. (United States), том 33, № 4, с. 197-201 DOI
-
- 2009 О решениях систем функциональных уравнений многозначной логики
- Марченков С.С., Федорова В.С.
- в журнале Доклады Академии наук, издательство Наука (М.), том 426, № 4, с. 448-449
-
- 2009 Решения систем функциональных уравнений многозначной логики
- Марченков С.С., Федорова В.С.
- в журнале Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика, издательство Изд-во Моск. ун-та (М.), № 4, с. 29-33
-
- 2008 О решениях систем функциональных булевых уравнений
- Марченков С.С., Федорова В.С.
- в журнале Дискретный анализ и исследование операций, издательство Изд-во Ин-та математики (Новосибирск), том 15, № 6, с. 48-57
-
-
Статьи в сборниках
-
-
- 2012 О строении классов, содержащих класс квазисамодвойственных функций
- Ларионов В.Б., Федорова В.С.
- в сборнике Материалы 4-й Российской школы-семинара «Синтаксис и семантика логических систем» (Улан-Удэ, 14–19 августа 2012 г.), место издания Изд-во ФГБОУ ВПО «Восточно-Сибирская государственная академия образования» Иркутск, с. 70-74
-
- 2011 Критерий бесконечности надструктуры некоторых классов монотонных функций многозначной логики
- Ларионов В.Б., Федорова В.С.
- в сборнике Материалы 12-го Межвузовского научно-практического семинара «Комбинаторные конфигурации и их приложения», место издания Кировоград, Украина, с. 80-84
-
- 2011 Надструктура классов квазисамодвойственных функций
- Ларионов В.Б., Федорова В.С.
- в сборнике Материалы VIII молодежной научной школы по дискретной математике и ее приложениям (Москва, 24-29 октября 2011 года), место издания Изд-во ИПМ РАН Москва, том 1, с. 41-46
-
- 2010 SFE-замкнутые классы трехзначной логики
- Федорова В.С.
- в сборнике Сборник статей молодых ученых факультета ВМК МГУ, место издания Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова, МАКС Пресс Москва, том 7, с. 23-33
-
- 2009 О сложности выполнимости системы функциональных булевых уравнений
- Федорова В.С.
- в сборнике Материалы XVIII Международной школы-семинара «Синтез и сложность управляющих систем» имени академика О.Б.Лупанова, место издания М..: Издательство механико-математического факультета МГУ, с. 84-88
-
- 2008 О решениях систем функциональных булевых уравнений
- Марченков С.С., Федорова В.С.
- в сборнике Материалы XVII Международной школы- семинара «Синтез и сложность управляющих систем» имени академика О.Б.Лупанова, место издания Изд-во Института математики СО РАН Новосибирск, с. 108-113
-
- 2007 Сложность проблемы выполнимости для одного языка с функциональными булевыми переменными
- Федорова В.С.
- в сборнике Материалы VI молодежной научной школы по дискретной математике и ее приложениям (Москва, 16-21 апреля 2007 г.), место издания Изд-во ИПМ РАН Москва, том 3, с. 17-23
-
-
Книги
- 2020 Дискретная математика.Задачи и упражнения с решениями
- Вороненко А.А., Федорова В.С.
- место издания ООО "Научно-издательский центр ИНФРА-М" Москва, ISBN 978-5-16-015671-2, 106 с.
- 2013 Дискретная математика. Задачи и упражнения с решениями
- Вороненко А.А., Федорова В.С.
- место издания ИНФРА-М Москва, ISBN 978-5-16-006601-1, 104 с.
-
Тезисы докладов
-
- 2009 О свойствах решений систем функциональных уравнений многозначной логики
- Марченков С.С., Федорова В.С.
- в сборнике Труды 8 Международной конференции «Дискретные модели в теории управляющих систем»(Москва, 6-9 апреля 2009),, место издания издат.отдел факультета ВМиК, МАКС ПРЕСС, тезисы, с. 210-213
-
- 2007 Сложность проблемы выполнимости для одного языка с функциональными булевыми переменными
- Федорова В.С.
- в сборнике Сборник тезисов лучших дипломных работ 2007 года, место издания Издательский отдел факультета ВМиК Москва, тезисы, с. 85-86
-
-
НИРы
-
- 1 января 2011 - 31 декабря 2015 Дискретные функциональные системы, дискретные структуры и алгоритмы
- Кафедра математической кибернетики
- Руководитель: Алексеев В.Б. Участники НИР: Барбачакова С.С., Бухман А.В., Вершинин А.Л., Воробьева Е.В., Вороненко А.А., Гой А.С., Гордеев М.М., Дуженко М.А., Калинина И.С., Кафтан Д.В., Кибза Б.В., Ким И.А., Ковалев Г.И., Красиков А.О., Кулешов А.А., Луценко Ю.Ю., Лысиков В.В., Мазуров А.А., Максимов Е.Д., Марченков С.С., Нагорный А.С., Осипов К.В., Плаксина А.А., Простов В.А., Савицкий И.В., Сагиолданова Ж.Б., Сас Е.П., Селезнева С.Н., Трефилов А.П., Федорова В.С., Хрулев Е.В., Черепанова М.Г., Чернышев А.В.
-
- 24 мая 2010 - 23 ноября 2012 Теория и методы анализа и синтеза дискретных управляющих систем и их приложения
- Кафедра математической кибернетики
- Руководитель: Подловченко Р.И. Ответственные исполнители: Вороненко А.А., Шуплецов М.С. Участники НИР: Баранова М.М., Бескова Е.А., Власов Н.В., Вороненко А.А., Дайняк А.Б., Данилов Б.Р., Дьяконов А.Г., Коноводов В.А., Ложкин С.А., Марченков С.С., Морозов Е.В., Подымов В.В., Попеско У.В., Романов Д.С., Селезнева С.Н., Федорова В.С., Чистиков Д.В., Шуплецов М.С., Яблонская А.Ю.
-
-
Диссертация
-
- 2010 Системы функциональных уравнений многозначной логики
- Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
- Автор: Федорова Валентина Сергеевна, к.ф.-м.н.
- Научный руководитель: Марченков С.С., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
- Защищена в совете Д 501.001.44 при МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
-
-
Авторство учебных курсов
-
Преподавание учебных курсов
-
- с 1 сентября 2011 Функциональные уравнения многозначной логики
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
- обязательная, по выбору (спецкурс), лекции, 36 часов
-
- с 1 сентября 2011 Практикум по суперкомпьютерным технологиям
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
- обязательная, базовой части, практические занятия, 36 часов
-
- с 1 октября 2010 Дискретная математика
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
- обязательная, базовой части, семинары, 32 часов
-