МГУ им. М.В. Ломоносова

Кафедра Математической Теории
Интеллектуальных Систем

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

кандидат физико-математических наук, доцент, заведующий лабораторией математических проблем искусственного интеллекта

Область научных интересов: Логические исчисления, функциональные системы, автоматы над термами, математическая экономика

Профиль в системе ИСТИНА

Боков Григорий Владимирович родился 16 июля 1986 года в г. Душанбе.

В 2003 году поступил на механико-математический факультет МГУ им. М.В. Ломоносова.

С 2005 года обучался на кафедре Математической теории интеллектуальных систем, где под руководством профессора Ю.Н. Черемных занимался исследованиями в области математического моделирования экономических систем. Им был доказан принцип Максимума Понтрягина для динамических систем с запаздыванием и исследовано поведение макроэкономических моделей экономического роста для таких систем.

В 2008 году Г.В. Боков с отличием окончил механико-математический факультет по специальности математика и поступил в аспирантуру на кафедру МаТИС, где под руководством профессора В.Б. Кудрявцева занимался проблемой полноты и выразимости пропозициональных исчислений. Им была изучена структура решетки замкнутых классов тавтологий, решены отдельные проблемы базиса этой решетки, доказана алгоритмическая неразрешимость проблемы полноты и выразимости конечных систем тавтологий для некоторых классов исчислений.

С января 2013 года Г.В. Боков работает младшим научным сотрудником на механико-математическом факультете МГУ в лаборатории проблем теоретической кибернетики.

  • Леванова Марина Владимировна, специалитет, год окончания 2028
  • Богатикова Антонина Дмитриевна, специалитет, год окончания 2027
  • Габеда Анастасия Юрьевна, специалитет, год окончания 2027
  • Дугин Максим Денисович, специалитет, год окончания 2027
  • Кашина Оксана Алексеевна, специалитет, год окончания 2027
  • Сподарь Никита Дмитриевич, специалитет, год окончания 2027
  • Упорова Анна Сергеевна, специалитет, год окончания 2027
  • Федоров Станислав Александрович, специалитет, год окончания 2027
  • Лютый Дмитрий Игоревич, специалитет, год окончания 2026
  • Дробышев Александр Сергеевич, аспирантура, год окончания 2026
  • Устькачкинцева Татьяна Викторовна, специалитет, год окончания 2024
  • Валиева Руфина Рафаэлевна, специалитет, год окончания 2023
  • Волошина Виктория Сергеевна, специалитет, год окончания 2022
  • Сафонов Георгий Владимирович, специалитет, год окончания 2022
  • Сланова Айгерим Сакеновна, бакалавриат, год окончания 2020

  • Условия выразимости и полноты пропозициональных исчислений. Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)

  • Моделирование логических процессов средствами пропозициональных исчислений. Боков Г.В. место издания ООО Издательство «МакЦентр» Москва, 300 с.
    ИСТИНА
  • Программа курса «Комбинаторика. Алгоритмы. Сложность». Боков Г.В. место издания ООО Издательство «МакЦентр» Москва, 32 с.
    ИСТИНА
  • Программа курса «Прикладные вопросы математической логики». Боков Г.В. место издания ООО Издательство «МакЦентр» Москва, 36 с.
    ИСТИНА

  • A Parallel Hierarchical Approach for Community Detection on Large-scale Dynamic Networks (2025). Bokov Grigoriy, Konovalov Aleksandr, Uporova Anna, Moiseev Stanislav, Safonov Ivan, Radionov Alexander в журнале ArXiv e-prints, с. 1-45 DOI
    ИСТИНА
  • Автоматизация поиска архитектур искусственных нейронных сетей (2023). Часовских А.А., Половников В.С., Хусаенов А.А., Боков Г.В., Коновалов А.Ю., Дробышев А.С., Бирюкова В.А. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 27, № 4, с. 5-28
    ИСТИНА, Текст на сайте журнала
  • Алгоритм разбора динамических контекстно-свободных грамматик (2022). Боков Г.В., Калачев Г.В. в сборнике Материалы XIV Международного семинара «Дискретная математика и ее приложения» (Москва, 20-25 июня 2022 г.), издательство ИПМ им. М.В. Келдыша РАН (Москва), с. 213-216 DOI
    ИСТИНА
  • Возможности для реализации системы автоматного обучения (2022). Бирюкова В.А., Боков Г.В., Дробышев А.С., Калачев Г.В., Половников В.С., Ронжин Д.В., Часовских А.А. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 26, № 4, с. 5-19
    ИСТИНА, Текст на сайте журнала
  • ExhauFS: exhaustive search-based feature selection for classification and survival regression (2022). Nersisyan S., Novosad V., Galatenko A., Sokolov Andrey, Bokov G., Konovalov A., Alekseev D., Tonevitsky A. в журнале PeerJ, издательство PeerJ (San Francisco), том 10, № e13200 DOI
    ИСТИНА
  • ExhauFS: exhaustive search-based feature selection for classification and survival regression (2021). Nersisyan Stepan, Novosad Victor, Galatenko Alexei, Sokolov Andrey, Bokov Grigoriy, Konovalov Alexander, Alekseev Dmitriy, Tonevitsky Alexander в журнале bioRxiv (The preprint server for biology) DOI
    ИСТИНА
  • On the Complexity of a Linear Ordering of Weighted Directed Acyclic Graphs (2021). Bokov G.V., Shchekalev M.I., Kudryavtsev V.B. в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 76, № 1, с. 35-36 DOI
    ИСТИНА
  • О сложности линейной укладки нагруженных ациклических графов (2021). Щекалев Михаил Игоревич, Боков Г.В., Кудрявцев Валерий Борисович в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 1, с. 55-56
    ИСТИНА
  • Criterion of Neural Generation of Automaton Functions with Time Delay (2020). Bokov G.V., Drobyshev A.S. в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 75, № 6, с. 261-262 DOI
    ИСТИНА
  • On Irreduceability of Boolean Functions with Respect to Commutative Associative Operation (2020). Bokov G.V., Safonov G.V., Kudryavtsev V.B. в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 75, № 4, с. 169-171 DOI
    ИСТИНА
  • Доклады семинара «Теория автоматов» (2020). Галатенко А.В., Носов В.А., Козлов В.Н., Боков Г.В., Кудрявцев В.Б., Рыжов А.П., Строгалов А.С., Журавлев А.А., Шергин И.А., Волков Н.Ю., Мазуренко И.Л., Петюшко А.А. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 24, № 4, с. 127-134
    ИСТИНА
  • Искусственный интеллект. Проблемы и перспективы (2020). Кудрявцев В.Б., Козлов В.Н., Рыжов А.П., Мазуренко И.Л., Боков Г.В., Петюшко А.А. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 24, № 4, с. 33-46
    ИСТИНА
  • Критерий нейропорождённости автоматных функций с задержкой (2020). Дробышев Александр Сергеевич, Боков Г.В. в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 6
    ИСТИНА
  • О неприводимости булевых функций относительно коммутативной ассоциативной операции (2020). Сафонов Георгий Владимирович, Боков Григорий Владимирович, Кудрявцев Валерий Борисович в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 4, с. 51-53
    ИСТИНА
  • Базисы заданий логических систем пропозициональными исчислениями (2019). Боков Г.В. в сборнике Материалы XIII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 17–22 июня 2019 г.), место издания Изд-во механико-математического факультета МГУ, с. 252-254
    ИСТИНА
  • О сложности разбора слов в контекстно-свободных грамматиках (2019). Боков Г.В. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 23, № 4, с. 136
    ИСТИНА
  • О графовом расширении метода резолюции для булевых формул (2019). Боков Г.В. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 23, № 3, с. 35-40
    ИСТИНА, Текст на сайте журнала
  • О конечных заданиях логических систем (2019). Боков Г.В. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 23, № 1, с. 57-80
    ИСТИНА, Текст на сайте журнала
  • О диаграммах дедуктивного вывода импликативных тавтологий (2018). Боков Г.В. в сборнике Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды, серия 978-5-317-05834-0, издательство ООО "МАКС Пресс" (Москва), том 1, с. 50-53
    ИСТИНА
  • От булевых схем к доказательству теорем (2018). Боков Г.В. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 22, № 1, с. 123-130
    ИСТИНА, Текст на сайте журнала
  • Решетка замкнутых классов трехзначной логики, содержащих функцию максимума для нелинейного частичного порядка (2016). Боков Г.В. в сборнике Материалы XII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 20–25 июня 2016 г.), место издания Изд-во механико-математического факультета МГУ Москва, с. 187-190
    ИСТИНА
  • Пропозициональные исчисления как средство задания логических процессов (2016). Боков Г.В. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 20, № 3, с. 24-36
    ИСТИНА
  • Неразрешимое итеративное пропозициональное исчисление (2016). Боков Г.В. в журнале Алгебра и логика, издательство Обществ. фонд "Сиб. фонд алгебры и логики" (Новосибирск), том 55, № 4, с. 419-431 DOI
    ИСТИНА
  • Undecidable Iterative Propositional Calculus (2016). Bokov Grigoriy V. в журнале Algebra and Logic, издательство Consultants Bureau (United States), том 55, № 4, с. 274-282 DOI
    ИСТИНА
  • On the number of variables in undecidable superintuitionistic propositional calculi (2016). Боков Г.В. в журнале Logic Journal of the IGPL, издательство Oxford University Press (United Kingdom), том 24, № 5, с. 774-791 DOI
    ИСТИНА
  • Undecidable problems for propositional calculi with implication (2016). Bokov Grigoriy V. в журнале Logic Journal of the IGPL, издательство Oxford University Press (United Kingdom), том 24, № 5, с. 792-806 DOI
    ИСТИНА
  • Об одной системе Фреге (2015). Боков Г.В. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 19, № 4, с. 155-168
    ИСТИНА
  • Неразрешимое суперинтуиционистское пропозициональное исчисление от трех переменных (2015). Боков Г.В. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 19, № 3, с. 95-100
    ИСТИНА
  • О некоторых свойствах решетки пропозициональных исчислений (2015). Боков Г.В. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 19, № 2, с. 47-64
    ИСТИНА
  • Разрешимость одно-переменных итеративных пропозициональных исчислений (2015). Боков Г.В. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 19, № 2, с. 125-134
    ИСТИНА
  • Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication (2015). Bokov Grigoriy V. в журнале Logic Journal of the IGPL, издательство Oxford University Press (United Kingdom), том 23, № 2, с. 341-353 DOI
    ИСТИНА
  • Criterion for propositional calculi to be finitely generated (2014). Bokov Grigoriy V. в журнале Discrete Mathematics and Applications, издательство de Gruyter (Germany), том 23, № 5-6, с. 399-427 DOI
    ИСТИНА
  • Итеративные пропозициональные исчисления (2014). Боков Г.В. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 18, № 4, с. 99-106
    ИСТИНА
  • Об алгоритмической неразрешимости некоторых проблем распознавания для пропозициональных исчислений (2014). Боков Г.В. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 18, № 4, с. 207-214
    ИСТИНА
  • О разрешимости выводимости замкнутых термов и выразимости операций над ними (2014). Боков Г.В. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 18, № 3, с. 111-131
    ИСТИНА
  • О конечной порожденности исчисления высказываний с произвольными операциями вывода (2013). Боков Г.В. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 17, № 1-4, с. 267-270
    ИСТИНА, Текст на сайте журнала
  • Об алгоритмической неразрешимости проблемы выразимости пропозициональных исчислений (2013). Боков Г.В. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 17, № 1-4, с. 271-292
    ИСТИНА
  • Критерий конечной порожденности пропозициональных исчислений (2013). Боков Г.В. в журнале Дискретная математика, издательство ФГБУ "Издательство "Наука" (Москва), том 25, № 3, с. 63-81 DOI
    ИСТИНА
  • Pontryagin’s maximum principle of optimal control problems with time-delay (2012). Bokov G.V. в журнале Journal of Mathematical Sciences, издательство Plenum Publishers (United States), том 172, № 5, с. 623-634 DOI
    ИСТИНА
  • О проблеме полноты в исчислении высказываний (2010). Боков Г.В. в сборнике Материалы X Международного семинара "Дискретная математика и ее приложения" (Москва, 1-6 февраля 2010 г.), место издания Изд-во механико-математического факультета МГУ Москва, с. 345-347
    ИСТИНА
  • Принцип максимума Понтрягина в задаче с временным запаздыванием (2010). Боков Г.В. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 14, № 1-4, с. 85-106
    ИСТИНА, Текст на сайте журнала
  • Моделирование экономического роста с учетом запаздывания (2009). Боков Г.В. в сборнике Сборник научных работ кафедры математических методов анализа экономики "Ломоносовские чтения 2008"(под ред. М.В.Грачевой, Л.Н.Фадеевой, Ю.Н.Черемных), серия без серии, место издания ТЕИС Москва, с. 18-24
    ИСТИНА
  • Принцип максимума Понтрягина в задаче с временным запаздыванием (2009). Боков Г.В. в журнале Журнал фундаментальной и прикладной математики, том 15, № 5, с. 3-19
    ИСТИНА
  • Проблема полноты в исчислении высказываний (2009). Боков Г.В. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 13, № 1-4, с. 165-181
    ИСТИНА, Текст на сайте журнала
  • Стоимость фирмы в условиях загрязнения окружающей среды (2008). Боков Г.В. в сборнике Сборник научных работ кафедры математических методов анализа экономики "Ломоносовские чтения 2007"(под ред. М.В.Грачевой, Л.Н.Фадеевой, Ю.Н.Черемных), серия без серии, место издания ТЕИС Москва, с. 61-70
    ИСТИНА