SE 212: Logic and Computation (Fall 2025)

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

Assessments

• Asn/Projects
• George (Software)
• James interface
• Etherpad (VPN)
• 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
• Predicate Logic Equality/Arithmetic Nat Ded Summary
• Set Theory (revised 2025-11-08)
• Program Correctness