Остапенко Степан Сергеевич
| ФИО выпускника | Остапенко Степан Сергеевич |
|---|---|
| Направление подготовки (специальность) | 01.03.02 Прикладная математика и информатика |
| Квалификация | Бакалавр |
| Наименование ВКР | Проверка выполнимости SMT-формул с помощью нейронных сетей |
| Статус | Опубликована |
| ФИО научного руководителя | кандидат физико-математических наук Д.С.Шалымов |
| Год | 2024 |