SI242 Specific Resources

• Course Policy v1.0
• SI242 Propositional Logic Tool
• SI242 SMT-solver Tool
• Index of all Axioms, Definitions and Theorems for the course so far (constantly updated).
• List of simplification/rewriting and deduction rules for propositional logic
• List of deduction rules for first-order logic
• Old Exams:
  • Fall 2022 6-Week Exam ← go over sol's with MGSP for extra credit!
  • Fall 2022 12-Week Exam and Handout with Def's/Thm's/Axioms
  Note: There will be extra credit given for doing some problems and going over solutions with MGSP leaders. Details to follow.
• Axioms, Definitions and Theorems for the 12-week Exam
• Post 12-Week Study Guide