English version of this page
На главную страницу
Официальный сайт кафедры Математической теории интеллектуальных систем и
лаборатории Проблем теоретической кибернетики
механико-математического факультета МГУ им. М. В. Ломоносова
На первую страницу сайта Новости Кафедра Сотрудники Учеба Наука Исследования Журнал Культура Полнотекстовый поиск по серверу

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

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

доцент

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

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

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

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

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

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

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

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

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

                 

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

Фамилия, имя, отчество Группа
Валиева Руфина Рафаэлевна 311
Волошина Виктория Сергеевна 311
Дробышев Александр Сергеевич 311
Носиков Павел Николаевич 311
Сафонов Георгий Владимирович 311
Чебодаев Максим Иннокентьевич 311
Щекалев Михаил Игоревич 311

 

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

  • Боков Г.В. Критерий конечной порожденности пропозициональных исчислений.
    Журнал "Дискретная математика", Москва (в печати)
  • Боков Г.В. О конечной порожденности исчисления высказываний с произвольными операциями вывода.
    Журнал "Интеллектуальные системы" т. 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.

 

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

Наверх

   © 2001-2015 г. Кафедра Математической теории интеллектуальных систем, лаборатория Проблем теоретической кибернетики Написать вебмастеру   
XWare
 Полнотекстовый поиск
 
Только точная форма слов      Выводить по результатов на странице
Rambler's Top100 Рейтинг@Mail.ru