Justification Logic
Spring 2007
Assignments |
- Homework 7 (due date: Tuesday, April 17):
HW7.pdf
- Homework 6 (due date: Tuesday, March 20):
HW6.pdf
Do as many problems as you can, but don't be disappointed if you cannot do some of them.
- Homework 5 (due date: Tuesday, March 13):
HW5.pdf
Again, do as many problems as you can, but don't be disappointed if you cannot do some of them.
- Homework 4 (due date: Tuesday, March 6):
HW4.pdf
Again, do as many problems as you can, but don't be disappointed if your cannot do some of them.
- Homework 3 (due date: Tuesday, February 27):
HW3.pdf
Please present as many solutions in written as you can. Don't be disappointed if you cannot do some of them, just try your best.
- Homework 2 (due date: Tuesday, February 20):
HW2.pdf (updated as of 2/20/07)
Please present as many solutions in written as you can. Don't be disappointed if you cannot do some of them, just try your best.
- Homework 1 (due date: Tuesday, February 13):
HW1.pdf (updated as of 2/10/2007)
Please present as many solutions in written as you can. Don't be disappointed if you cannot do some of them, just try your best.