
Topic: 
Issued: 
Due at 9:00pm CT on: 
Automatic extension (with 20% penalty) until 9:00pm
CT on: 
Solution Files 
HW1 
Truth and Proof in Propositional Logic 
Wednesday, Jan 29 
Wednesday, Feb 5 
Friday, Feb 7 
hw1sol.pdf 
HW2 
Binary Decision Diagrams

Wednesday, Feb 5 
Wednesday, Feb 12 
Friday, Feb 14 
hw2sol.pdf 
HW3 
Interpretation and Proof of First Order Logic Formulae 
Wednesday, Feb 26 
Wednesday, Mar 5 
Friday, Mar 7 
solution pdf:hw3sol.pdf
thy:hw3sol.pdf 
HW4 
FloydHoare Logic 
Thursday, Mar 6 
Thursday, Mar 13 
Saturday, Mar 15 
solution pdf:hw4sol.pdf
thy:hw4sol.pdf 
HW5 
Evalation Semantics 
Wednesday, Apr 2 
Wednesday, Apr 9 
Friday, Apr 11 
hw5sol.pdf 

HW6 
Modeling Systems 
Wednesday, Apr 16 
Wednesday, Apr 23 
Friday, Apr 11 
hw6sol.pdf 

Note: The late penaly is 20% of the total number of points possible
on the base part of the assignment, plus 20% of the total
points possible on the extra credit, if you attempt the extra
credit. It is not 20% of the number of points your earn.
