Задача хакатона – популяризировать среди студентов математическую логику и показать, что это не столько сложные теоремы и красивые абстракции, сколько практический и используемый в жизни инструмент.
Для подтверждения этого тезиса в НГУ впервые пройдет хакатон «Тезис Чёрча». Специалисты из ведущих ИТ-компаний собрали для вас задачи из своей профессиональной жизни. Организаторы добавят примеры из своего профессионального опыта и расскажут, когда им помогла математическая логика. Вас ждут реальные задачи из индустрии, практические задачи и призовой фонд от наших спонсоров – компаний YADRO, Postgres и Ledas.
Где и когда?
27 апреля, 10:00
Соревнования делятся на
2 этапа:
-
1-й этап – решение теоретических задач, связанных с программой курса математической логики и теории алгоритмов. Данный этап длится 1 час
-
Во 2-м этапе для участников будет подготовлен список практических задач от организаторов соревнований и спонсоров. За оставшееся время (6 часов) командам предлагается решить как можно большее количество задач.
Команда, набравшая наибольшую сумму баллов, побеждает в соревнованиях.
Состав команды: до 3-х человек
На хакатоне 2 зачёта: общий и отдельный для первокурсников.
Обратите внимание, что если в команде есть
непервокурсник, то команда участвует
в общем зачёте.
Для участия
необходимо зарегистрироваться
