Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
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.
