Notes

Below are the notes for CS122 in power point (.ppt) and .pdf format.

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

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

• logicSheet.pdf

Below is a link to review topics for the first CS122 exam on Thursday February 7th, 2013.

• review_test1.pdf

Below is a link to review topics for the second CS122 exam on Thursday February 21st, 2013.

• review_test2.pdf