|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Коновалов Александр Юрьевич пользователь
МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической теории интеллектуальных систем, Лаборатория математических проблем искусственного интеллекта, младший научный сотрудник, с 28 мая 2018
кандидат физико-математических наук с 2018 года
Прежние места работы (Нажмите для отображения)Соавторы: Плиско В.Е., Novosad V., Алексеев Д.В., Боков Г.В., Галатенко А.В., Нерсисян С.А., Соколов А.П., Тоневицкий А.Г.
32 статьи, 14 докладов на конференциях, 7 тезисов докладов, 6 НИР, 1 научный отчёт, 1 диссертация, 3 учебных курса
Количество цитирований статей в журналах по данным
Web of Science: 6,
Scopus: 10
IstinaResearcherID (IRID): 88955460
Деятельность
-
Статьи в журналах
-
-
- 2021 General Recursive Realizability and Intuitionistic Logic
- Konovalov A.Yu
- в журнале Algebra and Logic, издательство Consultants Bureau (United States), том 60, с. 89-94 DOI
-
- 2021 Generalized Realizability and Basic Logic
- Konovalov Aleksandr Yu
- в журнале ACM Transactions on Computational Logic, издательство Association for Computing Machinery, Inc. (United States), том 22, № 4, с. 1-23 DOI
-
- 2021 Λ-выражения для примитивно-рекурсивных функций в иерархии Гжегорчика
- Коновалов А.Ю.
- в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 25, № 1, с. 97-114
-
- 2021 Корректность базисной логики относительно абсолютной L-реализуемости
- Коновалов А.Ю.
- в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 25, № 2, с. 49-54
-
- 2021 Общерекурсивная реализуемость и интуиционистская логика
- Коновалов А.Ю.
- в журнале Алгебра и логика, издательство Обществ. фонд "Сиб. фонд алгебры и логики" (Новосибирск), том 60, № 2, с. 137-144 DOI
-
- 2020 General Recursive Realizability and Basic Logic
- Konovalov A.Yu
- в журнале Algebra and Logic, издательство Consultants Bureau (United States), том 59, с. 367-384 DOI
-
- 2020 Generalized Realizability and Markov’s Principle
- Konovalov A.Yu
- в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 75, с. 38-41 DOI
-
- 2020 Корректность конструктивной теории множеств без аксиомы объемности относительно семантики арифметической реализуемости, основанной на гиперарифметических видах
- Коновалов А.Ю.
- в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 24, № 1, с. 73-77
-
- 2020 Обобщенная реализуемость и принцип Маркова
- Коновалов А.Ю.
- в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 1, с. 60-64
-
- 2020 Общерекурсивная реализуемость и базисная логика
- Коновалов А.Ю.
- в журнале Алгебра и логика, издательство Обществ. фонд "Сиб. фонд алгебры и логики" (Новосибирск), том 59, № 5, с. 542-566 DOI
-
- 2019 Absolute L-realizability and intuitionistic logic
- Konovalov A.Yu
- в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 74, № 2, с. 79-82 DOI
-
- 2019 Generalized Realizability for Extensions of the Language of Arithmetic
- Konovalov A.Yu
- в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 74, № 4, с. 167-170 DOI
-
- 2019 Абсолютная L-реализуемость и интуиционистская логика
- Коновалов Александр Юрьевич
- в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 2, с. 50-53
-
- 2019 Некорректность интуиционистской теории множеств относительно конструктивной семантики, основанной на гиперарифметических видах
- Коновалов А.Ю.
- в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 23, № 3, с. 131-134
-
- 2019 Некорректность теории множеств Цермело-Френкеля относительно конструктивной семантики, основанной на гиперарифметических видах
- Коновалов А.Ю.
- в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 23, № 2, с. 159-162
-
- 2019 Обобщенная реализуемость для расширений языка арифметики
- Коновалов А.Ю.
- в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 4, с. 50-54
-
- 2019 Равномерная V-реализуемость принципа Маркова в V-перечислимой области
- Коновалов А.Ю.
- в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 23, № 1, с. 99-103
-
- 2019 Условие корректности и полноты классической логики для семантики относительной V-реализуемости
- Коновалов А.Ю.
- в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 23, № 1, с. 133-136
-
- 2018 Классическая истинность всех абсолютно арифметически реализуемых предикатных формул
- Коновалов А.Ю.
- в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 22, № 4, с. 111-114
-
- 2018 Критерий совпадения V-реализуемости формул расширения L языка арифметики с классической семантикой языка L
- Коновалов А.Ю.
- в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 22, № 3, с. 127-130
-
- 2018 Некорректность интуиционистской логики относительно L-реализуемости
- Коновалов А.Ю.
- в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 22, № 3, с. 41-44
-
- 2017 The semantics of realizability for the constructive set theory based on hyperarithmetical predicates
- Konovalov A.Yu
- в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 72, № 3, с. 129-132 DOI
-
-
- 2016 Arithmetical realizability and basic logic
- Konovalov A.Yu
- в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 71, № 1, с. 35-38 DOI
-
- 2016 Arithmetical realizability and primitive recursive realizability
- Konovalov A.Yu
- в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 71, № 4, с. 166-169 DOI
-
- 2016 Арифметическая реализуемость и базисная логика
- Коновалов Александр Юрьевич
- в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 1, с. 52-56
-
- 2016 Арифметическая реализуемость и примитивно-рекурсивная реализуемость
- Коновалов Александр Юрьевич
- в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 4, с. 60-64
-
- 2015 On hyperarithmetical realizability
- Konovalov A.Yu, Plisko V.E.
- в журнале Mathematical Notes, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 98, № 5, с. 778-797 DOI
-
- 2015 О гиперарифметической реализуемости
- Коновалов Александр Юрьевич, Плиско Валерий Егорович
- в журнале Математические заметки, издательство МИАН (Москва), том 98, № 5, с. 725-746 DOI
-
-
Статьи в сборниках
-
- 2021 Строгая примитивно-рекурсивная реализуемость для языка базисной логики
- Коновалов А.Ю.
- в сборнике Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г, место издания «Русское общество истории и философии науки» Москва, с. 28-30
-
- 2019 Понятие реализуемости на основе общерекурсивных функций
- Коновалов А.Ю.
- в сборнике Материалы XIII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 17–22 июня 2019 г.), место издания Изд-во механико-математического факультета МГУ, с. 277-279
-
-
Доклады на конференциях
-
- 2021 Строгая примитивно-рекурсивная реализуемость для языка базисной логики (Устный)
- Автор: Коновалов А.Ю.
- Двенадцатые Смирновские чтения по логике. Международная научная конференция. 24-26 июня 2021 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, Россия, 24-26 июня 2021
-
- 2021 Модификации строгой PR-реализуемости для языка базисной логики (Устный)
- Автор: Коновалов А.Ю.
- Ломоносовские чтения 2021, Москва, МГУ имени М.В.Ломоносова, Россия, 20-29 апреля 2021
-
- 2021 Некорректность базисной логики предикатов относительно сильного варианта строгой примитивно-рекурсивной реализуемости (Устный)
- Автор: Коновалов А.Ю.
- XXVIII Международная научная конференция студентов, аспирантов и молодых ученых "Ломоносов 2021", МГУ им. М.В. Ломоносова, Москва, Россия, 12-23 апреля 2021
-
- 2020 V-реализуемость и интуиционистская логика (Устный)
- Автор: Коновалов А.Ю.
- Международная научная конференция студентов, аспирантов и молодых учёных «Ломоносов-2020», Москва, Россия, 10-27 ноября 2020
-
- 2020 Критерий корректности интуиционистской логики относительно обобщенной реализуемости (Устный)
- Автор: Коновалов А.Ю.
- Ломоносовские чтения 2020. Секция математики, МГУ имени М.В. Ломоносова, Россия, 21-28 октября 2020
-
- 2019 Семантика общерекурсивной реализуемости (Устный)
- Автор: Коновалов А.Ю.
- Мальцевские чтения 2019, Новосибирск, ИМ СО РАН, Россия, 19-23 августа 2019
-
- 2019 V-реализуемость и базисная логика (Устный)
- Автор: Коновалов А.Ю.
- Одиннадцатые Смирновские чтения по логике. Международная научная конференция. 19-21 июня 2019 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, 19-21 июня 2019
-
- 2019 Понятие реализуемости на основе общерекурсивных функций (Устный)
- Автор: Коновалов А.Ю.
- XIII Международный семинар "Дискретная математика и ее приложения", Москва, Россия, 17-22 июня 2019
-
- 2019 О некоторых конструктивных аспектах математической логики (Устный)
- Авторы: Коновалов А.Ю., Плиско В.Е., Боков Г.В.
- «Ломоносовские чтения - 2019». Секция «Математика», Москва, МГУ, Россия, 15-25 апреля 2019
-
- 2019 Семантика общерекурсивной реализуемости для языка логики предикатов (Устный)
- Автор: Коновалов А.Ю.
- «Ломоносовские чтения - 2019». Секция «Математика», Москва, МГУ, Россия, 15-25 апреля 2019
-
- 2019 Понятие общерекурсивной реализуемости (Устный)
- Автор: Коновалов А.Ю.
- Международная научная конференция студентов, аспирантов и молодых учёных «Ломоносов-2019», Москва, Россия, 11 апреля 2019
-
- 2017 Realizability semantics for the predicate formulas based on generalized computability (Устный)
- Авторы: Plisko V.E., Konovalov A.Yu
- Десятые Смирновские чтения по логике. Международная научная конференция. 15-17 июня 2017 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, 15-17 июня 2017
-
- 2014 Интерпретации типа реализуемости для базисной логики (Устный)
- Авторы: Плиско В.Е., Коновалов А.Ю.
- Конструктивная теория доказательств. Международная конференция, посвященная памяти А.Г.Драгалина, Москва, Россия, 20 февраля 2014
-
- 2013 Понятие арифметической реализуемости (Устный)
- Автор: Коновалов А.Ю.
- Восьмые Смирновские чтения по логике. Международная научная конференция. 19-21 июня 2013 года, г.Москва, МГУ имени М.В. Ломоносова, Россия, 19-21 июня 2013
-
-
Тезисы докладов
-
- 2021 Некорректность базисной логики предикатов относительно сильного варианта строгой примитивно-рекурсивной реализуемости
- Коновалов А.Ю.
- в сборнике Материалы Международного молодежного научного форума «Ломоносов-2021», издательство ООО "МАКС Пресс" (Москва), тезисы, с. 14
- редакторы Алешковский Иван Андреевич, Андриянов Андрей Владимирович, Антипов Евгений Александрович, Зимакова Екатерина Игоревна
-
- 2020 𝑉 -реализуемость и интуиционистская логика
- Коновалов А.Ю.
- в сборнике Материалы Международного молодежного научного форума «Ломоносов-2020», издательство ООО "МАКС Пресс" (Москва), тезисы, с. 11
- редакторы Алешковский Иван Андреевич, Андриянов Андрей Владимирович, Антипов Евгений Александрович
-
- 2019 V-реализуемость и базисная логика
- Коновалов А.Ю.
- в сборнике Одиннадцатые Смирновские чтения по логике. Материалы Международной научной конференции. 19-21 июня 2019 года, серия Смирновские чтения по логике, место издания Современные тетради, Москва, тезисы, с. 27-29
-
- 2019 Понятие общерекурсивной реализуемости
- Коновалов А.Ю.
- в сборнике Материалы Международного молодежного научного форума «Ломоносов-2019», издательство ООО "МАКС Пресс" (Москва), тезисы
- редакторы Алешковский Иван Андреевич, Андриянов Андрей Владимирович, Антипов Евгений Александрович
-
- 2019 Семантика общерекурсивной реализуемости
- Коновалов А.Ю.
- в сборнике Международная конференция "Мальцевские чтения", 19–23 августа 2019 г. Новосибирск, место издания Новосибирский государственный университет Новосибирск, тезисы, с. 74-74
-
- 2017 Realizability semantics for the predicate formulas based on generalized computability
- Konovalov A.Yu, Plisko V.E.
- в сборнике Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 26-27
- редакторы Герасимова Ирина Алексеевна, Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Маркин Владимир Ильич, Шалак Владимир Иванович
-
- 2013 Понятие арифметической реализуемости
- Коновалов А.Ю.
- в сборнике Восьмые Смирновские чтения по логике. Материалы международной научной конференции. 19-21 июня 2013 года, серия Смирновские чтения по логике, место издания Современные тетради Москва, тезисы
- редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Карпенко Александр Степанович, Маркин Владимир Ильич
-
-
НИРы
-
- 10 января 2022 - 31 декабря 2024 Математические методы анализа биомедицинских данных
- Лаборатория математических проблем искусственного интеллекта
- Руководители: Боков Г.В., Кудрявцев В.Б. Участники НИР: Алексеев Д.В., Галатенко А.В., Коновалов А.Ю., Нерсисян С.А., Носов М.В., Соколов А.П.
-
- 1 января 2021 - 31 декабря 2025 Теория интеллектуальных систем и автоматов 2021-2025
- Кафедра математической теории интеллектуальных систем
- Руководитель: Кудрявцев В.Б. Участники НИР: Алексеев Д.В., Алешин С.В., Алисейчик П.А., Бабин Д.Н., Боков Г.В., Волков Н.Ю., Галатенко А.В., Гасанов Э.Э., Дергач П.С., Жук Д.Н., Ирматов А.А., Калачев Г.В., Козлов В.Н., Коновалов А.Ю., Мазуренко И.Л., Миронов А.М., Носов В.А., Носов М.В., Осокин В.В., Панкратьев А.Е., Пантелеев П.А., Подколзин А.С., Половников В.С., Родин С.Б., Рыжов А.П., Соколов А.П., Часовских А.А., Чернова Ю.Г., Шуткин Ю.С., строгалов а.с.
-
- 1 января 2020 - 31 декабря 2022 Неклассические семантики и исчисления
- Кафедра математической логики и теории алгоритмов
- Руководитель: Пентус М.Р. Ответственные исполнители: Золин Е.Е., Плиско В.Е. Участники НИР: Боков Г.В., Гершгорин Р.А., Коновалов А.Ю., Крупский В.Н., Пшеницын Т.Г.
-
- 1 июля 2018 - 30 июня 2019 Использование интеллектуальной системы для настройки параметров оптимизирующих преобразований
- Лаборатория математических проблем искусственного интеллекта
- Руководитель: Боков Г.В. Участник НИР: Коновалов А.Ю.
-
- 1 января 2016 - 31 декабря 2020 Теория интеллектуальных систем и автоматов 2016-2020
- Кафедра математической теории интеллектуальных систем
- Руководитель: Кудрявцев В.Б. Участники НИР: Алексеев Д.В., Алешин С.В., Алисейчик П.А., Бабин Д.Н., Боков Г.В., Буевич В.А., Волков Н.Ю., Галатенко А.В., Гасанов Э.Э., Дергач П.С., Жук Д.Н., Ирматов А.А., Калачев Г.В., Козлов В.Н., Коновалов А.Ю., Мазуренко И.Л., Миронов А.М., Носов В.А., Носов М.В., Осокин В.В., Панкратьев А.Е., Пантелеев П.А., Подколзин А.С., Половников В.С., Родин С.Б., Рыжов А.П., Соколов А.П., Часовских А.А., Чернова Ю.Г., Шуткин Ю.С., строгалов а.с.
-
- 1 января 2014 - 31 декабря 2016 Модальные и лингвистические аспекты математической логики
- Кафедра математической логики и теории алгоритмов
- Руководитель: Успенский В.А. Участники НИР: Золин Е.Е., Коновалов А.Ю., Крупский В.Н., Кузнецов С.Л., Пентус М.Р., Плиско В.Е., Чистякова Р.А., Шехтман В.Б., Яворская Т.Л.
-
-
Отчеты
-
Диссертация
-
- 2018 Конструктивные семантики логических языков, основанные на обобщенной вычислимости
- Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
- Автор: Коновалов Александр Юрьевич, к.ф.-м.н., МГУ имени М.В. Ломоносова
- Научный руководитель: Плиско Валерий Егорович, к.ф.-м.н., доц., МГУ имени М.В. Ломоносова
- Защищена в совете МГУ.01.17(до12/2021) МГУ имени М.В. Ломоносова, Механико-математический факультет
- Организация, в которой выполнялась работа: МГУ имени М.В. Ломоносова
- Оппоненты: Кановей Владимир Григорьевич, Чернов Алексей Вячеславович, Одинцов Сергей Павлович
-
-
Авторство учебных курсов
-
Преподавание учебных курсов
-
- 1 сентября 2019 - 31 мая 2020 Вычислимость и неклассические логики
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), семинары, 70 часов
-
- с 3 сентября 2018 Математическая логика и интеллектуальные системы
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), лекции, 68 часов
-
- с 3 сентября 2018 Математические проблемы искусственного интеллекта
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- факультативная, семинары, 68 часов
-
- 3 сентября 2018 - 31 мая 2019 Вычислимость и неклассические логики
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), семинары, 70 часов
-