Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
отправить сообщение
Федорова Валентина Сергеевна
пользователь
кандидат физико-математических наук с 2010 года
Прежние места работы
(Нажмите для отображения)
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра математической кибернетики
, младший научный сотрудник, 1 сентября 2011 - 7 марта 2014
Соавторы:
Вороненко А.А.
,
Ларионов В.Б.
,
Марченков С.С.
,
Чистиков Д.В.
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
2012
О сложности надструктуры классов монотонных k-значных функций специального вида
Ларионов В.Б.
,
Федорова В.С.
в журнале
Известия Иркутского государственного университета. Серия Математика
, том 5, № 1, с. 70-79
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
Certificates of non-membership for classes of read-once functions
Chistikov D.
,
Fedorova V.
,
Voronenko A.
в сборнике
RuFiDiM II, Proceedings of the Second Russian Finnish Symposium on Discrete Mathematics 2012
, серия
TUCS Lecture Notes
, том 17, с. 48-53
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
при МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
Авторство учебных курсов
2011
Функциональные уравнения многозначной логики
Авторы:
Марченков С.С.
,
Федорова В.С.
Преподавание учебных курсов
с 1 сентября 2011
Функциональные уравнения многозначной логики
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра математической кибернетики
обязательная, по выбору (спецкурс), лекции, 36 часов
с 1 сентября 2011
Практикум по суперкомпьютерным технологиям
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
обязательная, базовой части, практические занятия, 36 часов
с 1 октября 2010
Дискретная математика
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра математической кибернетики
обязательная, базовой части, семинары, 32 часов