Tutorials

Below are the tutorials for each topic in CS122:

• Sets and Functions
• Propositions and Predicates
• Rules of Inference
• Proof Techniques
• Program Correctness

These tutorials can be tried whenever and used as practice for each topic.