ИСТИНА

Коновалов Александр Юрьевич пользователь

МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической теории интеллектуальных систем, Лаборатория математических проблем искусственного интеллекта, младший научный сотрудник, с 28 мая 2018

кандидат физико-математических наук с 2018 года

Соавторы: Плиско В.Е., Галатенко А.В., Голиков К.А., Дергач П.С., Жук Д.Н., Ищенко Р.А., Курганов Е.А., Мазуренко И.Л., Миронов А.М., Моисеев С.В., Подколзин А.С.

26 статей, 11 докладов на конференциях, 6 тезисов докладов, 5 НИР, 1 научный отчёт, 1 диссертация, 3 учебных курса

Количество цитирований статей в журналах по данным Web of Science: 0, Scopus: 4

IstinaResearcherID (IRID): 88955460

Деятельность

• Статьи в журналах

  • 
    • 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
  • • 2018 “Доклады семинара «Теория автоматов»”
    • Ищенко Р.А., Подколзин А.С., Жук Д.Н., Моисеев С.В., Миронов А.М., Голиков К.А., Дергач П.С., Галатенко А.В., Мазуренко И.Л., Коновалов А.Ю., Курганов Е.А.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 22, № 4, с. 137-142
  • 
    • 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
  • 
    • 2017 Семантика реализуемости для конструктивной теории множеств, основанная на гиперарифметический предикатах
    • Коновалов Александр Юрьевич
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 3, с. 59-62
  • 
    • 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

• Статьи в сборниках

  • • 2019 Понятие реализуемости на основе общерекурсивных функций
    • Коновалов А.Ю.
    • в сборнике Материалы XIII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 17–22 июня 2019 г.), место издания Изд-во механико-математического факультета МГУ, с. 277-279

• Доклады на конференциях

  • • 2020 V-реализуемость и интуиционистская логика (Устный)
    • Автор: Коновалов А.Ю.
    • XXVII Международная конференция студентов, аспирантов и молодых учёных «Ломоносов», МГУ имени М.В.Ломоносова, Россия, 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 Понятие общерекурсивной реализуемости (Устный)
    • Автор: Коновалов А.Ю.
    • XXVI Международная научная конференция студентов, аспирантов и молодых ученых "Ломоносов-2019", МГУ имени М.В.Ломоносова, Россия, 8-12 апреля 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

• Тезисы докладов

  • 
    • 2020 𝑉 -реализуемость и интуиционистская логика
    • Коновалов А.Ю.
    • в сборнике Материалы Международного молодежного научного форума «ЛОМОНОСОВ-2020» [Электронный ресурс] / Отв. ред. И.А. Алешковский, А.В. Андриянов, Е.А. Антипов. – Электрон. текстовые дан. (1500 Мб.), серия Секция "Политические науки", Подсекция «Политика памяти: методология исследования и практики применения», издательство ООО "МАКС Пресс" (Москва), тезисы, с. 11
  • • 2019 V-реализуемость и базисная логика
    • Коновалов А.Ю.
    • в сборнике Одиннадцатые Смирновские чтения по логике. Материалы Международной научной конференции. 19-21 июня 2019 года, серия Смирновские чтения по логике, место издания Современные тетради, Москва, тезисы, с. 27-29
  • • 2019 Понятие общерекурсивной реализуемости
    • Коновалов А.Ю.
    • в сборнике Материалы Международного молодежного научного форума «ЛОМОНОСОВ-2019», издательство ООО "МАКС Пресс" (Москва), том 1, тезисы
    • редакторы Каширина Екатерина Сергеевна, Хапаев Вадим Вадимович, Шихаметова Эльзара Рефатовна
  • • 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 года, серия Смирновские чтения по логике, место издания Современные тетради Москва, тезисы
    • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Карпенко Александр Степанович, Маркин Владимир Ильич

• НИРы

  • • 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 Исследование алгоритмов и выделение параметров оптимизирующих преобразований компилятора LCC. Техническое проектирование и разработка опытного образца ИС.
    • Авторы: Боков Г.В., Коновалов А.Ю.
    • #1, 50 с.

• Диссертация

  • • 2018 Конструктивные семантики логических языков, основанные на обобщенной вычислимости
    • Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
    • Автор: Коновалов Александр Юрьевич, к.ф.-м.н., МГУ имени М.В. Ломоносова
    • Научный руководитель: Плиско Валерий Егорович, к.ф.-м.н., доц., МГУ имени М.В. Ломоносова
    • Защищена в совете МГУ.01.17 МГУ имени М.В. Ломоносова, Механико-математический факультет
    • Организация, в которой выполнялась работа: МГУ имени М.В. Ломоносова
    • Оппоненты: Кановей Владимир Григорьевич, Чернов Алексей Вячеславович, Одинцов Сергей Павлович

• Авторство учебных курсов

  • • 2009 Вычислимость и неклассические логики
    • Авторы: Плиско В.Е., Крупский В.Н., Ногина Е.Ю., Коновалов А.Ю.

• Преподавание учебных курсов

  • • 1 сентября 2019 - 31 мая 2020 Вычислимость и неклассические логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), семинары, 70 часов
  • • с 3 сентября 2018 Математическая логика и интеллектуальные системы
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 68 часов
  • • с 3 сентября 2018 Математические проблемы искусственного интеллекта
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • факультативная, семинары, 68 часов
  • • 3 сентября 2018 - 31 мая 2019 Вычислимость и неклассические логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 70 часов