Software Foundations I: первый семинар
- Антикафе Кочерга
О мероприятии
О мероприятии
На встрече изучают математические законы за написанием надежного софта с целью: делать лучше. Семинары по книге Benjamin C. Pierce "Logical Foundations".
Конструктивная верификация — через инструменты доказательства — логических теорем. Из логики и элементов алгебры к программированию и обратно. Для участия понадобится: ботать дома, математическая грамотность или программистская грамотность, уверенность пользования ПК
читать английский текст.
Подробности на сайте
по теме:
Что такое ICT.Moscow?
ICT.Moscow — открытая платформа о цифровых технологиях в Москве. Мы создаем наиболее полную картину развития рынка технологий в городе и за его пределами, помогаем бизнесу следить за главными трендами, не упускать возможности и находить новых партнеров.
Если не указано иное, материалы доступны по лицензии Creative Commons BY 4.0
При поддержке Правительства Москвы
Редакция:hello@ict.moscow
Сотрудничество:partners@ict.moscow