Применение методов машинного обучения к решению некоторых сложных экземпляров задачи булевой выполнимости : ВКР бакалавра : направление 01.03.02 "Прикладная математика и информатика" : профиль "Математическое и компьютерное моделирование"

Только для организаций
Автор: 
Алексеев В. С. ; Заикин О. С. (рук.)
Год: 
2017
Шифр специальности:
01.03.02
Факультет:
Институт математики, экономики и информатики
Кафедра:
Кафедра теории вероятностей и дискретной математики