Коновалов Александр Юрьевич
пользователь
кандидат физико-математических наук с 2018 года
Количество цитирований статей в журналах по данным
Web of Science: 0,
Scopus: 4
IstinaResearcherID (IRID): 88955460
Деятельность
-
Статьи в журналах
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
2018
“Доклады семинара «Теория автоматов»”
-
Ищенко Р.А.,
Подколзин А.С.,
Жук Д.Н.,
Моисеев С.В.,
Миронов А.М.,
Голиков К.А.,
Дергач П.С.,
Галатенко А.В.,
Мазуренко И.Л.,
Коновалов А.Ю.,
Курганов Е.А.
-
в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 22, № 4, с. 137-142
-
-
-
-
-
-
-
-
-
Статьи в сборниках
-
Доклады на конференциях
-
Тезисы докладов
-
-
-
-
-
-
2017
Realizability semantics for the predicate formulas based on generalized computability
-
Konovalov A.Yu,
Plisko V.E.
-
в сборнике Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 26-27
-
редакторы
Герасимова Ирина Алексеевна,
Григорьев Олег Михайлович,
Зайцев Дмитрий Владимирович,
Ивлев Юрий Васильевич,
Маркин Владимир Ильич,
Шалак Владимир Иванович
-
-
НИРы
-
-
1 января 2021 - 31 декабря 2025
Теория интеллектуальных систем и автоматов 2021-2025
-
Кафедра математической теории интеллектуальных систем
-
Руководитель:
Кудрявцев В.Б.
Участники НИР:
Алексеев Д.В.,
Алешин С.В.,
Алисейчик П.А.,
Бабин Д.Н.,
Боков Г.В.,
Волков Н.Ю.,
Галатенко А.В.,
Гасанов Э.Э.,
Дергач П.С.,
Жук Д.Н.,
Ирматов А.А.,
Калачев Г.В.,
Козлов В.Н.,
Коновалов А.Ю.,
Мазуренко И.Л.,
Миронов А.М.,
Носов В.А.,
Носов М.В.,
Осокин В.В.,
Панкратьев А.Е.,
Пантелеев П.А.,
Подколзин А.С.,
Половников В.С.,
Родин С.Б.,
Рыжов А.П.,
Соколов А.П.,
Часовских А.А.,
Чернова Ю.Г.,
Шуткин Ю.С.,
строгалов а.с.
-
-
-
-
1 января 2016 - 31 декабря 2020
Теория интеллектуальных систем и автоматов 2016-2020
-
Кафедра математической теории интеллектуальных систем
-
Руководитель:
Кудрявцев В.Б.
Участники НИР:
Алексеев Д.В.,
Алешин С.В.,
Алисейчик П.А.,
Бабин Д.Н.,
Боков Г.В.,
Буевич В.А.,
Волков Н.Ю.,
Галатенко А.В.,
Гасанов Э.Э.,
Дергач П.С.,
Жук Д.Н.,
Ирматов А.А.,
Калачев Г.В.,
Козлов В.Н.,
Коновалов А.Ю.,
Мазуренко И.Л.,
Миронов А.М.,
Носов В.А.,
Носов М.В.,
Осокин В.В.,
Панкратьев А.Е.,
Пантелеев П.А.,
Подколзин А.С.,
Половников В.С.,
Родин С.Б.,
Рыжов А.П.,
Соколов А.П.,
Часовских А.А.,
Чернова Ю.Г.,
Шуткин Ю.С.,
строгалов а.с.
-
-
Отчеты
-
Диссертация
-
-
2018
Конструктивные семантики логических языков, основанные на обобщенной вычислимости
- Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
- Автор:
Коновалов Александр Юрьевич, к.ф.-м.н., МГУ имени М.В. Ломоносова
-
Научный руководитель:
Плиско Валерий Егорович, к.ф.-м.н., доц., МГУ имени М.В. Ломоносова
-
Защищена в совете
МГУ.01.17
МГУ имени М.В. Ломоносова, Механико-математический факультет
-
Организация, в которой выполнялась работа:
МГУ имени М.В. Ломоносова
-
Оппоненты:
Кановей Владимир Григорьевич,
Чернов Алексей Вячеславович,
Одинцов Сергей Павлович
-
Авторство учебных курсов
-
Преподавание учебных курсов