Давыдов Фёдор Геннадиевич

Половников Владимир Сергеевич (кандидат физико-математических наук, старший научный сотрудник)

  • Курсовая работа (2014): Автоматный подход к решению задачи 3 выполнимости.
  • Дипломная работа (2015): Использование нейронных сетей и автоматных вычислителей для решения трудных задач..