Welcome!

This course is an introduction to basic mathematical logic, and its deep connections to computing. The goal of the course is to learn how logical techniques can be used to reason formally about programs and computation. The purpose of such reasoning is to prove interesting and relevant properties about programs.

Please use the links on the left to navigate to the information you need.

Credits: class web page design borrowed from Pete Manolios.