CS 81 Homework
Assignment 11
(
solution
)
Assignment 10
(
solution
)
Assignment 9
(
solution
)
Assignment 8
(
solution
)
Assignment 7
(
solution
)
Assignment 6
(
solution
)
Assignment 5
(
solution
)
Assignment 4
(
solution
)
Assignment 3
(
solution
)
Assignment 2
(
solution
)
Assignment 1
(
solution
)
Some Worked Examples
Propositional Natural Deduction Worked Problems
Quantifier Natural Deduction Worked Problems
Natural Deduction Worked Problems for Number Theory
Worked Problem for Hoare Triples