CS 245: Logic and Computation — Fall 2018

David R. Cheriton School of Computer Science

Additional material (J. Buss)

Lecture topics and goals

Corrections and discussion of overheads

Clicker questions

Additional Examples