Хакатон «Тезис Чёрча»

27 апреля 2025

События образования

Задача хакатона – популяризировать среди студентов математическую логику и показать, что это не столько сложные теоремы и красивые абстракции, сколько практический и используемый в жизни инструмент.

Для подтверждения этого тезиса в НГУ впервые пройдет хакатон «Тезис Чёрча». Специалисты из ведущих ИТ-компаний собрали для вас задачи из своей профессиональной жизни. Организаторы добавят примеры из своего профессионального опыта и расскажут, когда им помогла математическая логика. Вас ждут реальные задачи из индустрии, практические задачи и призовой фонд от наших спонсоров – компаний YADRO, Postgres и Ledas.

Где и когда?

27 апреля, 10:00

Соревнования делятся на 2 этапа:

• 1-й этап – решение теоретических задач, связанных с программой курса математической логики и теории алгоритмов. Данный этап длится 1 час

• Во 2-м этапе для участников будет подготовлен список практических задач от организаторов соревнований и спонсоров. За оставшееся время (6 часов) командам предлагается решить как можно большее количество задач.

Команда, набравшая наибольшую сумму баллов, побеждает в соревнованиях.

Состав команды: до 3-х человек

На хакатоне 2 зачёта: общий и отдельный для первокурсников.

Обратите внимание, что если в команде есть непервокурсник, то команда участвует в общем зачёте.

Для участия необходимо зарегистрироваться 

Теги: 

Дата создания: 21.04.2025 16:12:59