ИСТИНА

Боков Григорий Владимирович пользователь

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

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

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

Прежние места работы (Нажмите для отображения)

Соавторы: Кудрявцев В.Б., Дробышев А.С., Козлов В.Н., Мазуренко И.Л., Петюшко А.А., Рыжов А.П., Сафонов Г.В., Волков Н.Ю., Галатенко А.В., Носов В.А., Шергин И.А., Щекалев М.И., строгалов а.с.

38 статей, 3 книги, 25 докладов на конференциях, 6 тезисов докладов, 7 НИР, 3 научного отчёта, 4 награды, 1 диссертация, 1 дипломная работа, 11 курсовых работ, 9 учебных курсов, 1 выступление в СМИ

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

IstinaResearcherID (IRID): 5236330

Scopus Author ID: 24722828900

ORCID: 0000-0001-5715-0067

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

---

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

  • • 2021 О сложности линейной укладки нагруженных ациклических графов
    • Щекалев Михаил Игоревич, Боков Г.В., Кудрявцев Валерий Борисович
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 1, с. 55-56
  • 
    • 2020 Criterion of Neural Generation of Automaton Functions with Time Delay
    • Bokov G.V., Drobyshev A.S.
    • в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 75, № 6, с. 261-262 DOI
  • 
    • 2020 On Irreduceability of Boolean Functions with Respect to Commutative Associative Operation
    • Bokov G.V., Safonov G.V., Kudryavtsev V.B.
    • в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 75, № 4, с. 169-171 DOI
  • • 2020 Доклады семинара «Теория автоматов»
    • Галатенко А.В., Носов В.А., Козлов В.Н., Боков Г.В., Кудрявцев В.Б., Рыжов А.П., Строгалов А.С., Журавлев А.А., Шергин И.А., Волков Н.Ю., Мазуренко И.Л., Петюшко А.А.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 24, № 4, с. 127-134
  • 
    • 2020 Искусственный интеллект. Проблемы и перспективы
    • Кудрявцев В.Б., Козлов В.Н., Рыжов А.П., Мазуренко И.Л., Боков Г.В., Петюшко А.А.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 24, № 4, с. 33-46
  • • 2020 Критерий нейропорождённости автоматных функций с задержкой
    • Дробышев Александр Сергеевич, Боков Г.В.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 6
  • • 2020 О неприводимости булевых функций относительно коммутативной ассоциативной операции
    • Сафонов Георгий Владимирович, Боков Григорий Владимирович, Кудрявцев Валерий Борисович
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 4, с. 51-53
  • • 2019 О графовом расширении метода резолюции для булевых формул
    • Боков Г.В.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 23, № 3, с. 35-40
  • • 2019 О конечных заданиях логических систем
    • Боков Г.В.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 23, № 1, с. 57-80
  • • 2019 О сложности разбора слов в контекстно-свободных грамматиках
    • Боков Г.В.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 23, № 4, с. 136
  • • 2018 От булевых схем к доказательству теорем
    • Боков Г.В.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 22, № 1, с. 123-130
  • 
    • 2016 On the number of variables in undecidable superintuitionistic propositional calculi
    • Боков Г.В.
    • в журнале Logic Journal of the IGPL, издательство Oxford University Press (United Kingdom), том 24, № 5, с. 774-791 DOI
  • 
    • 2016 Undecidable Iterative Propositional Calculus
    • Bokov Grigoriy V.
    • в журнале Algebra and Logic, издательство Consultants Bureau (United States), том 55, № 4, с. 274-282 DOI
  • 
    • 2016 Undecidable problems for propositional calculi with implication
    • Bokov Grigoriy V.
    • в журнале Logic Journal of the IGPL, издательство Oxford University Press (United Kingdom), том 24, № 5, с. 792-806 DOI
  • • 2016 Неразрешимое итеративное пропозициональное исчисление
    • Боков Г.В.
    • в журнале Алгебра и логика, издательство Обществ. фонд "Сиб. фонд алгебры и логики" (Новосибирск), том 55, № 4, с. 419-431 DOI
  • • 2016 Пропозициональные исчисления как средство задания логических процессов
    • Боков Г.В.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 20, № 3, с. 24-36
  • 
    • 2015 Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication
    • Bokov Grigoriy V.
    • в журнале Logic Journal of the IGPL, издательство Oxford University Press (United Kingdom), том 23, № 2, с. 341-353 DOI
  • • 2015 Неразрешимое суперинтуиционистское пропозициональное исчисление от трех переменных
    • Боков Г.В.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 19, № 3, с. 95-100
  • • 2015 О некоторых свойствах решетки пропозициональных исчислений
    • Боков Г.В.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 19, № 2, с. 47-64
  • • 2015 Об одной системе Фреге
    • Боков Г.В.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 19, № 4, с. 155-168
  • • 2015 Разрешимость одно-переменных итеративных пропозициональных исчислений
    • Боков Г.В.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 19, № 2, с. 125-134
  • • 2014 Criterion for propositional calculi to be finitely generated
    • Bokov Grigoriy V.
    • в журнале Discrete Mathematics and Applications, издательство V S P (Netherlands), том 23, № 5-6, с. 399-427 DOI
  • • 2014 Итеративные пропозициональные исчисления
    • Боков Г.В.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 18, № 4, с. 99-106
  • • 2014 О разрешимости выводимости замкнутых термов и выразимости операций над ними
    • Боков Г.В.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 18, № 3, с. 111-131
  • • 2014 Об алгоритмической неразрешимости некоторых проблем распознавания для пропозициональных исчислений
    • Боков Г.В.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 18, № 4, с. 207-214
  • • 2013 Критерий конечной порожденности пропозициональных исчислений
    • Боков Г.В.
    • в журнале Дискретная математика, издательство Наука (М.), том 25, № 3, с. 63-81 DOI
  • • 2013 О конечной порожденности исчисления высказываний с произвольными операциями вывода
    • Боков Г.В.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 17, № 1-4, с. 267-270
  • • 2013 Об алгоритмической неразрешимости проблемы выразимости пропозициональных исчислений
    • Боков Г.В.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 17, № 1-4, с. 271-292
  • 
    • 2012 Pontryagin’s maximum principle of optimal control problems with time-delay
    • Bokov G.V.
    • в журнале Journal of Mathematical Sciences, издательство Plenum Publishers (United States), том 172, № 5, с. 623-634 DOI
  • • 2010 Принцип максимума Понтрягина в задаче с временным запаздыванием
    • Боков Г.В.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 14, № 1-4, с. 85-106
  • • 2009 Принцип максимума Понтрягина в задаче с временным запаздыванием
    • Боков Г.В.
    • в журнале Журнал фундаментальной и прикладной математики, том 15, № 5, с. 3-19
  • • 2009 Проблема полноты в исчислении высказываний
    • Боков Г.В.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 13, № 1-4, с. 165-181

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

  • • 2019 Базисы заданий логических систем пропозициональными исчислениями
    • Боков Г.В.
    • в сборнике Материалы XIII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 17–22 июня 2019 г.), место издания Изд-во механико-математического факультета МГУ, с. 252-254
  • • 2018 О диаграммах дедуктивного вывода импликативных тавтологий
    • Боков Г.В.
    • в сборнике Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды, серия 978-5-317-05834-0, издательство ООО "МАКС Пресс" (Москва), том 1, с. 50-53
    • редакторы Алексеев Валерий Борисович, Данилов Борис Радиславович, Романов Дмитрий Сергеевич
  • • 2016 Решетка замкнутых классов трехзначной логики, содержащих функцию максимума для нелинейного частичного порядка
    • Боков Г.В.
    • в сборнике Материалы XII Международного семинара «Дискретная ма- тематика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 20–25 июня 2016 г.), место издания Изд-во механико-математического факультета МГУ Москва, с. 187-190
  • • 2010 О проблеме полноты в исчислении высказываний
    • Боков Г.В.
    • в сборнике Материалы X Международного семинара "Дискретная математика и ее приложения" (Москва, 1-6 февраля 2010 г.), место издания Изд-во механико-математического факультета МГУ Москва, с. 345-347
  • • 2009 Моделирование экономического роста с учетом запаздывания
    • Боков Г.В.
    • в сборнике Сборник научных работ кафедры математических методов анализа экономики "Ломоносовские чтения 2008"(под ред. М.В.Грачевой, Л.Н.Фадеевой, Ю.Н.Черемных), серия без серии, место издания ТЕИС Москва, с. 18-24
  • • 2008 Стоимость фирмы в условиях загрязнения окружающей среды
    • Боков Г.В.
    • в сборнике Сборник научных работ кафедры математических методов анализа экономики "Ломоносовские чтения 2007"(под ред. М.В.Грачевой, Л.Н.Фадеевой, Ю.Н.Черемных), серия без серии, место издания ТЕИС Москва, с. 61-70

• Книги

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

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

  • • 2021 Научно-образовательная школа Московского университета "Мозг, когнитивные системы, искусственный интеллект" (Устный)
    • Автор: Боков Г.В.
    • I Российско-французский форум по искусственному интеллекту, Онлайн, Россия, 26 февраля 2021
  • • 2020 О характеризации неразрешимых суперинтуиционистских исчислений (Устный)
    • Автор: Боков Г.В.
    • Ломоносовские чтения 2020. Секция математики, МГУ имени М.В. Ломоносова, Россия, 21-28 октября 2020
  • • 2019 Базисы заданий логических систем пропозициональными исчислениями (Устный)
    • Автор: Боков Г.В.
    • XIII Международный семинар "Дискретная математика и ее приложения", Москва, Россия, 17-22 июня 2019
  • • 2019 О некоторых конструктивных аспектах математической логики (Устный)
    • Авторы: Коновалов А.Ю., Плиско В.Е., Боков Г.В.
    • «Ломоносовские чтения - 2019». Секция «Математика», Москва, МГУ, Россия, 15-25 апреля 2019
  • • 2019 Полиномиальная сводимость систем Фреге с подстановкой (Устный)
    • Автор: Боков Г.В.
    • «Ломоносовские чтения - 2019». Секция «Математика», Москва, МГУ, Россия, 15-25 апреля 2019
  • • 2018 Artificial Intelligence: models and forecasts (Пленарный)
    • Автор: Bokov G.V.
    • 5th International Professor’s Day on ICT Algorithm Design, Москва, Россия, 28-29 ноября 2018
  • • 2018 О диаграммах дедуктивного вывода импликативных тавтологий (Устный)
    • Автор: Боков Г.В.
    • X Международная конференция "Дискретные модели в теории управляющих систем", Московская область, Можайский район, Красновидово, Россия, 22-25 мая 2018
  • • 2016 Пропозициональные исчисления как средство задания логических процессов (Пленарный)
    • Автор: Боков Г.В.
    • XI международная конференция «Интеллектуальные системы и компьютерные науки», Механико-математический факультет МГУ им.М.В.Ломоносова., Россия, 28 ноября - 2 декабря 2016
  • • 2016 Решетка замкнутых классов трехзначной логики, содержащих функцию максимума для нелинейного частичного порядка (Устный)
    • Автор: Боков Г.В.
    • Двенадцатый Международный научный семинар «Дискретная математика и ее приложения» имени академика О. Б. Лупанова , МГУ, Россия, 20-25 июня 2016
  • • 2016 Неразрешимое суперинтуиционистское пропозициональное исчисление от трех переменных (Устный)
    • Автор: Боков Г.В.
    • Ломоносовские чтения - 2016, МГУ им. М.В. Ломоносова, Россия, 18-27 апреля 2016
  • • 2016 Об одной системе Фреге (Устный)
    • Автор: Боков Г.В.
    • Ломоносовские чтения - 2016, МГУ им. М.В. Ломоносова, Россия, 18-27 апреля 2016
  • • 2016 Разрешимость одно-переменных итеративных пропозициональных исчислений (Устный)
    • Автор: Боков Г.В.
    • Ломоносовские чтения - 2016, МГУ им. М.В. Ломоносова, Россия, 18-27 апреля 2016
  • • 2015 Дедуктивные функциональные системы (Пленарный)
    • Автор: Боков Григорий Владимирович
    • IX Международная конференция "Дискретные модели в теории управляющих систем", Москва и Подмосковье, Россия, 20-22 мая 2015
  • • 2015 О проблеме распознавания расширений для пропозициональных исчислений
    • Автор: Боков Г.В.
    • XXII Международная научная конференция студентов, аспирантов и молодых ученых "Ломоносов-2015", Москва, Россия, 13-17 апреля 2015
  • • 2014 Критерий конечной порожденности пропозициональных исчислений
    • Автор: Боков Г.В.
    • Ломоносовские чтения - 2014. Секция математики, МГУ им. М.В. Ломоносова, Механико-математический факультет, Россия, 14-23 апреля 2014
  • • 2013 Алгоритмическая разрешимость проблемы выразимости автоматно-отделимых подалгебр термов
    • Автор: Боков Г.В.
    • Международная конференция студентов, аспирантов и молодых ученых “Ломоносов 2013", 2013
  • • 2013 Об условиях разрешимости полноты и выразимости функциональных аналогов исчислений высказываний
    • Автор: Боков Г.В.
    • Ломоносовские чтения - 2013. Секция математики, Москва, МГУ, механико-математический факультет, Россия, 15-26 апреля 2013
  • • 2012 Об алгоритмически разрешимых случаях проблемы выразимости в пропозициональных исчислениях
    • Автор: Боков Г.В.
    • Международная конференция студентов, аспирантов и молодых ученых "Ломоносов 2012", Филиал МГУ г. Севастополь, 2012
  • • 2012 О выразимости и полноте для дедуктивных и k-значных исчислений (Устный)
    • Авторы: Боков Г.В., Кудрявцев В.Б.
    • Ломоносовские чтения - 2012. Секция математики, Механико-математический факультет МГУ (кафедра МАТИС), Россия, 2-9 апреля 2012
  • • 2011 О конечной порожденности исчисления высказываний с произвольными операциями вывода
    • Автор: Боков Г.В.
    • X Международная конференция "Интеллектуальные системы и компьютерные науки", Москва, Россия, 5-10 декабря 2011
  • • 2011 Обобщение теоремы Хенкина на случай k-значных логик.
    • Автор: Боков Г.В.
    • XVIII Международная Конференция студентов, аспирантов и молодых ученых "Ломоносов-2011", г. Москва, факультет журналистики МГУ имни М.В. Ломоносова, Россия, 11-15 апреля 2011
  • • 2011 Условия выразимости и полноты в k-значных исчислениях (Устный)
    • Авторы: Кудрявцев В.Б., Боков Г.В.
    • Ломоносовские чтения - 2011. Секция математики, Москва, МГУ, механико-математический факультет, Россия, 7-15 апреля 2011
  • • 2010 О проблеме полноты в исчислении высказываний
    • Автор: Боков Г.В.
    • X международный семинар "Дискретная математика и ее приложения" , Москва, Россия, Россия, 2010
  • • 2010 Об алгебраических свойствах исчисления высказываний
    • Автор: Боков Г.В.
    • Международная конференция студентов, аспирантов и молодых ученых "Ломоносов 2010", Филиал МГУ г. Севастополь, 2010
  • • 2009 Необходимые условия оптимальности для одной задачи оптимального управления с запаздыванием
    • Автор: Боков Г.В.
    • XVI Международная конференция студентов, аспирантов и молодых ученых Ломоносов-2009, Москва, Россия, 13-18 апреля 2009

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

  • • 2015 О проблеме распознавания расширений для пропозициональных исчислений
    • Боков Г.В.
    • в сборнике Материалы Международного молодежного научного форума «ЛОМОНОСОВ-2015», серия Секция "Математика и механика", Подсекция "Дискретная математика и математическая кибернетика", место издания МАКС Пресс (ISBN 978-5-317-04946-1) Москва, тезисы
  • • 2013 Алгоритмическая разрешимость проблемы выразимости автоматно-отделимых подалгебр термов
    • Боков Г.В.
    • в сборнике Тезисы докладов XX Международной научной конференции студентов, аспирантов и молодых учёных «Ломоносов–2013» / Секция «Математика и механика» / 2013г. / тезисы, место издания Москва, тезисы
  • • 2012 Об алгоритмически разрешимых случаях проблемы выразимости в пропозициональных исчислениях
    • Боков Г.В.
    • в сборнике Тезисы докладов XIX Международной научной конфенции студентов, аспирантов и молодых учёных «Ломоносов–2012» / Секция «Математика и механика» / 2012 г. / тезисы, место издания МАКС Пресс Москва, тезисы
  • • 2011 Обобщение теоремы Хенкина на случай k-значных логик
    • Боков Г.В.
    • в сборнике Тезисы докладов XVIII Международной научной конференции студентов, аспирантов и молодых учёных «Ломоносов–2011» / Секция «Математика и механика» / 2011г. / тезисы, место издания МАКС Пресс Москва, тезисы
  • • 2010 Об алгебраических свойствах исчисления высказываний
    • Боков Г.В.
    • в сборнике Тезисы докладов XVII Международной научной конференции студентов, аспирантов и молодых учёных «Ломоносов–2010» / Секция «Математика и механика» / 2010г. / тезисы, место издания МАКС Пресс Москва, тезисы
  • • 2009 Необходимые условия оптимальности для одной задачи оптимального управления с запаздыванием
    • Боков Г.В.
    • в сборнике Материалы докладов XVI Международной конференции студентов, аспирантов и молодых ученых "Ломоносов", Секция "Математика и механика", место издания Москва, Механико-математический факультет МГУ имени М.В.Ломоносова, тезисы

• НИРы

  • • 1 января 2021 - 31 декабря 2025 Теория интеллектуальных систем и автоматов 2021-2025
    • Кафедра математической теории интеллектуальных систем
    • Руководитель: Кудрявцев В.Б. Участники НИР: Алексеев Д.В., Алешин С.В., Алисейчик П.А., Бабин Д.Н., Боков Г.В., Волков Н.Ю., Галатенко А.В., Гасанов Э.Э., Дергач П.С., Жук Д.Н., Ирматов А.А., Калачев Г.В., Козлов В.Н., Коновалов А.Ю., Мазуренко И.Л., Миронов А.М., Носов В.А., Носов М.В., Осокин В.В., Панкратьев А.Е., Пантелеев П.А., Подколзин А.С., Половников В.С., Родин С.Б., Рыжов А.П., Соколов А.П., Часовских А.А., Чернова Ю.Г., Шуткин Ю.С., строгалов а.с.
  • • 9 октября 2020 - 31 декабря 2022 "Мозг и информация: от естественного интеллекта к искусственному"
    • Институт перспективных исследований мозга
    • Руководители: Анохин К.В., Садовничий В.А. Ответственные исполнители: Боков Г.В., Грунин А.А., Желтиков А.М., Рогаев Е.И., Семина Е.В., Ткачук В.А., Федянин А.А. Участники НИР: Бурцев М.С., Ениколопов Г.Н., Федотов А.Б., Федотов И.А.
  • • 1 января 2020 - 31 декабря 2022 Неклассические семантики и исчисления
    • Кафедра математической логики и теории алгоритмов
    • Руководитель: Пентус М.Р. Ответственные исполнители: Золин Е.Е., Плиско В.Е. Участники НИР: Боков Г.В., Гершгорин Р.А., Коновалов А.Ю., Крупский В.Н., Пшеницын Т.Г.
  • • 1 июля 2018 - 30 июня 2019 Использование интеллектуальной системы для настройки параметров оптимизирующих преобразований
    • Лаборатория математических проблем искусственного интеллекта
    • Руководитель: Боков Г.В. Участник НИР: Коновалов А.Ю.
  • • 3 октября 2017 - 31 декабря 2019 Разработка технологии и создание производства ассортимента высокотехнологических цеолитных материалов для глубокой переработки углеводородного сырья
    • Кафедра химии нефти и органического катализа
    • Руководитель: Садовничий В.А. Ответственный исполнитель: Караханов Э.А. Участники НИР: Акаев А.А., Акопян А.В., Анисимов А.В., Антипов И.Е., Антипов И.Е., Бегунц А.В., Белошицкий А.В., Боков Г.В., Булинский А.В., Винокуров В.А., Власов В.В., Воробкало В.А., Вутолкина А.В., Глотов А.П., Голубев О.В., Горбунов Д.Н., Джанаева Е.Ю., Есева Е.А., Жданников Е.С., Иванова И.И., Игнатьева В.И., Калинина М.А., Карасев О.И., Кардашева Ю.С., Касьянов И.А., Кеда С.В., Кеда С.В., Князева Е.Е., Коложвари Б.А., Колягин Ю.Г., Коновалов Д.И., Коновалов Д.И., Копчиков М.Б., Куликов А.Б., Куликов Л.А., Левшаков Н.С., Лепин В.В., Маерле А.А., Макеева Д.А., Максимов А.Л., Ненашева М.В., Никифоров А.И., Поликарпова П.Д., Пономарева О.А., Попов А.Г., Родионова Л.И., Ролдугина Е.А., Сафронихин А.В., Семенихин В.А., Семенихин В.А., Смирнов А.В., Таланова М.Ю., Теренина М.В., Тябликов И.А., Цаплин Д.Е., Шакиров И.И., Штепа Д.В., Штерн А.И.
  • • 1 января 2016 - 31 декабря 2020 Теория интеллектуальных систем и автоматов 2016-2020
    • Кафедра математической теории интеллектуальных систем
    • Руководитель: Кудрявцев В.Б. Участники НИР: Алексеев Д.В., Алешин С.В., Алисейчик П.А., Бабин Д.Н., Боков Г.В., Буевич В.А., Волков Н.Ю., Галатенко А.В., Гасанов Э.Э., Дергач П.С., Жук Д.Н., Ирматов А.А., Калачев Г.В., Козлов В.Н., Коновалов А.Ю., Мазуренко И.Л., Миронов А.М., Носов В.А., Носов М.В., Осокин В.В., Панкратьев А.Е., Пантелеев П.А., Подколзин А.С., Половников В.С., Родин С.Б., Рыжов А.П., Соколов А.П., Часовских А.А., Чернова Ю.Г., Шуткин Ю.С., строгалов а.с.
  • • 1 января 2011 - 31 декабря 2015 Теория интеллектуальных систем и автоматов
    • Кафедра математической теории интеллектуальных систем
    • Руководитель: Кудрявцев В.Б. Участники НИР: Алексеев Д.В., Алешин С.В., Алисейчик П.А., Бабин Д.Н., Боков Г.В., Буевич В.А., Волков Н.Ю., Галатенко А.В., Гасанов Э.Э., Дергач П.С., Жук Д.Н., Ирматов А.А., Калачев Г.В., Козлов В.Н., Мазуренко И.Л., Носов В.А., Носов М.В., Осокин В.В., Панкратьев А.Е., Пантелеев П.А., Подколзин А.С., Половников В.С., Родин С.Б., Рыжов А.П., Соколов А.П., Часовских А.А., Чернова Ю.Г., Шуткин Ю.С., строгалов а.с.

• Отчеты

  • • 2020 "Мозг и информация: от естественного интеллекта к искусственному"
    • Авторы: Садовничий В.А., Анохин Константин Владимирович, Федянин А.А., Ткачук В.А., Желтиков А.М., Рогаев Е.И., Семина Е.В., Балабан П.М., Тыртышников Е.Е., Грунин А.А., Федотов И.В., Боков Г.В., Ениколопов Г.Н.
    • #01, 377 с.
  • • 2018 Исследование алгоритмов и выделение параметров оптимизирующих преобразований компилятора LCC. Техническое проектирование и разработка опытного образца ИС.
    • Авторы: Боков Г.В., Коновалов А.Ю.
    • #1, 50 с.
  • • 2017 Выбор направления исследований. Проведение экспериментальных исследований методов синтеза цеолитов, 1 этап
    • Авторы: Садовничий В.А., Караханов Э.А., Акаев А.А., Акопян А.В., Анисимов А.В., Антипов И.Е., Бегунц А.В., Боков Г.В., Булинский А.В., Винокуров В.А., Власов В.В., Воробкало В.А., Вутолкина А.В., Глотов А.П., Голубев О.В., Джанаева Е.Ю., Есева Е.А., Жданников Е.С., Иванова И.И., Игнатьева В.И., Карасев О.И., Кардашева Ю.С., Касьянов И.А., Кеда С.В., Князева Е.Е., Колягин Ю.Г., Коновалов Д.И., Копчиков М.Б., Куликов А.Б., Куликов Л.А., Левшаков Н.С., Маерле А.А., Макеева Д.А., Максимов А.Л., Ненашева М.В., Никифоров А.И., Поликарпова П.Д., Пономарева О.А., Попов А.Г., Родионова Л.И., Ролдугина Е.А., Сафронихин А.В., Семенихин В.А., Смирнов А.В., Теренина М.В., Тябликов И.А., Цаплин Д.Е., Штепа Д.В., Штерн А.И.
    • #14.610.21.0009

• Награды и премии

  • • 2016 Стипендия МГУ имени М. В. Ломоносова для молодых преподавателей и учёных, добившихся значительных результатов в преподавании и научной деятельности на 2017 год
    • Лауреат: Боков Г.В.
    • МГУ имени М. В. Ломоносова, Россия
  • • 2016 Премия по Программе развития МГУ
    • Лауреат: Боков Г.В.
    • МГУ имени М. В. Ломоносова, Россия
  • • 2016 Победитель секции "Математика и механика" международной конференции студентов, аспирантов и молодых учёных "Ломоносов-2012"
    • Лауреат: Боков Г.В.
    • МГУ имени М. В. Ломоносова, Россия
  • • 2015 Победитель секции "Математика и механика" международной конференции студентов, аспирантов и молодых учёных "Ломоносов-2015"
    • Лауреат: Боков Г.В.
    • МГУ имени М. В. Ломоносова, Россия

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

  • • 2013 Условия выразимости и полноты пропозициональных исчислений
    • Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
    • Автор: Боков Григорий Владимирович, к.ф.-м.н., МГУ имени М.В. Ломоносова
    • Научный руководитель: Кудрявцев Валерий Борисович, д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 501.001.84 при МГУ имени М.В. Ломоносова, Механико-математический факультет

• Руководство дипломными работами

  • • 2020 Предсказание кредитного риска с помощью графовой модели нейронной сети
    • Научный руководитель: Боков Г.В.
    • Автор: Сланова Айгерим Сакеновна (Бакалавр)

• Руководство курсовыми работами

  • • 2020 Реализация схем из функциональных элементов с задержкой нейронными сетями
    • Научный руководитель: Боков Г.В.
    • Автор: Дробышев Александр Сергеевич (Специалист)
  • • 2020 Об алгоритмической разрешимости выполнимости формул в логике с параметром времени
    • Научный руководитель: Боков Г.В.
    • Автор: Волошина Виктория Сергеевна (Специалист)
  • • 2020 О сложности преобразования булевых формул для некоторых классов Поста
    • Научный руководитель: Боков Г.В.
    • Автор: Чебодаев Максим Иннокентьевич (Специалист)
  • • 2020 О проблеме равенства языков для Уотсон-Крик D0L систем с регулярным триггером
    • Научный руководитель: Боков Г.В.
    • Автор: Валиева Руфина Рафаэлевна (Специалист)
  • • 2020 О преобразовании графовых опровержений булевых функций
    • Научный руководитель: Боков Г.В.
    • Автор: Сафонов Георгий Владимирович (Специалист)
  • • 2019 Условия представимости нейроавтоматных функций
    • Научный руководитель: Боков Г.В.
    • Автор: Дробышев Александр Сергеевич (Специалист)
  • • 2019 Сложность перезаписи булевых формул
    • Научный руководитель: Боков Г.В.
    • Автор: Чебодаев Максим Иннокентьевич (Специалист)
  • • 2019 Проверка истинности формул в логике с параметром времени
    • Научный руководитель: Боков Г.В.
    • Автор: Волошина Виктория Сергеевна (Специалист)
  • • 2019 Применение нейронных сетей в предсказывании кредитного риска
    • Научный руководитель: Боков Г.В.
    • Автор: Сланова Айгерим Сакеновна (Бакалавр)
  • • 2019 Исследование распределённых однородных структур
    • Научный руководитель: Боков Г.В.
    • Автор: Сафонов Георгий Владимирович (Специалист)
  • • 2019 Исследование оператора замыкания для булевых функций с задержкой
    • Научный руководитель: Боков Г.В.
    • Автор: Щекалев Михаил Игоревич (Специалист)

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

  • • 2017 Теория сложности вычислений
    • Автор: Боков Г.В.
  • • 2017 Математическая логика и интеллектуальные системы
    • Автор: Боков Г.В.
  • • 2016 Практическое применение теории сложности вычислений
    • Автор: Боков Г.В.
  • • 2016 Математические проблемы искусственного интеллекта
    • Автор: Боков Г.В.
  • • 2013 Математическая логика
    • Автор: Боков Григорий Владимирович

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

  • • с 1 сентября 2017 Технологии проектирования решателей математических задач
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической теории интеллектуальных систем
    • обязательная, по выбору (спецкурс), семинары, 68 часов
  • • с 1 сентября 2017 Математическая логика и интеллектуальные системы
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической теории интеллектуальных систем
    • обязательная, по выбору (спецкурс), лекции, 68 часов
  • • с 1 сентября 2017 Теория сложности вычислений
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической теории интеллектуальных систем
    • обязательная, по выбору (спецкурс), лекции, 36 часов
  • • с 2 марта 2017 Практическое применение теории сложности вычислений
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 68 часов
  • • с 22 февраля 2017 Математические проблемы искусственного интеллекта
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • факультативная, семинары, 68 часов
  • • с 1 сентября 2013 Математическая логика
    • МГУ имени М.В. Ломоносова, Филиал МГУ в г. Ташкент
    • обязательная, базовой части, семинары, 28 часов
  • • с 1 сентября 2013 Математическая логика
    • МГУ имени М.В. Ломоносова, Филиал МГУ в г. Ташкент
    • обязательная, базовой части, лекции, 40 часов
  • • с 7 февраля 2013 Теория дискретных функций
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 1 сентября 2012 - 31 августа 2013 Алгоритмы, анализ сложности и комбинаторика
    • МГУ имени М.В. Ломоносова, Филиал МГУ в г. Ташкент
    • обязательная, базовой части, лекции, 40 часов
  • • 1 сентября 2012 - 31 августа 2013 Алгоритмы, анализ сложности и комбинаторика
    • МГУ имени М.В. Ломоносова, Филиал МГУ в г. Ташкент
    • обязательная, базовой части, семинары, 20 часов
  • • с 1 сентября 2008 Кибернетика и информатика
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической теории интеллектуальных систем
    • обязательная, по выбору (спецкурс), семинары, 68 часов

• Выступление в СМИ

  • • 8 февраля 2019 г. Пресс-конференция на тему: "Наука о мозге — Neuroscience" (Международный мультимедийный пресс-центр МИА "Россия сегодня")
    • Автор (участник): Боков Григорий Владимирович

---