Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
В связи с техническими работами в центре обработки данных, часть прикреплённых файлов в настоящее время недоступна.
скрыть
отправить сообщение
Миронов Андрей Михайлович
пользователь
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической теории интеллектуальных систем
, доцент, с 2 ноября 1992
кандидат физико-математических наук с 1992 года
Соавторы:
Frenkel S.L.
,
Bhavsar V.C.
,
Meystel A.
,
Михеев А.Г.
,
Пятецкий В.Е.
,
Галатенко А.В.
,
Голиков К.А.
,
Дергач П.С.
,
Жук Д.Н.
,
Ищенко Р.А.
,
Курганов Е.А.
,
Мазуренко И.Л.
,
Моисеев С.В.
показать полностью...
,
Подколзин А.С.
52 статьи
,
13 книг
,
11 докладов на конференциях
,
3 НИР
,
1 членство в научном обществе
,
3 членства в программных комитетах
,
1 диссертация
,
10 дипломных работ
,
97 курсовых работ
,
20 учебных курсов
Количество цитирований статей в журналах по данным Web of Science: 0, Scopus: 22
IstinaResearcherID (IRID): 21099259
Scopus Author ID:
8587991500
Деятельность
Статьи в журналах
2022
A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Model
Mironov A.M.
в журнале
Automatic Control and Computer Sciences
, издательство
Allerton Press Inc.
(United States)
, том 56, № 7, с. 762-777
DOI
2022
An Approach for Formal Verification of Authentication Protocols
Mironov A.M.
в журнале
Lobachevskii Journal of Mathematics
, издательство
Kazanskii Gosudarstvennyi Universitet/Kazan State University
(Russian Federation)
, том 42, № 2, с. 443-454
DOI
2022
Implementability of Numeric Functions by Probabilistic Automata
Mironov A.M.
в журнале
Lobachevskii Journal of Mathematics
, издательство
Kazanskii Gosudarstvennyi Universitet/Kazan State University
(Russian Federation)
, том 43, № 9, с. 2544-2549
DOI
2022
Математическая модель и методы верификации криптографических протоколов
Миронов А.М.
в журнале
Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460)
, издательство
[б.и.]
(М.)
, том 26, № 2, с. 85-144
2022
Процессный подход к моделированию и верификации параллельных программ
Миронов А.М.
в журнале
Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460)
, издательство
[б.и.]
(М.)
, том 26, № 1, с. 120-124
2021
Математическая модель параллельных программ и основанный на ней подход к верификации MPI-программ
Миронов А.М.
в журнале
Моделирование и анализ информационных систем
, издательство
Яросл. гос. ун-т
(Ярославль)
, том 28, № 4, с. 394-412
DOI
2020
Верификация функциональных программ методом построения диаграмм состояний
Миронов А.М.
в журнале
Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460)
, издательство
[б.и.]
(М.)
, том 24, № 1, с. 25-54
2019
Графовое представление функциональных программ и основанный на нем метод верификации функциональных программ
Миронов А.М.
в журнале
Системы высокой доступности
, издательство
Издательство "Радиотехника"
(Москва)
, том 15, № 4, с. 49-74
DOI
2018
Новая математическая модель протоколов аутентификации и основанный на ней метод верификации
Миронов А.М.
в журнале
Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460)
, издательство
[б.и.]
(М.)
, том 22, № 4, с. 79-98
2018
“Доклады семинара «Теория автоматов»”
Ищенко Р.А.
,
Подколзин А.С.
,
Жук Д.Н.
,
Моисеев С.В.
,
Миронов А.М.
,
Голиков К.А.
,
Дергач П.С.
,
Галатенко А.В.
,
Мазуренко И.Л.
, Коновалов А.Ю.,
Курганов Е.А.
в журнале
Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460)
, издательство
[б.и.]
(М.)
, том 22, № 4, с. 137-142
2017
Верификация программ методом инвариантов
Миронов А.М.
в журнале
Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460)
, издательство
[б.и.]
(М.)
, том 21, № 4, с. 60-100
2017
Протоколы безопасности, часть 1
Миронов А.М.
в журнале
Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460)
, издательство
[б.и.]
(М.)
, том 21, № 3, с. 65-105
2016
Верификация криптографических протоколов на основе понятия наблюдаемой эквивалентности
Миронов А.М.
в журнале
Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460)
, издательство
[б.и.]
(М.)
, том 20, № 3, с. 214-219
2016
Основные понятия теории вероятностных автоматов. Часть 2
Миронов А.М.
в журнале
Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460)
, издательство
[б.и.]
(М.)
, том 20, № 2, с. 283-330
2016
Основные понятия теории функциональных программ
Миронов А.М.
в журнале
Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460)
, издательство
[б.и.]
(М.)
, том 20, № 1, с. 79-180
2015
Minimization of Probabilistic Models of Programs
Mironov A.M.
,
Frenkel S.L.
в журнале
Journal of Mathematical Sciences
, издательство
Plenum Publishers
(United States)
, том 211, № 3, с. 381-412
DOI
2015
Алгоритм проверки ограниченности числа точек управления в экземпляре бизнес-процесса
Миронов А.М.
,
Михеев А.Г.
,
Пятецкий В.Е.
в журнале
Проблемы управления
, издательство
Институт проблем управления им. В.А. Трапезникова РАН
(Москва)
, № 1, с. 30-37
2015
Критерий реализуемости функций на строках вероятностными автоматами Мура с числовым выходом
Миронов А.М.
в журнале
Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460)
, издательство
[б.и.]
(М.)
, том 19, № 2, с. 175-186
2015
О реализуемости функций на строках вероятностными автоматами
Миронов А.М.
в журнале
Труды Института системного анализа Российской академии наук
, том 65, № 4, с. 26-31
2015
Основные понятия теории вероятностных автоматов
Миронов А.М.
в журнале
Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460)
, издательство
[б.и.]
(М.)
, том 19, № 4, с. 75-116
2015
Реализуемость вероятностных реакций конечными вероятностными автоматами
Миронов А.М.
в журнале
Информатика и ее применения
, издательство
ИПИ РАН
(М.)
, том 9, № 3, с. 88-99
2014
Доказательство теоремы Гёделя о неполноте, основанное на понятиях функционального программирования
Миронов А.М.
в журнале
Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460)
, издательство
[б.и.]
(М.)
, том 18, № 4, с. 267-291
2014
Метод доказательства наблюдаемой эквивалентности процессов с передачей сообщений
Миронов А.М.
в журнале
Информатика и ее применения
, издательство
ИПИ РАН
(М.)
, том 8, № 2, с. 57-71
DOI
2014
Метод повышения эффективности решения задач вероятностной верификации вычислительных и телекоммуникационных систем
Миронов А.М.
,
Френкель С.Л.
в журнале
Информатика и ее применения
, издательство
ИПИ РАН
(М.)
, том 8, № 4, с. 60-71
2014
Минимизация вероятностных моделей программ
Миронов А.М.
,
Френкель С.Л.
в журнале
Фундаментальная и прикладная математика
, издательство
Интуит
(М.)
, том 19, № 1, с. 121-163
2005
Fuzzy Modal Logics
Mironov A.M.
в журнале
Journal of Mathematical Sciences
, издательство
Plenum Publishers
(United States)
, том 128, № 6, с. 3461-3483
2005
Математическая модель и методы верификации программных систем
Миронов А.М.
, Жуков Д.Ю.
в журнале
Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460)
, издательство
[б.и.]
(М.)
, том 9, с. 209-252
2003
Нечеткие модальные логики
Миронов А.М.
в журнале
Фундаментальная и прикладная математика
, издательство
Интуит
(М.)
, том 9, № 1, с. 201-230
1992
Каноническая реализация частичных морфизмов реакции
Миронов А.М.
в журнале
Успехи математических наук
, издательство
Наука
(М.)
, том 47, № 1, с. 219-220
1990
Универсальные разложимые системы
Миронов А.М.
в журнале
Доклады Академии наук
, издательство
Наука
(М.)
, том 315, № 2, с. 302-308
Статьи в сборниках
2021
A New Approach to Modelling and Verification of Functional Programs
Mironov Andrew M.
в сборнике
Proceedings of 10th Computer Science On-line Conference
, серия
Lecture Notes in Networks and Systems
, издательство
Springer International Publishing AG
(Cham, Switzerland)
, том 228, с. 114-137
DOI
2021
New Method of Verifying Cryptographic Protocols, Based on the Process Model
Mironov Andrew M.
в сборнике
Proceedings of 10th Computer Science On-line Conference
, серия
Lecture Notes in Networks and Systems
, издательство
Springer International Publishing AG
(Cham, Switzerland)
, том 229, с. 95-109
DOI
2021
Верификация криптографических протоколов
Миронов А.М.
в сборнике
Всероссийская научная конференция "Математические основы информатики и информационно-телекоммуникационных систем". Сборник Трудов
, издательство
Тверской государственный университет
(Тверь)
, с. 213-234
2018
A new method of verification of security protocols
Mironov A.M.
в сборнике
Proceedings of 9th Workshop “Program Semantics, Specification and Verification: Theory and Applications" (PSSV-2018), Yaroslavl, Russia, June 21-22, 2018
, издательство
Яросл. гос. ун-т
(Ярославль)
, с. 68-78
2016
Logics for Representation of Propositions with Fuzziness Modalities
Mironov A.M.
в сборнике
Proceedings of the 2nd International Workshop on Soft Computing Applications and Knowledge Discovery (SCAKD 2016)
, место издания
Printed by the National Research University Higher School of Economics Moscow
, с. 48-62
2016
On a Method of Verification of Functional Programs
Mironov A.M.
в сборнике
Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputation
, место издания
Издательство университета г. Переславля Pereslavl-Zalessky
, с. 139-158
2015
Верификация функциональных программ методом построения диаграмм состояний
Миронов А.М.
в сборнике
Труды Международной научно-практической конференции Tools and Methods of Program Analysis (TMPA 2015)
, место издания
Санкт-Петербург: издательство Политехнического университета Санкт-Петербург
, с. 135-145
2014
A Method of a Proof of Observational Equivalence of Processes
Mironov A.
в сборнике
Proceedings of the Fourth International Valentin Turchin Workshop on Metacomputation
, место издания
Издательство университета г. Переславля Pereslavl-Zalessky
, с. 194-222
2014
A Sufficient Condition of Observational Equivalence of Processes
Mironov A.
в сборнике
Proceedings of International Conference Perspectives of system informatics
, место издания
EPiC Series
, том 23, с. 9-29
2014
Метод понижения вычислительной сложности в задачах верификации вероятностных моделей программ
Миронов А.М.
,
Френкель С.Л.
в сборнике
Материалы Международной научно-практической конференции: Tools & Methods of Program Analysis, TMPA-2014
, место издания
Кострома: КГТУ
, с. 84-94
2014
Новый метод верификации дискретных процессов,
Миронов А.М.
в сборнике
Труды конференции Ломоносов 2014, cекция Математика и механика
, место издания
издательство МГУ Москва
2013
Реализация алгоритма проверки ограниченности количества точек управления в свободной системе управления бизнес-процессами и административными регламентами RunaWFE
Миронов А.М.
,
Михеев А.Г.
,
Пятецкий В.Е.
в сборнике
Труды Десятой конференции разработчиков свободных программ
, место издания
Калуга
, с. 15-21
2006
Fuzzy modal logics
Mironov A.M.
,
Bhavsar V.C.
в сборнике
Proceedings of Workshop on Multi-Valued Logic Programming and Applications, MVLPA 2006
, место издания
Seattle, WA
, с. 73-88
2006
Верификация функциональных программ на основе построения их графовых моделей
Миронов А.М.
в сборнике
Материалы IX Международной конференции "Интеллектуальные системы и компьютерные науки" (23-27 октября 2006 г.)
, место издания
Изд-во механико-математического факультета МГУ Москва
, том 2, с. 23-27
2004
Методы анализа программных систем
Миронов А.М.
, Жуков Д.Ю.
в сборнике
Программные системы: теория и приложения, труды международной конференции Программные системы: теория и приложения
, с. 297-336
2003
Каноническая реализация совокупностей морфизмов реакции для автоматов в категориях
Миронов А.М.
в сборнике
Математика, информатика: теория и практика. Сборник трудов, посвященный 10-летию Университета города Переславля
, место издания
Изд-во "Университета города Переславля
, с. 65-88
1998
Quasi-commutative Diagrams of Multiresolutional Systems of Representation and Control
Meystel A.
,
Mironov A.
в сборнике
Proceedings of the 1998 IEEE Joint Conference on Science and Technology of Intelligent Systems, ISIC-CIRA-ISAS'98, Gaithersburg, MD 1008
, место издания
Gaithersburg, MD
, с. 72-77
1996
Fuzzy modal logic
Mironov A.M.
в сборнике
Proceedings of International Conference Artificial Intelligence and Mathematics
, место издания
Marina Marriott, Fort Lauderdale, Florida
1995
Logics with Fuzzy Modalities
Mironov A.M.
в сборнике
Proceedings of International Conference Foundation and Applications of Possibility Theory Fapt '95 : Ghent, Beigium
, место издания
Ghent, Beigium
, с. 13-15
1994
Implementation of fuzzy automata by experiments
Mironov A.M.
в сборнике
Fuzzy Logic and Intelligent Technologies in Russia, Selected Russian Contributions of FLINS'94, edited by Da Ruan, Gert de Cooman, Alexander P. Ryjov, SCK-CEN, BLG-669, FLINS
, том 3, с. 19-37
1994
Universal fuzzy automata
Mironov A.M.
в сборнике
Fuzzy Logic and Intelligent Technologies in Russia, Selected Russian Contributions of FLINS'94, edited by Da Ruan, Gert de Cooman, Alexander P. Ryjov, SCK-CEN, BLG-669, FLINS
, том 3, с. 39-71
1990
Оценки сходимости процессов Ньютона-Канторовича для нелинейных систем алгебро-дифференциальных уравнений на числовом промежутке
Михайлов В.Б.,
Миронов А.М.
в сборнике
Интеллектуальные интегрированные САПР РЭА и БИС, cборник научных трудов ИАП АН СССР
, место издания
Москва, Наука
, с. 76-83
Книги
2022
Математические модели и методы верификации процессов
Миронов Андрей Михайлович
издательство
ООО "МАКС Пресс"
(Москва)
, ISBN 978-5-317-06893-6, 104 с.
2020
Верификация программ методом model checking
Миронов А.М.
издательство
ООО "МАКС Пресс"
(Москва)
, ISBN 978-5-317-06514-0, 74 с.
2018
Машинное обучение, часть 1
Миронов А.М.
издательство
ООО "МАКС Пресс"
(Москва)
, ISBN 978-5-317-06012-1, 90 с.
2017
Верификация программ: Часть 1: нерекурсивные программы
Миронов Андрей Михайлович
место издания
МАКС Пресс Москва
, ISBN 978-5-317-05721-3, 76 с.
2016
Криптографические протоколы, часть 1
Миронов А.М.
место издания
Москва электронная публикация
, 119 с.
2016
Учебное пособие по вероятностному алгоритму проверки чисел на простоту
Миронов А.М.
2013
Теория функциональных программ. Часть 1
Миронов А.М.
место издания
ИПИ РАН М
, ISBN 978-5-91993-024-2, 160 с.
2012
Верификация программ методом Model Checking
Миронов А.М.
место издания
Москва
, 84 с.
2010
Математическая логика
Миронов А.М.
место издания
Издательство филиала МГУ в Узбекистане Ташкент
, 79 с.
2008
Теория процессов,
Миронов А.М.
место издания
Издательство НОУ Институт программных систем - Университет г. Переславля им. А.К,Айламазяна Переславль-Залесский
, ISBN 978-5-901795-14-9, 346 с.
2000
A New Approach For Specification And Verification Of Distributed Agents
Mironov A.
,
Bhavsar V.C.
издательство
University of New Brunswick
(Canada)
1999
Typed Tree Automata
Mironov A.
место издания
University of New Brunswick, Fredericton, Canada University of New Brunswick, Fredericton, Canada
1998
Multiresolutional Representation and Control for Intelligent Control Systems
Meystel A.
,
Mironov A.
место издания
NIST Gaithersburg, MD
Доклады на конференциях
2021
Верификация криптографических протоколов
(Устный)
Автор:
Миронов Андрей Михайлович
Математические основы информатики и информационно-коммуникационных систем.
, Тверь., Россия, 3-8 декабря 2021
2021
Моделирование и верификация параллельных программ
(Устный)
Автор:
Миронов Андрей Михайлович
XII Международная научная конференция «Интеллектуальные системы и компьютерные науки»
, Москва, МГУ имени М.В. Ломоносова, Россия, 29 ноября - 3 декабря 2021
2021
Mathematical model and method for verifying parallel programs
(Устный)
Автор:
Миронов Андрей Михайлович
XII Workshop Program Semantics, Specification and Verification: Theory and Applications PSSV-2021
, Иннополис, Россия, 4-5 ноября 2021
2020
Верификация функциональных программ методом построения диаграмм состояний
(Устный)
Автор:
Миронов А.М.
Ломоносовские чтения 2020. Секция математики
, МГУ имени М.В. Ломоносова, Россия, 21-28 октября 2020
2020
Нейросетевой анализ схожести входных данных
(Устный)
Авторы:
Миронов А.М.
,
Савушкин А.С.
Ломоносовские чтения 2020. Секция математики
, МГУ имени М.В. Ломоносова, Россия, 21-28 октября 2020
2020
Формальные методы верификации протоколов консенсуса семейства Paxos
(Устный)
Авторы:
Миронов А.М.
,
Садыков Р.Ф.
Ломоносовские чтения 2020. Секция математики
, МГУ имени М.В. Ломоносова, Россия, 21-28 октября 2020
2018
A new method of verification of security protocols
(Устный)
Автор:
Mironov A.M.
9-th International Workshop Program Semantics, Specification and Verification: Theory and Applications (PSSV 2018, June 21-22, 2018, Yaroslavl, Russia)
, Ярославль, Россия, 21-22 июня 2018
2016
Верификация криптографических протоколов на основе понятия наблюдаемой эквивалентности
(Устный)
Автор:
Миронов А.М.
XI международная конференция «Интеллектуальные системы и компьютерные науки»
, Механико-математический факультет МГУ им.М.В.Ломоносова., Россия, 28 ноября - 2 декабря 2016
2016
Logics for Representation of Propositions with Fuzziness Modalities
(Устный)
Автор:
Mironov A.M.
2nd International Workshop on Soft Computing Applications and Knowledge Discovery (SCAKD 2016)
, Москва, Россия, 18 июля 2016
2016
On a Method of Verification of Functional Programs
(Устный)
Автор:
MIronov A.M.
Fifth International Valentin Turchin Workshop on Metacomputation (META 2016 ), June 27 - July 1, 2016, Pereslavl-Zalessky
, Pereslavl-Zalessky, Россия, 27 июня - 1 июля 2016
2015
Верификация функциональных программ методом построения диаграмм состояний
(Устный)
Автор:
Миронов А.М.
Международная научно-практическая конференция: Tools & Methods of Program Analysis, TMPA-2015
, Санкт-Петербург, Россия, 12-14 ноября 2015
НИРы
1 января 2021 - 31 декабря 2025
Теория интеллектуальных систем и автоматов 2021-2025
Кафедра математической теории интеллектуальных систем
Руководители:
Гасанов Э.Э.
,
Кудрявцев В.Б.
Участники НИР:
Алексеев Д.В.
,
Алешин С.В.
,
Алисейчик П.А.
,
Бабин Д.Н.
,
Боков Г.В.
,
Быстрыгова А.В.
,
Волков Н.Ю.
,
Галатенко А.В.
,
Гасанов Э.Э.
,
Дергач П.С.
,
Жук Д.Н.
,
Иванов И.Е.
,
Ирматов А.А.
,
Калачев Г.В.
,
Козлов В.Н.
,
Коновалов А.Ю.
,
Мазуренко И.Л.
,
Миронов А.М.
,
Носов В.А.
,
Носов М.В.
,
Осокин В.В.
,
Панкратьев А.Е.
,
Пантелеев П.А.
,
Подколзин А.С.
,
Половников В.С.
,
Родин С.Б.
,
Рыжов А.П.
,
Соколов А.П.
,
Часовских А.А.
,
Чернова Ю.Г.
,
Шуткин Ю.С.
,
строгалов а.с.
3 декабря 2018 - 2 марта 2020
Разработка математической модели для улучшения работы сети 5G с множественной информацией
Лаборатория управления и навигации
Руководитель:
Попеленский М.Ю.
Участник НИР:
Миронов А.М.
1 января 2016 - 31 декабря 2020
Теория интеллектуальных систем и автоматов 2016-2020
Кафедра математической теории интеллектуальных систем
Руководитель:
Кудрявцев В.Б.
Участники НИР:
Алексеев Д.В.
,
Алешин С.В.
,
Алисейчик П.А.
,
Бабин Д.Н.
,
Боков Г.В.
,
Буевич В.А.
,
Волков Н.Ю.
,
Галатенко А.В.
,
Гасанов Э.Э.
,
Дергач П.С.
,
Жук Д.Н.
,
Ирматов А.А.
,
Калачев Г.В.
,
Козлов В.Н.
,
Коновалов А.Ю.
,
Мазуренко И.Л.
,
Миронов А.М.
,
Носов В.А.
,
Носов М.В.
,
Осокин В.В.
,
Панкратьев А.Е.
,
Пантелеев П.А.
,
Подколзин А.С.
,
Половников В.С.
,
Родин С.Б.
,
Рыжов А.П.
,
Соколов А.П.
,
Часовских А.А.
,
Чернова Ю.Г.
,
Шуткин Ю.С.
,
строгалов а.с.
Членство в научных обществах
с 1989
Московское Математическое Общество
Россия
Участие в программных комитетах конференций
27-28 мая 2021
Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE)
Член программного комитета
Москва, Россия
14-17 сентября 1998
IEEE International Symposium on Intelligent Control. An International Conference Sponsored by NIST, IEEE, NSF, ARO. National Institute of Standards and Technology, Gaithersburg, Maryland, USA.
Член программного комитета
Вашингтон, США, США
22-25 сентября 1997
Intelligent systems and semiotics `97: A Learning Perspective. An International Conference Sponsored by NIST, IEEE, NSF, ARO. National Institute of Standards and Technology, Gaithersburg, Maryland, USA,
Член программного комитета
Вашингтон, США, США
Диссертация
1992
Морфизмы реакции для автоматов в категориях
Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Автор:
Миронов Андрей Михайлович
, к.ф.-м.н., МГУ имени М.В. Ломоносова
Научный руководитель:
Михалев А.В.
, д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
Защищена в совете
Д.053.05.05
при механико-математический факультет МГУ им. М. В. Ломоносова
Руководство дипломными работами
2022
Распределение мощностей передаваемых символов в задаче оптимального прекодинга для систем связи 5G
Научный руководитель:
Миронов А.М.
Автор: Юдаков Даниил Андреевич (Специалист)
2022
Построение математической модели и верификация параллельного алгоритма вычисления собственных значений
Научный руководитель:
Миронов А.М.
Автор: Чебодаев Максим Иннокентьевич (Специалист)
2022
Обнаружение аномалий во временных рядах
Научный руководитель:
Миронов А.М.
Автор: Анисеня Иван Ильич (Специалист)
2022
Верификация криптографических протоколов, основанных на системах шифрования с открытым ключом
Научный руководитель:
Миронов А.М.
Автор: Лутовинова Надежда Александровна (Специалист)
2022
Анализ эмоций и психики человека по электроэнцефалограмме
Научный руководитель:
Миронов А.М.
Автор: Маркитантов Алексей Вячеславович (Специалист)
2021
Оптимизация сегментации больших графов
Научный руководитель:
Миронов Андрей Михайлович
Автор: Корчагин Никита Павлович (Специалист)
2021
Обнаружение дефектов стали методами компьютерного зрения с использованием свёрточных нейронных сетей
Научные руководители:
Миронов Андрей Михайлович
,
Мартынова Елена Дмитриевна
Автор: Кириллов Иван Владимирович (Специалист)
2020
Нейросетевой анализ схожести входных данных
Научный руководитель:
Миронов Андрей Михайлович
Автор: Савушкин Алан Сергеевич (Магистр)
2019
Верификация алгоритма нахождения консенсуса с использованием верификатора Spin
Научный руководитель:
Миронов Андрей Михайлович
Автор: Волков Глеб Владимирович (Магистр)
2019
Алгоритм дисциплины для системы массового обслуживания в условиях наличия штрафа при переключении
Научный руководитель:
Миронов Андрей Михайлович
Автор: Максимова Марина Сергеевна (Специалист)
Руководство курсовыми работами
2022
Ценообразование опционов колл и пут в модели Хестона стохастической волатильности.
Научный руководитель:
Миронов А.М.
Автор: Шин Владимир Юрьевич (Специалист)
2022
Статистическая идентификация скачков в криптоактивах
Научный руководитель:
Миронов А.М.
Автор: Возвышаев Александр Андреевич (Специалист)
2022
Сравнение однофакторных моделей процентной ставки
Научный руководитель:
Миронов А.М.
Автор: Орлов Глеб Васильевич (Специалист)
2022
Составление математической модели и обзор системы электронного голосования
Научный руководитель:
Миронов А.М.
Автор: Шляхов Артем Вячеславович (Специалист)
2022
Распознавание жанра музыкальных произведений по аудиотреку
Научный руководитель:
Миронов А.М.
Автор: Иванова Екатерина Александровна (Специалист)
2022
Примеры использования машинного обучения в кибербезопасности
Научный руководитель:
Миронов А.М.
Автор: Виноградов Клим Николаевич (Специалист)
2022
Применение модели обработки естественного языка для определения тональности текста
Научный руководитель:
Миронов А.М.
Автор: Лесиков Алексей Михайлович (Специалист)
2022
Применение алгоритмов тематического моделирования для классификации и категоризации документов
Научный руководитель:
Миронов А.М.
Автор: Косьяненко Максим Валерьевич (Специалист)
2022
Отрицательная обратная связь при интерактивном обучении моделей анализа эмоциональной тональности текстов
Научный руководитель:
Миронов А.М.
Автор: Лобастова Екатерина Олеговна (Специалист)
2022
Основные звуковые характеристики. Классификация речевых эмоций
Научный руководитель:
Миронов А.М.
Автор: Зеленин Герман Евгеньевич (Специалист)
2022
Оптимизация количества параметров нейронной сети, решающей задачу классификации изображений
Научный руководитель:
Миронов А.М.
Автор: Кондаурова Ксения Сергеевна (Специалист)
2022
Обучение с подкреплением
Научный руководитель:
Миронов А.М.
Автор: Кувшинов Владимир Георгиевич (Специалист)
2022
Обзор некоторых улучшений генеративно-состязательных сетей
Научный руководитель:
Миронов А.М.
Автор: Исхаков Даниил Рамильевич (Специалист)
2022
Обзор на протокол тайного голосования ElectAnon
Научный руководитель:
Миронов А.М.
Автор: Уткин Глеб Игоревич (Специалист)
2022
Начала библиотеки quant. Кредитно-дефолтные свопы.
Научный руководитель:
Миронов А.М.
Автор: Гурский Георгий Валентинович (Специалист)
2022
Мультиисточниковое трансферное обучение для межпредметного распознавания эмоций с помощью электроэнцефалограммы
Научный руководитель:
Миронов А.М.
Автор: Лещенко Сергей Михайлович (Специалист)
2022
Модель Хестона и ее обобщения
Научный руководитель:
Миронов А.М.
Автор: Дунаев Ярослав Александрович (Специалист)
2022
Моделирование и анализ криптопортфеля
Научный руководитель:
Миронов А.М.
Автор: Честнов Роберт Валентинович (Специалист)
2022
Метод подбора контрольной группы для проведения АБ тестов
Научный руководитель:
Миронов А.М.
Автор: Красных Алексей Владимирович (Специалист)
2022
Метод абстракции чередований потоков для верификации моделей многопоточных программ
Научный руководитель:
Миронов А.М.
Автор: Руденчик Вероника Павловна (Специалист)
2022
Математические модели прогноза течения заболеваний и анализ распространения Covid 19
Научный руководитель:
Миронов А.М.
Автор: Исаев Семён Николаевич (Специалист)
2022
Математическая модель и метод верификации параллельных программ
Научный руководитель:
Миронов А.М.
Автор: Горбушин Виталий Валерьевич (Специалист)
2022
Компьютерные подходы к решению задач хемоинформатики и вычислительной химии
Научный руководитель:
Миронов А.М.
Автор: Исаев Максим Дмитриевич (Специалист)
2022
Исследование задачи пропорционально справедливого распределения радио ресурсов между пользователями в сети 5G
Научный руководитель:
Миронов А.М.
Автор: Колосов Дмитрий Григорьевич (Специалист)
2022
Изучение дисциплин распределения ресурсов между пользователями в системах беспроводной связи 5G в модели пакетного трафика, основанной на Марковских цепях
Научный руководитель:
Миронов А.М.
Автор: Блажевич Игорь Юрьевич (Специалист)
2022
Дедуктивная верификация свойств монадических функций смарт-контрактов на трассах
Научный руководитель:
Миронов А.М.
Автор: Зиборов Кирилл Викторович (Специалист)
2022
Верификация процессов на примере протоколов передачи данных
Научный руководитель:
Миронов Андрей Михайлович
Автор: Калинин Михаил Антонович (Специалист)
2022
Верификация протокола Ву-Лама
Научный руководитель:
Миронов А.М.
Автор: Зенков Тимофей Владимирович (Специалист)
2022
Безопасность смарт-контрактов Ethereum: уязвимости, контрмеры
Научный руководитель:
Миронов А.М.
Автор: Коригов Мансур Адамович (Специалист)
2022
Анализ статистических параметров на деревьях таблиц и оценка их погрешностей в PostgreSQL
Научный руководитель:
Миронов А.М.
Автор: Белялов Дамир Наилевич (Специалист)
2022
Адаптация и применение некоторых алгоритмов на графах для задач видимости ботов в игровых продуктах
Научный руководитель:
Миронов А.М.
Автор: Носов Елисей Андреевич (Специалист)
2021
Ценообразование бескупонных облигаций в параметрической модели локальной волатильности CEV
Научный руководитель:
Миронов Андрей Михайлович
Автор: Шин Владимир Юрьевич (Специалист)
2021
Ценообразование американских опционов с помощью метода Рунге-Кутты-Лежандра
Научный руководитель:
Миронов Андрей Михайлович
Автор: Честнов Роберт Валентинович (Специалист)
2021
Формальная верификация смарт-контрактов с помощью цветных сетей Петри в блокчейн среде
Научный руководитель:
Миронов Андрей Михайлович
Автор: Чебодаев Максим Иннокентьевич (Специалист)
2021
Уточнение предикатной абстракции при раздельном анализе потоков
Научный руководитель:
Миронов Андрей Михайлович
Автор: Руденчик Вероника Павловна (Специалист)
2021
Создание динамической стратегии обучения с помощью метода машинного обучения
Научный руководитель:
Миронов Андрей Михайлович
Автор: Павлюков Антон Олегович (Специалист)
2021
Решение задачи детектирования игроков на футбольном поле посредством нейронных сетей со сверточной архитектурой
Научный руководитель:
Миронов Андрей Михайлович
Автор: Возвышаев Александр Андреевич (Специалист)
2021
Распределение мощностей в задаче прекодинга для алгоритма Zero Forcing для систем связи MIMO
Научный руководитель:
Миронов Андрей Михайлович
Автор: Юдаков Даниил Андреевич (Специалист)
2021
Построение модели среды исполнения смарт-контрактов в HOL4 для дедуктивной верификации свойств
Научный руководитель:
Миронов Андрей Михайлович
Автор: Зиборов Кирилл Викторович (Специалист)
2021
Построение XG модели и предсказание гола в футбольном матче
Научный руководитель:
Миронов Андрей Михайлович
Автор: Джемгиров Очир Санджиевич (Специалист)
2021
Повышение разрешения изображений с помощью генеративно-состязательных нейронных сетей
Научный руководитель:
Миронов Андрей Михайлович
Автор: Исаев Семен Николаевич (Специалист)
2021
Оценка финансовых показателей компаний с помощью машинного обучения
Научный руководитель:
Миронов Андрей Михайлович
Автор: Герасько Дмитрий Алексеевич (Специалист)
2021
Определение наличия дефектов по изображению поверхности листа стали с помощью конволюционных нейронных сетей
Научные руководители:
Миронов Андрей Михайлович
,
Мартынова Елена Дмитриевна
Автор: Третьяков Денис Андреевич (Специалист)
2021
Одномерные модели волатильности
Научный руководитель:
Миронов Андрей Михайлович
Автор: Дунаев Ярослав Александрович (Специалист)
2021
Обнаружение аномалий в потоковых видеоданных
Научный руководитель:
Миронов Андрей Михайлович
Автор: Анисеня Иван Ильич (Специалист)
2021
Об одной задаче теории оптимальных дискретных процессов, важной для 5G
Научный руководитель:
Миронов Андрей Михайлович
Автор: Блажевич Игорь Юрьевич (Специалист)
2021
Некоторые алгоритмы машинного обучения
Научный руководитель:
Миронов Андрей Михайлович
Автор: Белялов Дамир Наилевич (Специалист)
2021
Моделирование микроструктурной динамики финансовых рынков с использованием расширенного метода Липтона
Научный руководитель:
Миронов Андрей Михайлович
Автор: Мосиевич Кирилл Викторович (Специалист)
2021
Моделирование инфляции
Научный руководитель:
Миронов Андрей Михайлович
Автор: Орлов Глеб Васильевич (Специалист)
2021
Модели строк для статической верификации
Научный руководитель:
Миронов Андрей Михайлович
Автор: Лутовинова Надежда Александровна (Специалист)
2021
Методы измерения волатильности и их отличия
Научный руководитель:
Миронов Андрей Михайлович
Автор: Гурский Георгий Валентинович (Специалист)
2021
Краткий обзор базовых алгоритмов обучения с подкреплением
Научный руководитель:
Миронов Андрей Михайлович
Автор: Бабий Полина Сергеевна (Специалист)
2021
Кластеризация электроэнцефалографических данных с целью обнаружения выбросов в выборке
Научные руководители:
Миронов Андрей Михайлович
,
Бернадотт Александра
Автор: Мазурин Александр Дмитриевич (Специалист)
2021
Кластеризация новостных статей
Научные руководители:
Миронов Андрей Михайлович
,
Мартынова Елена Дмитриевна
Автор: Артамонов Сергей Александрович (Специалист)
2021
Исследование технологии блокчейн. Сравнение современных подходов к решению проблемы масштабируемости в блокчейнах первого поколения
Научный руководитель:
Миронов Андрей Михайлович
Автор: Халитова Рената Булатовна (Специалист)
2021
Исследование инструментов анализа уязвимостей смарт-контрактов
Научный руководитель:
Миронов Андрей Михайлович
Автор: Пивнев Никита Сергеевич (Специалист)
2021
Исследование задачи оптимального распределения радио ресурсов между пользователями в сети 5G MIMO
Научный руководитель:
Миронов Андрей Михайлович
Автор: Колосов Дмитрий Григорьевич (Специалист)
2021
Использование векторных представлений слов в тематическом моделировании
Научный руководитель:
Миронов Андрей Михайлович
Автор: Красных Алексей Владимирович (Специалист)
2021
Изучение и сравнение различных подходов к лемматизации слов в предложении
Научный руководитель:
Миронов Андрей Михайлович
Автор: Лобастова Екатерина Олеговна (Специалист)
2021
Доопределение матрицы предпочтений до полного заполнения в задачах рекомендательных систем
Научный руководитель:
Миронов Андрей Михайлович
Автор: Акишин Кирилл Алексеевич (Специалист)
2021
Вычисление степеней посредничества в распределённых системах
Научный руководитель:
Миронов Андрей Михайлович
Автор: Фельдшеров Сергей Дмитриевич (Специалист)
2021
Верификация функциональных программ с применением системы HOL4
Научный руководитель:
Миронов Андрей Михайлович
Автор: Калинин Михаил Антонович (Специалист)
2021
Анализ тональности текста с помощью словаря эмотивной лексики
Научный руководитель:
Миронов Андрей Михайлович
Автор: Лесиков Алексей Михайлович (Специалист)
2021
VST — проект дедуктивной верификации
Научный руководитель:
Миронов Андрей Михайлович
Автор: Иванова Екатерина Александровна (Специалист)
2020
Формальная верификация протокола консенсуса Raft в интерактивных средах доказательства теорем
Научный руководитель:
Миронов А.М.
Автор: Зиборов Кирилл Викторович (Специалист)
2020
Топологический анализ данных применительно к сведениям об активности нейронов места у мышей
Научные руководители:
Миронов А.М.
,
Мартынова Елена Дмитриевна
Автор: Кириллов Иван Владимирович (Специалист)
2020
Степень посредничества для графа и его подграфа кратчайших путей
Научные руководители:
Миронов А.М.
,
Моисеев С.В.
Автор: Корчагин Никита Павлович (Специалист)
2020
Сравнительный анализ прогнозируемых моделей SARIMA и Хольт-Уинтерса на примера временного ряда, отражающего кочество активных пользователей онлайн игры
Научный руководитель:
Миронов А.М.
Автор: Мосиевич Кирилл Викторович (Специалист)
2020
Сегментация биомедицинских изображений рисунка капилляров в сетчатке глаза с использованием нейронных сетей и решение задачи о достаточном наборе данных для обучения
Научные руководители:
Миронов А.М.
,
Георгиевский Д.В.
Автор: Ушаков Иван Владимирович (Специалист)
2020
Сегментация биомедицинских изображений нейронными сетями
Научные руководители:
Миронов А.М.
,
Георгиевский Д.В.
Автор: Костюшко Леонид Игоревич (Специалист)
2020
Применение сверточной нейронной сети для распознавания рукописных цифр
Научный руководитель:
Миронов А.М.
Автор: Косьяненко Максим Валерьевич (Специалист)
2020
Подходы к оценке VC-размерности
Научный руководитель:
Миронов А.М.
Автор: Юдаков Даниил Андреевич (Специалист)
2020
Некоторые методы обработки естественного языка
Научный руководитель:
Миронов А.М.
Автор: Носков Николай Викторович (Специалист)
2020
Методы векторного представления слов
Научный руководитель:
Миронов А.М.
Автор: Красных Алексей Владимирович (Специалист)
2020
Математические модели строк с длиной для верификации программ
Научный руководитель:
Миронов А.М.
Автор: Лутовинова Надежда Александровна (Специалист)
2020
Колоризация черно-белых изображений с помощью нейронных сетей
Научный руководитель:
Миронов А.М.
Автор: Бабий Полина Сергеевна (Специалист)
2020
Квантовые алгоритмы и их формальная верификация
Научный руководитель:
Миронов А.М.
Автор: Иванова Екатерина Александровна (Специалист)
2020
Аппроксимация разделяющих гиперповерхностей сигмоидальными функциями
Научные руководители:
Миронов А.М.
,
Бернадотт А.
Автор: Мазурин Александр Дмитриевич (Специалист)
2020
Алгоритм каскадной корреляции
Научный руководитель:
Миронов А.М.
Автор: Блажевич Игорь Юрьевич (Специалист)
2020
Алгоритм "квантовое сверхплотное кодирование" и его формальная верификация
Научный руководитель:
Миронов А.М.
Автор: Исаев Семён Николаевич (Специалист)
2019
Сравнение методов бинарной классификации зашумлённых данных
Научный руководитель:
Миронов Андрей Михайлович
Автор: Юдаков Даниил Андреевич (Специалист)
2019
Решение задачи сегментации объектов при помощи регрессора лэндмарков
Научный руководитель:
Миронов Андрей Михайлович
Автор: Каспарьянц Георгий Григорьевич (Специалист)
2019
Прогнозирование финансовых временных рядов с использованием рекуррентных нейронных сетей
Научные руководители:
Миронов Андрей Михайлович
,
Георгиевский Дмитрий Владимирович
Автор: Сосенко Павел Евгеньевич (Специалист)
2019
Прогнозирование поломки бетонной плиты при двухосном сжатии средствами машинного обучения
Научные руководители:
Миронов Андрей Михайлович
,
Георгиевский Дмитрий Владимирович
Автор: Парсаданян Георгий Генрикович (Специалист)
2019
Представление документа в виде распределения Дирихле
Научный руководитель:
Миронов Андрей Михайлович
Автор: Савушкин Алан Сергеевич (Магистр)
2019
Методы синтеза автоматов
Научный руководитель:
Миронов Андрей Михайлович
Автор: Фельдшеров Сергей Дмитриевич (Специалист)
2019
Доказательство конфиденциальности протокола забывчивой передачи
Научный руководитель:
Миронов Андрей Михайлович
Автор: Анисеня Иван Ильич (Специалист)
2019
Выявление и классификация оскорбительности комментария
Научные руководители:
Миронов Андрей Михайлович
,
Георгиевский Дмитрий Владимирович
Автор: Чернышев Павел Дмитриевич (Специалист)
2019
Верификация протокола скользящего окна с выборочным повтором
Научный руководитель:
Миронов Андрей Михайлович
Автор: Корчагин Никита Павлович (Специалист)
2019
Верификация программы параллельной сортировки
Научный руководитель:
Миронов Андрей Михайлович
Автор: Акишин Кирилл Алексеевич (Специалист)
2019
Верификация некоторых функций библиотек ядра Linux
Научный руководитель:
Миронов Андрей Михайлович
Автор: Иванов Павел Александрович (Специалист)
2019
Алгоритм суммирования для сети с произвольной топологией
Научный руководитель:
Миронов Андрей Михайлович
Автор: Лутовинова Надежда Александровна (Специалист)
2019
Алгоритм отслеживания и подсчета объектов
Научный руководитель:
Миронов Андрей Михайлович
Автор: Фесенко Алексей Игоревич (Специалист)
2018
Технологии, используемые в различных реализациях Блокчейна. Внедрение смарт-контрактов
Научный руководитель:
Миронов Андрей Михайлович
Автор: Бесхмельный Валерий Олегович (Бакалавр)
2018
Построение и верификация распределенного алгоритма вычисления суммы чисел
Научный руководитель:
Миронов Андрей Михайлович
Автор: Акишин Кирилл Алексеевич (Бакалавр)
2018
Онлайн-верификация систем с контролируемыми состояниями
Научный руководитель:
Миронов Андрей Михайлович
Автор: Иванов Павел Александрович (Бакалавр)
2018
Исследование дуплексного протокола с чередующимися битами
Научный руководитель:
Миронов Андрей Михайлович
Автор: Корчагин Никита Павлович (Бакалавр)
Авторство учебных курсов
2023
Методы искусственного интеллекта в задачах анализа данных и верификации программ
Автор:
Миронов Андрей Михайлович
2020
Математические вопросы технологии блокчейн
Автор:
Миронов Андрей Михайлович
дистанционный курс
2019
Машинное обучение
Автор:
Миронов Андрей Михайлович
2019
Машинное обучение
Автор:
Миронов Андрей Михайлович
2019
Математические основы машинного обучения и прогнозирования
Автор:
Миронов Андрей Михайлович
2019
Математические основы машинного обучения и прогнозирования
Автор:
Миронов Андрей Михайлович
2018
Машинное обучение
Автор:
Миронов Андрей Михайлович
2018
Машинное обучение
Автор:
Миронов А.М.
2018
Криптографические протоколы
Автор:
Миронов А.М.
курс на иностранном языке
2018
Большие данные и машинное обучение
Автор:
Миронов А.М.
2017
Машинное Обучение
Автор:
Миронов Андрей Михайлович
2017
Большие данные в современном мире
Авторы:
Садовничий В.А.
,
Петровский М.И.
,
Бородкин Л.И.
,
Петров И.Б.
,
Макаров В.Л.
,
Миронов А.М.
2016
Математические вопросы информатики
Автор:
Миронов Андрей Михайлович
2015
Криптографические протоколы
Автор:
Миронов А.М.
курс на иностранном языке
2014
Теоретическая информатика
Автор:
Миронов Андрей Михайлович
2014
Верификация программ
Автор:
Миронов А.М.
2011
Математическая теория программирования
Автор:
Миронов А.М.
2008
Теория процессов
Автор:
Миронов А.М.
Преподавание учебных курсов
16 февраля 2023 - 18 мая 2023
Криптографические протоколы
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 32 часов
16 февраля 2023 - 18 мая 2023
Математические вопросы информатики
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, вариативной части, семинары, 32 часов
15 февраля 2023 - 17 мая 2023
Большие данные и машинное обучение
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, вариативной части, семинары, 32 часов
15 февраля 2023 - 17 мая 2023
Методы искусственного интеллекта в задачах анализа данных и верификации программ
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (межфакультетский курс), лекции, 32 часов
1 сентября 2020 - 20 декабря 2020
Математические вопросы информатики
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), семинары, 36 часов
1 сентября 2020 - 20 декабря 2020
Математическая теория программирования
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 36 часов
1 сентября 2020 - 20 декабря 2020
Математические вопросы технологии блокчейн
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), семинары, 36 часов
20 сентября 2019 - 20 декабря 2019
Математическая теория программирования
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 32 часов
20 сентября 2019 - 20 декабря 2019
Математические вопросы информатики
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), семинары, 32 часов
19 сентября 2019 - 20 декабря 2019
Машинное обучение
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), семинары, 32 часов
16 сентября 2019 - 20 декабря 2019
Математические основы машинного обучения и прогнозирования
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 32 часов
7 февраля 2019 - 20 мая 2019
Математические вопросы информатики
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической теории интеллектуальных систем
обязательная, по выбору (спецкурс), семинары, 36 часов
7 февраля 2019 - 20 мая 2019
Машинное обучение
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической теории интеллектуальных систем
обязательная, по выбору (спецкурс), лекции, 36 часов
7 февраля 2019 - 20 мая 2019
Машинное обучение
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической теории интеллектуальных систем
обязательная, по выбору (спецкурс), семинары, 36 часов
1 сентября 2018 - 20 декабря 2018
Большие данные и машинное обучение
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической теории интеллектуальных систем
в МГУ им. М.В. Ломоносова (государственная организация, университет, Россия)
обязательная, по выбору (межфакультетский курс), лекции, 32 часов
1 сентября 2018 - 20 декабря 2018
Математическая теория программирования
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 30 часов
1 сентября 2018 - 20 декабря 2018
Большие данные и машинное обучение
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (межфакультетский курс), лекции, 24 часов
1 сентября 2018 - 20 декабря 2018
Математические вопросы информатики
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), семинары, 30 часов
1 сентября 2018 - 20 декабря 2018
Машинное обучение
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), семинары, 30 часов
1 сентября 2018 - 20 декабря 2018
Машинное обучение
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической теории интеллектуальных систем
обязательная, по выбору (спецкурс), семинары, 36 часов
1 сентября 2018 - 20 декабря 2018
Математическая теория программирования
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической теории интеллектуальных систем
обязательная, по выбору (спецкурс), лекции, 36 часов
1 сентября 2018 - 20 декабря 2018
Математические вопросы информатики
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической теории интеллектуальных систем
обязательная, по выбору (спецкурс), семинары, 36 часов
10 февраля 2018 - 30 июня 2018
Введение в дискретную математику
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, базовой части, семинары, 40 часов
10 февраля 2018 - 20 мая 2018
Математические вопросы информатики
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), семинары, 30 часов
10 февраля 2018 - 20 мая 2018
Верификация программ
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 30 часов
10 февраля 2018 - 20 мая 2018
Машинное обучение
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), семинары, 30 часов
8 февраля 2018 - 20 мая 2018
Криптографические протоколы
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, базовой части, лекции, 30 часов
15 ноября 2017 - 30 декабря 2017
Большие данные в современном мире
МГУ имени М.В. Ломоносова
,
Аналитическая служба МГУ
обязательная, по выбору (межфакультетский курс), лекции, 20 часов
1 сентября 2017 - 30 декабря 2017
Машинное Обучение
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической теории интеллектуальных систем
обязательная, вариативной части, семинары, 36 часов
1 сентября 2017 - 30 декабря 2017
Математические вопросы информатики
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической теории интеллектуальных систем
обязательная, вариативной части, семинары, 36 часов
1 сентября 2017 - 30 декабря 2017
Верификация программ
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической теории интеллектуальных систем
факультативная, лекции, 36 часов
31 октября 2016 - 13 ноября 2016
Математическая теория программирования
МГУ имени М.В. Ломоносова
,
Филиал МГУ в г. Ташкент
в филиал МГУ в ташкенте (государственная организация, университет, Узбекистан)
обязательная, вариативной части, лекции, 72 часов
1 сентября 2016 - 18 декабря 2016
Математическая теория программирования
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 30 часов
1 сентября 2016 - 18 декабря 2016
Математические вопросы информатики
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), семинары, 30 часов
2 февраля 2016 - 6 мая 2016
Криптографические протоколы
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 30 часов
7 сентября 2015 - 20 сентября 2015
Верификация программ
МГУ имени М.В. Ломоносова
,
Филиал МГУ в г. Ташкент
обязательная, вариативной части, лекции, 72 часов
1 сентября 2015 - 30 мая 2016
Теоретическая информатика
МГУ имени М.В. Ломоносова
,
Школа-интернат имени А.Н.Колмогорова (СУНЦ МГУ)
из Московский государственный университет имени М.В. Ломоносова (государственная организация, университет, Россия)
обязательная, по выбору (спецкурс), лекции, 72 часов
1 сентября 2015 - 30 декабря 2015
Верификация программ
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 36 часов
6 февраля 2015 - 20 мая 2015
Верификация программ
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), семинары, 30 часов
1 сентября 2014 - 30 мая 2015
Теоретическая информатика
МГУ имени М.В. Ломоносова
,
Школа-интернат имени А.Н.Колмогорова (СУНЦ МГУ)
обязательная, по выбору (спецкурс), лекции, 72 часов
1 сентября 2014 - 20 декабря 2014
Теория процессов
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 30 часов
1 сентября 2014 - 20 декабря 2014
Верификация программ
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 30 часов
1 сентября 2011 - 20 декабря 2011
Математическая теория программирования
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, по выбору (спецкурс), лекции, 30 часов