SE 212: Logic and Computation (Fall 2023)

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

Assessments

• Asn/Projects
• George (Software)
• Boole 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
• Set Theory
• Program Correctness