Логические исчисления, и как они связаны с языками программирования // Математика для программистов

На бесплатном вебинаре мы: — разберём, что общего между программистом и математиком, и в чём между ними разница. — будет показано, что языки программирования строятся на тех же принципах, что и доказательства математических теорем, а выразительные способности языков программирования ограничиваются понятиями полноты и непротиворечивости. Регистрируйтесь сейчас — напомним перед вебинаром! «Математика для программистов» - Преподаватель: Евгений Тюменцев - директор компании по разработке программного обеспечения. Пройдите опрос по итогам мероприятия - Следите за новостями проекта: - Telegram: - ВКонтакте: - LinkedIn: - Хабр: