|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Коновалов Александр Юрьевич пользователь
МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической теории интеллектуальных систем, Лаборатория математических проблем искусственного интеллекта, младший научный сотрудник, с 28 мая 2018
кандидат физико-математических наук с 2018 года
Соавторы: Плиско В.Е.
16 статей, 8 докладов на конференциях, 4 тезисов докладов, 3 НИР, 1 научный отчёт, 1 диссертация, 3 учебных курса
Количество цитирований статей в журналах по данным
Web of Science: 0,
Scopus: 2
IstinaResearcherID (IRID): 88955460
Деятельность
стиль:
обычный |
ГОСТ |
plain |
abbrv |
acm |
alpha |
amsalpha |
amsplain |
apalike |
ieeetr |
siam
-
Статьи в журналах
-
- 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 Абсолютная L-реализуемость и интуиционистская логика
- Коновалов Александр Юрьевич
- в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 2, с. 50-53
-
- 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, издательство Consultants Bureau (United States), том 98, № 5, с. 778-797 DOI
-
- 2015 О гиперарифметической реализуемости
- Коновалов Александр Юрьевич, Плиско Валерий Егорович
- в журнале Математические заметки, том 98, № 5, с. 725-746 DOI
-
-
Доклады на конференциях
-
- 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 (Устный)
- Авторы: Konovalov A.Yu, Plisko V.E.
- Десятые Смирновские чтения по логике. Международная научная конференция. 15-17 июня 2017 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, 15-17 июня 2017
-
- 2014 Интерпретации типа реализуемости для базисной логики (Устный)
- Авторы: Коновалов А.Ю., Плиско В.Е.
- Конструктивная теория доказательств. Международная конференция, посвященная памяти А.Г.Драгалина, Москва, Россия, 20 февраля 2014
-
- 2013 Понятие арифметической реализуемости (Устный)
- Автор: Коновалов А.Ю.
- Восьмые Смирновские чтения по логике. Международная научная конференция. 19-21 июня 2013 года, г.Москва, МГУ имени М.В. Ломоносова, Россия, 19-21 июня 2013
-
-
Тезисы докладов
-
- 2019 V-реализуемость и базисная логика
- Коновалов А.Ю.
- в сборнике Одиннадцатые Смирновские чтения по логике. Материалы Международной научной конференции. 19-21 июня 2019 года, серия Смирновские чтения по логике, место издания Современные тетради, Москва, тезисы, с. 27-29
-
- 2019 Понятие общерекурсивной реализуемости
- Коновалов А.Ю.
- в сборнике Материалы Международного молодежного научного форума «ЛОМОНОСОВ-2019» / Отв. ред. И.А. Алешковский, А.В. Андриянов, Е.А. Антипов, серия Электронный ресурс (DVD-ROM). ISBN 978‐5‐317‐06100‐5, издательство ООО "МАКС Пресс" (Москва), том 1, тезисы
-
- 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 июля 2018 - 30 июня 2019 Использование интеллектуальной системы для настройки параметров оптимизирующих преобразований
- Лаборатория математических проблем искусственного интеллекта
- Руководитель: Боков Г.В. Участник НИР: Коновалов А.Ю.
-
- 1 января 2016 - 31 декабря 2020 Теория интеллектуальных систем и автоматов 2016-2020
- Кафедра математической теории интеллектуальных систем
- Руководитель: Кудрявцев В.Б. Участники НИР: Алексеев Д.В., Алешин С.В., Алисейчик П.А., Бабин Д.Н., Боков Г.В., Буевич В.А., Волков Н.Ю., Галатенко А.В., Гасанов Э.Э., Дергач П.С., Жук Д.Н., Ирматов А.А., Калачев Г.В., Козлов В.Н., Коновалов А.Ю., Мазуренко И.Л., Миронов А.М., Носов В.А., Носов М.В., Осокин В.В., Панкратьев А.Е., Пантелеев П.А., Подколзин А.С., Половников В.С., Родин С.Б., Рыжов А.П., Соколов А.П., Часовских А.А., Чернова Ю.Г., Шуткин Ю.С., строгалов а.с.
-
- 1 января 2014 - 31 декабря 2016 Модальные и лингвистические аспекты математической логики
- Кафедра математической логики и теории алгоритмов
- Руководитель: Успенский В.А. Участники НИР: Золин Е.Е., Коновалов А.Ю., Крупский В.Н., Кузнецов С.Л., Пентус М.Р., Плиско В.Е., Чистякова Р.А., Шехтман В.Б., Яворская Т.Л.
-
-
Отчеты
-
Диссертация
-
- 2018 Конструктивные семантики логических языков, основанные на обобщенной вычислимости
- Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
- Автор: Коновалов Александр Юрьевич, к.ф.-м.н., МГУ имени М.В. Ломоносова
- Научный руководитель: Плиско Валерий Егорович, к.ф.-м.н., доц., МГУ имени М.В. Ломоносова
- Защищена в совете МГУ.01.17 МГУ имени М.В. Ломоносова, Механико-математический факультет
- Организация, в которой выполнялась работа: МГУ имени М.В. Ломоносова
- Оппоненты: Кановей Владимир Григорьевич, Чернов Алексей Вячеславович, Одинцов Сергей Павлович
-
-
Авторство учебных курсов
-
Преподавание учебных курсов
-
- с 3 сентября 2018 Математическая логика и интеллектуальные системы
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), лекции, 68 часов
-
- с 3 сентября 2018 Математические проблемы искусственного интеллекта
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- факультативная, семинары, 68 часов
-
- 3 сентября 2018 - 31 мая 2019 Вычислимость и неклассические логики
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), семинары, 70 часов
-