Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИПМех РАН
Главная
Поиск
Статистика
О проекте
Помощь
В связи с техническими работами в центре обработки данных, возможность загрузки и скачивания файлов временно недоступна.
скрыть
отправить сообщение
Боков Григорий Владимирович
пользователь
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической теории интеллектуальных систем
,
Лаборатория математических проблем искусственного интеллекта
, заведующий лабораторией, с 12 января 2018
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической теории интеллектуальных систем
, доцент, с 1 сентября 2017, по совместительству
кандидат физико-математических наук с 2014 года
Прежние места работы
(Нажмите для отображения)
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической теории интеллектуальных систем
, ассистент, 10 января 2013 - 31 августа 2017, по совместительству
Соавторы:
Кудрявцев В.Б.
,
Галатенко А.В.
,
Дробышев А.С.
,
Калачев Г.В.
,
Novosad V.
,
Алексеев Д.В.
,
Козлов В.Н.
,
Коновалов А.Ю.
,
Мазуренко И.Л.
,
Нерсисян С.А.
,
Петюшко А.А.
,
Рыжов А.П.
,
Сафонов Г.В.
показать полностью...
,
Соколов А.П.
,
Тоневицкий А.Г.
,
Shchekalev M.I.
,
Бирюкова В.А.
,
Волков Н.Ю.
,
Носов В.А.
,
Половников В.С.
,
Ронжин Д.В.
,
Часовских А.А.
,
Шергин И.А.
,
Щекалев М.И.
,
строгалов а.с.
43 статьи
,
3 книги
,
26 докладов на конференциях
,
7 тезисов докладов
,
8 НИР
,
4 научного отчёта
,
4 награды
,
1 диссертация
,
4 дипломные работы
,
19 курсовых работ
,
11 учебных курсов
,
1 выступление в СМИ
Количество цитирований статей в журналах по данным Web of Science: 6, Scopus: 28
IstinaResearcherID (IRID): 5236330
Scopus Author ID:
24722828900
ORCID:
0000-0001-5715-0067
Деятельность
Статьи в журналах
2022
ExhauFS: exhaustive search-based feature selection for classification and survival regression
Nersisyan S.
,
Novosad V.
,
Galatenko A.
,
Sokolov Andrey
,
Bokov G.
,
Konovalov A.
,
Alekseev D.
,
Tonevitsky A.
в журнале
PeerJ
, издательство
PeerJ
(San Francisco)
, том 10, № e13200
DOI
2022
Возможности для реализации системы автоматного обучения
Бирюкова В.А.
,
Боков Г.В.
,
Дробышев А.С.
,
Калачев Г.В.
,
Половников В.С.
,
Ронжин Д.В.
,
Часовских А.А.
в журнале
Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460)
, издательство
[б.и.]
(М.)
, том 26, № 4, с. 5-19
2021
ExhauFS: exhaustive search-based feature selection for classification and survival regression
Nersisyan Stepan
,
Novosad Victor
,
Galatenko Alexei
,
Sokolov Andrey
,
Bokov Grigoriy
,
Konovalov Alexander
,
Alekseev Dmitriy
,
Tonevitsky Alexander
в журнале
bioRxiv (The preprint server for biology)
DOI
2021
On the Complexity of a Linear Ordering of Weighted Directed Acyclic Graphs
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
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
, издательство
de Gruyter
(Germany)
, том 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
Статьи в сборниках
2022
Алгоритм разбора динамических контекстно-свободных грамматик
Боков Г.В.
,
Калачев Г.В.
в сборнике
Материалы XIV Международного семинара «Дискретная математика и ее приложения» (Москва, 20-25 июня 2022 г.)
, издательство
ИПМ им. М.В. Келдыша РАН
(Москва)
, с. 213-216
DOI
редактор
Комбаров Юрий Анатольевич
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 с.
Доклады на конференциях
2022
Алгоритм разбора динамических контекстно-свободных грамматик
(Устный)
Авторы:
Боков Г.В.
,
Калачев Г.В.
14 Международный научный семинар "Дискретная математика и ее приложения" им. акад. О.Б.Лупанова
, Москва, МГУ, Россия, 20-25 июня 2022
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.
The 5th International Professor’s Day on ICT Algorithm Design (lCTAD-2018)
, Москва, Россия, 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
Об алгоритмически разрешимых случаях проблемы выразимости в пропозициональных исчислениях
Автор:
Боков Г.В.
XIII Международная конференция студентов, аспирантов и молодых ученых «Ломоносов-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
Об алгебраических свойствах исчисления высказываний
Автор:
Боков Г.В.
XVII Международная конференция студентов, аспирантов и молодых ученых «Ломоносов»
, МГУ имени М.В.Ломоносова, факультет иностранных языков и регионоведения, 2010
2010
О проблеме полноты в исчислении высказываний
Автор:
Боков Г.В.
X международный семинар "Дискретная математика и ее приложения"
, Москва, Россия, Россия, 1-6 февраля 2010
2009
Необходимые условия оптимальности для одной задачи оптимального управления с запаздыванием
Автор:
Боков Г.В.
XVI Международная конференция студентов, аспирантов и молодых ученых Ломоносов-2009
, Москва, Россия, 13-18 апреля 2009
Тезисы докладов
2022
Алгоритм разбора динамических контекстно-свободных грамматик
Боков Г.В.
,
Калачев Г.В.
в сборнике
Материалы XIV Международного семинара «Дискретная математика и ее приложения» (Москва, 20-25 июня 2022 г.)
, издательство
Институт прикладной математики им. М.В. Келдыша РАН
(Москва)
, тезисы, с. 213-216
2015
О проблеме распознавания расширений для пропозициональных исчислений
Боков Г.В.
в сборнике
Материалы Международного молодежного научного форума «Ломоносов-2015» / Отв. ред. А.И. Андреев, А.В. Андриянов, Е.А. Антипов. [Электронный ресурс]
, серия
Социология
, издательство
ООО "МАКС Пресс"
(Москва)
, том 2, тезисы
редакторы
Алешковский Иван Андреевич
,
Корнеева Валерия Алексеевна
,
Стриж Ирина Георгиевна
2013
Алгоритмическая разрешимость проблемы выразимости автоматно-отделимых подалгебр термов
Боков Г.В.
в сборнике
Тезисы докладов XX Международной научной конференции студентов, аспирантов и молодых учёных «Ломоносов–2013» / Секция «Математика и механика» / 2013г. / тезисы
, место издания
Москва
, тезисы
2012
Об алгоритмически разрешимых случаях проблемы выразимости в пропозициональных исчислениях
Боков Г.В.
в сборнике
Тезисы докладов XIX Международной научной конфенции студентов, аспирантов и молодых учёных «Ломоносов–2012» / Секция «Математика и механика» / 2012 г. / тезисы
, место издания
МАКС Пресс Москва
, тезисы
2011
Обобщение теоремы Хенкина на случай k-значных логик
Боков Г.В.
в сборнике
Тезисы докладов XVIII Международной научной конференции студентов, аспирантов и молодых учёных «Ломоносов–2011» / Секция «Математика и механика» / 2011г. / тезисы
, место издания
МАКС Пресс Москва
, тезисы
2010
Об алгебраических свойствах исчисления высказываний
Боков Г.В.
в сборнике
Тезисы докладов XVII Международной научной конференции студентов, аспирантов и молодых учёных «Ломоносов–2010» / Секция «Математика и механика» / 2010г. / тезисы
, место издания
МАКС Пресс Москва
, тезисы
2009
Необходимые условия оптимальности для одной задачи оптимального управления с запаздыванием
Боков Г.В.
в сборнике
Материалы докладов XVI Международной конференции студентов, аспирантов и молодых ученых "Ломоносов", Секция "Математика и механика"
, место издания
Москва, Механико-математический факультет МГУ имени М.В.Ломоносова
, тезисы
НИРы
10 января 2022 - 31 декабря 2024
Математические методы анализа биомедицинских данных
Лаборатория математических проблем искусственного интеллекта
Руководители:
Боков Г.В.
,
Галатенко А.В.
Участники НИР:
Алексеев Д.В.
,
Коновалов А.Ю.
,
Носов М.В.
,
Соколов А.П.
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
"Мозг и информация; от естественного интеллекта к искусственному"
Авторы:
Анохин Константин Владимирович
,
Садовничий Виктор Антонович
,
Федянин А.А.
,
Ткачук В.А.
,
Желтиков А.М.
,
Рогаев Е.И.
,
Боков Г.В.
#1, 386 с.
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
при МГУ имени М.В. Ломоносова, Механико-математический факультет
Руководство дипломными работами
2022
Об алгоритмической разрешимости проверки выполнимости формул в логике с параметром времени
Научный руководитель:
Боков Г.В.
Автор: Волошина Виктория Сергеевна (Специалист)
2022
О разрешающих стратегиях для резолютивных доказательств
Научный руководитель:
Боков Г.В.
Автор: Сафонов Георгий Владимирович (Специалист)
2022
Исследование структурных свойств нейропорожденных автоматов
Научный руководитель:
Боков Г.В.
Автор: Дробышев Александр Сергеевич (Специалист)
2020
Предсказание кредитного риска с помощью графовой модели нейронной сети
Научный руководитель:
Боков Г.В.
Автор: Сланова Айгерим Сакеновна (Бакалавр)
Руководство курсовыми работами
2022
Об оценке вероятности линейной отделимости
Научный руководитель:
Боков Г.В.
Автор: Шлокова Ксения Александровна (Специалист)
2022
Об одном алгоритме разбора слов в контекстно-свободных грамматиках
Научный руководитель:
Боков Г.В.
Автор: Валиева Руфина Рафаэлевна (Специалист)
2022
Исследование проблемы выполнимости булевых формул с помощью методов машинного обучения
Научный руководитель:
Боков Г.В.
Автор: Горшкова Мария Геннадьевна (Специалист)
2021
Об оптимальном хранении данных в динамическом парсере для контекстно-свободных грамматик
Научный руководитель:
Боков Г.В.
Автор: Дробышев Александр Сергеевич (Специалист)
2021
О графе разбора слов в контекстно-свободных грамматиках
Научный руководитель:
Боков Г.В.
Автор: Валиева Руфина Рафаэлевна (Специалист)
2021
Исследование упорядоченной разрешающей стратегии в CDCL алгоритме
Научный руководитель:
Боков Г.В.
Автор: Сафонов Георгий Владимирович (Специалист)
2021
Использование метода k-ближайших соседей для предсказания рака молочной железы
Научный руководитель:
Боков Г.В.
Автор: Ансимова Елизавета Андреевна (Специалист)
2021
Автоматическое решение алгебраических уравнений от одной переменной
Научный руководитель:
Боков Г.В.
Автор: Волошина Виктория Сергеевна (Специалист)
2020
Реализация схем из функциональных элементов с задержкой нейронными сетями
Научный руководитель:
Боков Г.В.
Автор: Дробышев Александр Сергеевич (Специалист)
2020
Об алгоритмической разрешимости выполнимости формул в логике с параметром времени
Научный руководитель:
Боков Г.В.
Автор: Волошина Виктория Сергеевна (Специалист)
2020
О сложности преобразования булевых формул для некоторых классов Поста
Научный руководитель:
Боков Г.В.
Автор: Чебодаев Максим Иннокентьевич (Специалист)
2020
О проблеме равенства языков для Уотсон-Крик D0L систем с регулярным триггером
Научный руководитель:
Боков Г.В.
Автор: Валиева Руфина Рафаэлевна (Специалист)
2020
О преобразовании графовых опровержений булевых функций
Научный руководитель:
Боков Г.В.
Автор: Сафонов Георгий Владимирович (Специалист)
2019
Условия представимости нейроавтоматных функций
Научный руководитель:
Боков Г.В.
Автор: Дробышев Александр Сергеевич (Специалист)
2019
Сложность перезаписи булевых формул
Научный руководитель:
Боков Г.В.
Автор: Чебодаев Максим Иннокентьевич (Специалист)
2019
Проверка истинности формул в логике с параметром времени
Научный руководитель:
Боков Г.В.
Автор: Волошина Виктория Сергеевна (Специалист)
2019
Применение нейронных сетей в предсказывании кредитного риска
Научный руководитель:
Боков Г.В.
Автор: Сланова Айгерим Сакеновна (Бакалавр)
2019
Исследование распределённых однородных структур
Научный руководитель:
Боков Г.В.
Автор: Сафонов Георгий Владимирович (Специалист)
2019
Исследование оператора замыкания для булевых функций с задержкой
Научный руководитель:
Боков Г.В.
Автор: Щекалев Михаил Игоревич (Специалист)
Авторство учебных курсов
2022
Методы машинного обучения для анализа биомедицинских данных
Авторы:
Галатенко А.В.
,
Боков Г.В.
2022
Введение в искусственные нейронные сети и машинное обучение
Авторы:
Галатенко А.В.
,
Боков Г.В.
,
Иванов Илья Евгеньевич
2017
Теория сложности вычислений
Автор:
Боков Г.В.
2017
Математическая логика и интеллектуальные системы
Автор:
Боков Г.В.
2016
Практическое применение теории сложности вычислений
Автор:
Боков Г.В.
2016
Математические проблемы искусственного интеллекта
Автор:
Боков Г.В.
2013
Математическая логика
Автор:
Боков Григорий Владимирович
Преподавание учебных курсов
1 сентября 2022 - 24 января 2023
Введение в искусственные нейронные сети и машинное обучение
МГУ имени М.В. Ломоносова
,
Биологический факультет
обязательная, по выбору (спецкурс), лекции, 36 часов
1 сентября 2022 - 24 января 2023
Методы машинного обучения для анализа биомедицинских данных
МГУ имени М.В. Ломоносова
,
Биологический факультет
обязательная, вариативной части, лекции, 54 часов
с 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"
(Международный мультимедийный пресс-центр МИА "Россия сегодня")
Автор (участник):
Боков Григорий Владимирович