Theory for Programming
Spring 2013
CS122 Tutorials
Tutorials
Below are the tutorials for each topic in CS122:
- Sets and Functions
- Propositions and Predicates
- Rules of Inference
- Proof Techniques
- Program Verification
These tutorials can be tried whenever and used as practice for each topic.
