 T: Aug 21



 U: Aug 23



 T: Aug 28



 U: Aug 30



 T: Sep 4



 U: Sep 6

 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: Sep 11


 HW 2 Assigned (see the Assignments section of 301 Canvas). Due Monday, Sept 24 at 11:59pm.

 U: Sep 13



 T: Sep 18



 U: Sep 20



 T: Sep 25



 U: Sep 27



 T: Oct 2

 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]


 U: Oct 4



 T: Oct 9



 U: Oct 11



 T: Oct 16



 U: Oct 18



 T: Oct 23



 U: Oct 25



 T: Oct 30



 U: Nov 1



 T: Nov 6



 U: Nov 8



 T: Nov 13



 U: Nov 15



 Thanksgiving Break



 T: Nov 27



 U: Nov 29



 T: Dec 4



 U: Dec 6

 Closing Remarks
 Review for Final Exam


 Wednesday: Dec 12


