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

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

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

м.н.с.

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

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

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

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

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

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

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

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

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

                 

Обязательные и специальные семинары, которые ведет Григорий Владимирович Боков

Название семинара Время Аудитория
Теория дискретных функций (110 гр.) среда 9:00 ВМиК 406

Более точную и подробную информацию об этих и других специальных семинарах смотрите в разделе "Специальные семинары"

 

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

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