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
Credits: class web page design borrowed from Pete Manolios.