SE 212: Logic and Computation (Fall 2026)

• Home
• Piazza
• Schedule
• Lectures
• Summary Pages
• Textbooks
• Homework
• Office Hours

Assessments

• Asn/Projects
• Ask George
• James interface
• George User Manual
• MarkUs
• MarkUs Instructions
• Solutions
• Exam Information
• Marking Scheme

General

• Course Personnel
• Course Outline and Policies

Summary Pages

• Propositional Logic: Formalization
• Propositional Logic: Transformational Proof
• Propositional Logic: Natural Deduction
• Propositional Logic: Semantic Tableaux


• Predicate Logic: Transformational Proof
• Predicate Logic: Natural Deduction
• Predicate Logic: Semantic Tableaux (updated 2026-10-22)
• Predicate Logic Equality/Arithmetic Nat Ded Summary