Все новости

30 апреля 2025

Соревнования были посвящены практическим приложениям математической логики. В хакатоне приняли участие 15 команд, среди которых были представители всех курсов ФИТ и ММФ, а также школьники. Почётными гостями стали Яхъяева Гульнара Эркиновна, доцент кафедры общей информатики ФИТ, лектор курса "Логические основы программирования", и Власов Александр Александрович, заведующий лабораторией разработки программного обеспечения и систем на кристалле, доцент кафедры систем информатики ФИТ НГУ.
Соревнования проводились в 2 этапа: Теоретическая и практическая части. В теоретической части участникам предлагались ситуации из повседневной жизни программиста, в которых нужно было применить знания математической логики. Практический этап состоял из задач на программирование, относящихся к машине тьюринга, алгоритму продвижения констант, логическому моделированию алгоритмов консенсуса в распределённых средах. В последней задаче командам нужно было разработать с нуля свою базу знаний, основанную на дескрипционной EL-логике. И несмотря на тяжесть задания и ограниченность времени, нескольким командам удалось выполнить даже это задание. В конце были подведены итоги, а победители хакатона получили призы от партнёров: Postgres Professional, YADRO, Ledas и Школы Анализа Данных.
Хакатон продемонстрировал практическую значимость тех фундаментальных дисциплин, которые изучаются на первых курсах факультета информационных технологий, и время покажет влияние таких соревнований на развитие информатики в России!

Выражаем благодарность деканату ФИТ, управлению молодежной политики и воспитательной работы НГУ, а также компаниям партнёрам факультета информационных технологий: Postgres Professional, YADRO, Ledas, Школы Анализа Данных за оказанную поддержку при организации и проведении хакатона!

Фотографии:  Загрузить / Загрузить / Загрузить

Теги: