Боков Григорий Владимирович (кандидат физико-математических наук, доцент)

• Курсовая работа (2021): Автоматическое решение алгебраических уравнений от одной переменной.
• Курсовая работа (2020): Об алгоритмической разрешимости выполнимости формул в логике с параметром времени.
• Курсовая работа (2019): Проверка истинности формул в логике с параметром времени.
• Дипломная работа (2022): Об алгоритмической разрешимости проверки выполнимости формул в логике с параметром времени.