ГлавнаяМероприятияSoftware Foundations I: первый семинар

Software Foundations I: первый семинар

35
Семинар
24.12.18 | 19:3022:00Ул. Большая Дорогомиловская, д.5к2, Антикафе Кочерга

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

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

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

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

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

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

Расскажите знакомым:

Добавить мое событие в календарь ICT.Moscow

Что такое ICT.Moscow?

ICT.Moscow — открытая платформа о цифровых технологиях в Москве. Мы создаем наиболее полную картину развития рынка технологий в городе и за его пределами, помогаем бизнесу следить за главными трендами, не упускать возможности и находить новых партнеров.

Если не указано иное, материалы доступны
по лицензии Creative Commons BY 4.0

При поддержке Правительства Москвы