О мероприятии

На встрече изучают математические законы за написанием надежного софта с целью: делать лучше. Семинары по книге Benjamin C. Pierce "Logical Foundations".

Конструктивная верификация — через инструменты доказательства — логических теорем. Из логики и элементов алгебры к программированию и обратно. Для участия понадобится: ботать дома, математическая грамотность или программистская грамотность, уверенность пользования ПК
читать английский текст.

Подробности на сайте