Боков Григорий Владимирович

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

1. Автоматизация поиска архитектур искусственных нейронных сетей
   
   Интеллектуальные системы. Теория и приложения, 27:4 (2023),  5–27
2. О сложности линейной укладки нагруженных ориентированных ациклических графов
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2021, № 1,  55–57
3. Искусственный интеллект: проблемы и перспективы
   
   Интеллектуальные системы. Теория и приложения, 24:4 (2020),  33–44
4. Критерий нейропорожденности автоматных функций с задержкой
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2020, № 6,  54–55
5. О неприводимости булевых функций относительно коммутативной ассоциативной операции
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2020, № 4,  51–53
6. О графовом расширении метода резолюции для булевых формул
   
   Интеллектуальные системы. Теория и приложения, 23:3 (2019),  35–40
7. О конечных заданиях логических систем
   
   Интеллектуальные системы. Теория и приложения, 23:1 (2019),  57–80
8. От булевых схем к доказательству теорем
   
   Интеллектуальные системы. Теория и приложения, 22:1 (2018),  123–130
9. Неразрешимое итеративное пропозициональное исчисление
   
   Алгебра и логика, 55:4 (2016),  419–431
10. Пропозициональные исчисления как средство задания логических процессов
    
    Интеллектуальные системы. Теория и приложения, 20:3 (2016),  24–36
11. Об одной системе Фреге
    
    Интеллектуальные системы. Теория и приложения, 19:4 (2015),  155–168
12. Неразрешимое суперинтуиционистское пропозициональное исчисление от трёх переменных
    
    Интеллектуальные системы. Теория и приложения, 19:3 (2015),  95–100
13. Критерий конечной порожденности пропозициональных исчислений
    
    Дискрет. матем., 25:3 (2013),  38–63
14. Принцип максимума Понтрягина в задаче с временным запаздыванием
    
    Фундамент. и прикл. матем., 15:5 (2009),  3–19


15. Возможности для реализации системы автоматного обучения
    
    Интеллектуальные системы. Теория и приложения, 26:4 (2022),  5–19