CMSC 250 Some Slides.
Jan 29:
Admin and Prop Logic (Actually Jan 30)
Jan 31:
Roger Eastman Circuit Slides
Feb 12:
Quantifiers
March 7:
Induction
April 11:
Bayes Theorem