Курсы и семинары :: Студенты и аспиранты Бокова Г.В. :: Публикации Бокова Г.В. :: Публикации учеников Бокова Г.В.

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

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

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

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

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

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

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

Область научных интересов.

• Логические исчисления
• Функциональные системы
• Автоматы над термами
• Математическая экономика

Email: Написать письмо

См. также: http://istina.msu.ru/profile/gbokov/

Аспиранты Бокова Г.В., выпускники аспирантуры кафедры

Студенты и магистранты Бокова Г.В.

Список основных публикаций Бокова Г.В.

• Боков Г.В. Критерий конечной порожденности пропозициональных исчислений.
  Журнал "Дискретная математика", Москва (в печати)
• Боков Г.В. О конечной порожденности исчисления высказываний с произвольными операциями вывода.
  Журнал "Интеллектуальные системы" т. 17, вып. 1-4, 2013, Москва, изд.-во РГГУ. Стр. 267-270
• Боков Г.В. Об алгоритмической неразрешимости проблемы выразимости пропозициональных исчислений.
  Журнал "Интеллектуальные системы" т. 17, вып. 1-4, 2013, Москва, изд.-во РГГУ. Стр. 271-292
• Боков Г.В. Алгоритмическая разрешимость проблемы выразимости автоматно-отделимых подалгебр термов.
  Материалы конференции «Ломоносов 2013».
• Боков Г.В. Об алгоритмически разрешимых случаях проблемы выразимости в пропозициональных исчислениях.
  Материалы конференции «Ломоносов 2012».
• Bokov G.V. Pontryagin’s maximum principle of optimal control problems with time-delay.
  Journal of Mathematical Sciences (New York), 2011, 172:5. pp. 623–634.
• Боков Г.В. О конечной порожденности исчисления высказываний с произвольными операциями вывода.
  Материалы X Международной конференции "Интеллектуальные системы и компьютерные науки", 2011.
• Боков Г.В. Обобщение теоремы Хенкина на случай k-значных логик.
  Материалы конференции «Ломоносов 2011».
• Боков Г.В. О проблеме полноты в исчислении высказываний.
  Материалы X международного семинара "Дискретная математика и её приложения", Москва, 1–6 февраля 2010. Стр. 345–347.
• Боков Г.В. Об алгебраических свойствах исчисления высказываний.
  Материалы конференции «Ломоносов 2010».
• Боков Г.В. Принцип максимума Понтрягина в задаче с временным запаздыванием.
  Журнал "Интеллектуальные системы" т. 14, вып. 1-4, 2010, Москва, изд.-во РГГУ. Стр. 85–106.
• Боков Г.В. Проблема полноты в исчислении высказываний.
  Журнал "Интеллектуальные системы" т. 13, вып. 1-4, 2009, Москва, изд.-во РГГУ. Стр. 165–181.
• Боков Г.В. Принцип максимума Понтрягина в задаче с временным запаздыванием.
  Журнал "Фундаментальная и прикладная математика", 15:5, 2009. Стр. 3–19.
• Боков Г.В. Моделирование экономического роста с учетом запаздывания.
  Сборник научных работ кафедры математических методов анализа экономики "Ломоносовские чтения 2008", изд.-во ТЕИС, 2009. Стр. 18–24.
• Боков Г.В. Стоимость фирмы в условиях загрязнения окружающей среды.
  Сборник научных работ кафедры математических методов анализа экономики "Ломоносовские чтения 2007", изд.-во ТЕИС, 2008. Стр. 61–70.

Список научных публикаций учеников Бокова Г.В.

Наверх