Links to miscellaneous resources that will be helpful will appear here during the course of the semester.

Notes

Below are the notes for CS122 in pdf format.

• SetsFunctions.pdf
• PropositionsPredicates.pdf
• InferenceRules.pdf
• ProofTechniques.pdf
• ProgramVerification.pdf

Below are the logic rules for CS122 in .pdf format.

• logicSheet.pdf