завершено
Антикафе Кочерга

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

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

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

280
Когда: 24.12.18 | 19:30 - 22:00
Где: Ул. Большая Дорогомиловская, д.5к2, Антикафе Кочерга
Условия посещения: платно

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

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

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

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

Подробности на сайте
Тематика:

#разработка

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

Добавить мое событие в календарь ICT.Moscow
Похожие мероприятия:
19 июля
-
19 июля
-
Конференция
Т-Технологии
Что такое ICT.Moscow?

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