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

Публикации в базе данных Math-Net.Ru

1. Автоматизация поиска архитектур искусственных нейронных сетей
   
   Интеллектуальные системы. Теория и приложения, 27:4 (2023),  5–27
2. Корректность базисной логики предикатов относительно модифицированного варианта строгой примитивно-рекурсивной реализуемости
   
   Матем. заметки, 114:6 (2023),  827–847
3. Некорректность базисной логики предикатов относительно сильного варианта строгой примитивно-рекурсивной реализуемости
   
   Матем. заметки, 111:2 (2022),  241–257
4. Общерекурсивная реализуемость и интуиционистская логика
   
   Алгебра и логика, 60:2 (2021),  137–144
5. Корректность базисной логики относительно абсолютной $L$-реализуемости
   
   Интеллектуальные системы. Теория и приложения, 25:2 (2021),  49–54
6. $\Lambda$-выражения для примитивно-рекурсивных функций в иерархии Гжегорчика
   
   Интеллектуальные системы. Теория и приложения, 25:1 (2021),  107–125
7. Общерекурсивная реализуемость и базисная логика
   
   Алгебра и логика, 59:5 (2020),  542–566
8. Корректность конструктивной теории множеств без аксиомы объемности относительно семантики арифметической реализуемости, основанной на гиперарифметических видах
   
   Интеллектуальные системы. Теория и приложения, 24:1 (2020),  73–77
9. Обобщенная реализуемость и принцип Маркова
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2020, № 1,  60–64
10. Некорректность интуиционистской теории множеств относительно конструктивной семантики, основанной на гиперарифметических видах
    
    Интеллектуальные системы. Теория и приложения, 23:3 (2019),  131–134
11. Некорректность теории множеств Цермело–Френкеля относительно конструктивной семантики, основанной на гиперарифметических видах
    
    Интеллектуальные системы. Теория и приложения, 23:2 (2019),  159–163
12. Условие корректности и полноты классической логики для семантики относительной $V$-реализуемости
    
    Интеллектуальные системы. Теория и приложения, 23:1 (2019),  133–136
13. Равномерная $V$-реализуемость принципа Маркова в $V$-перечислимой области
    
    Интеллектуальные системы. Теория и приложения, 23:1 (2019),  99–103
14. Обобщенная реализуемость для расширений языка арифметики
    
    Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2019, № 4,  50–54
15. Абсолютная $L$-реализуемость и интуиционистская логика
    
    Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2019, № 2,  50–53
16. Доклады семинара «Теория автоматов»
    
    Интеллектуальные системы. Теория и приложения, 22:4 (2018),  137–142
17. Классическая истинность всех абсолютно арифметически реализуемых предикатных формул
    
    Интеллектуальные системы. Теория и приложения, 22:4 (2018),  111–114
18. Критерий совпадения $V$-реализуемости формул расширения $L$ языка арифметики с классической семантикой языка $L$
    
    Интеллектуальные системы. Теория и приложения, 22:3 (2018),  127–130
19. Некорректность интуиционистской логики относительно $L$-реализуемости
    
    Интеллектуальные системы. Теория и приложения, 22:3 (2018),  41–44
20. Семантика реализуемости для конструктивной теории множеств, основанная на гиперарифметических предикатах
    
    Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2017, № 3,  59–62
21. Арифметическая реализуемость и примитивно-рекурсивная реализуемость
    
    Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2016, № 4,  60–64
22. Арифметическая реализуемость и базисная логика
    
    Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2016, № 1,  52–56
23. О гиперарифметической реализуемости
    
    Матем. заметки, 98:5 (2015),  725–746