Welcome!

This course is an introduction to formal logic and its deep connections to computing. Logic is presented from a computational perspective. The major goal of the course is to introduce fundamental techniques for describing and reasoning about computation.