AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
Watch a 57-minute lecture from the Mathematics and Machine Learning Program Opening Workshop at Harvard CMSA, where David McAllester from Toyota Technological Institute at Chicago explores the intersection of logic and formal methods, examining their fundamental role in mathematical reasoning and machine learning applications.
