Logic and Computation
CS 2800 Spring 2013

College of Computer and Information Science
Northeastern University


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.