Хакатон «Тезис Чёрча» впервые проходил в Новосибирском государственном университете. Он ориентирован на всех, кто интересуется математической логикой и её применением в информационных технологиях. В пилотных соревнованиях приняли участие как студенты всех курсов Факультета информационных технологий и Механико-математического факультета НГУ, так и школьники.
Соревнование состояло из двух этапов: теоретического, который дал участникам возможность исследовать, как логика применима в повседневной жизни; и практического – решения прикладных задач.
О том, как появилась идея провести хакатон, рассказал студент 3 курса Факультета информационных технологий НГУ Антон Чумак, организатор мероприятия: «Когда я учился на первом курсе, то слышал возмущения от однокурсников «Зачем нужна математическая логика?» или «Матлог –это предмет, оторванный от остальной математики и каких-либо реальных задач». На втором курсе я вёл дополнительные пары по данному предмету и заметил, что общее настроение первокурсников примерно такое же. «Непонятный и бесполезный предмет», – думала часть из них. И, хотя курс математической логики и теории алгоритмов более абстрактный, чем линал или матан, он также имеет множество практических приложений, особенно в IT. Среди таких сфер – парсеры, верификация программ, базы знаний, искусственный интеллект, экспертные системы, оптимизирующие компиляторы и много другое. Проблема заключается в том, что первокурсники не видят этих приложений, когда им нужно изучать доказательство ТОСМ (теоремы о существовании модели), и не многим хватает мотивации качественно пройти курс. Поэтому мне показалось правильным решением познакомить ребят с задачами, которые появляются в передовых компаниях и требуют знания математической логики для решения. Надеюсь, это изменит их отношение к курсу и дисциплине в целом».
Как отмечают организаторы, основная сложность подготовки хакатона заключалась в составлении задач. Поскольку по формату соревнования ограничены одним днём, то у команды, пусть даже состоящей из трёх человек, мало времени, чтобы решить сложную комплексную задачу. При этом важно было показать многогранность приложений, поэтому нужно было предложить командам как можно больше разных задач. В итоговый список вошли теоретические и практические задачи. Теоретические задачи были посвящены применению математической логики в повседневной жизни программиста. В практическом туре командам предлагалось написать свою машину Тьюринга, алгоритм оптимизации для компилятора, спецификации для верификации алгоритмов в распределённых системах и даже свою базу знаний.
«С радостью могу отметить, что почти все задачи были решены хотя бы одной командой!» – добавил Антон Чумак.
Финалом стало торжественное награждение лучших команд. Победители получили памятные призы благодаря поддержке партнёров: особую благодарность организаторы выразили деканату ФИТ НГУ, Управлению молодёжной политики и воспитательной работы НГУ, а также компаниям-партнёрам Факультета информационных технологий — Postgres Professional, YADRO, Ledas и Школе анализа данных — за вклад в организацию и проведение хакатона.
И организаторы, и участники отмечают, что соревнования отличались доброжелательной атмосферой. Помимо собственно турнира были предусмотрены перерывы, когда команды общались в неформальной обстановке.