 T: Jan 16



 U: Jan 18



 T: Jan 23



 U: Jan 24



 T: Jan 30



 U: Feb 1

 Automatic Reasoning for Propositional Logic
[example,
FYTD #1 solution,
FYTD #2 solution,
FYTD #3 solution (building truth tables),
FYTD #4 solution (checking tautologies),
FYTD #5 solution (sequents, validity, equivalences),
Exercises,
Guided Exercise: Basic SAT (.txt, video),
Guided Exercise: Finding more models and building truth tables (.txt, video)]

 Reading: Z3’s Guide
(up to Section 3 on Propositional Logic)

 T: Feb 6



 U: Feb 8



 T: Feb 13



 U: Feb 15



 T: Feb 20



 U: Feb 22



 T: Feb 27



 U: Mar 1

 Quantifications by Example (no slides for this lecture, only code examples)
[Lecture video,
Scala examples,
Java examples]
 Introduction to Predicate Logic
[Lecture video: (part a),
(part b),
(part c coming later),
examples,
Z3 examples,
FYTD #11,
FYTD #12,
FYTD #21,
FYTD #22]


 T: Mar 6



 U: Mar 8



 T: Mar 13



 U: Mar 15



 Spring Break



 T: Mar 27



 U: Mar 29



 T: Apr 3



 U: Apr 5



 T: Apr 10



 U: Apr 12



 T: Apr 17



 U: Apr 19



 T: Apr 24



 U: Apr 26



 T: May 1



 U: May 3

 Closing Remarks
 Review for Final Exam


 Monday: May 7


