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

Lecture Notes

This page will contain pdf files of the lecture notes as they become available. Please bring these notes with you to lecture.

• Module 1: Introduction and Motivation
  • se212-m01-1up
    se212-m01-4up
• Module 2: Propositional Logic
  • se212-m02-1up
    se212-m02-4up
  • Propositional Logic: Formalization
  • Propositional Logic: Transformational Proof Summary
  • Propositional Logic: Natural Deduction Summary
  • Propositional Logic: Semantic Tableaux Summary
• Module 3: Predicate Logic
  • se212-m03-1up
    se212-m03-4up
  • Predicate Logic: Transformational Proof Summary
  • Predicate Logic: Natural Deduction Summary
  • Predicate Logic: Semantic Tableaux Summary
• Module 4: Theories, Equality, Arithmetic, Induction
  • se212-m04-1up
    se212-m04-4up
  • Predicate Logic Equality/Arithmetic Nat Ded Summary
• Module 5: Set Theory
  • se212-m05-1up
    se212-m05-4up
  • Set Theory Summary (revised 2025-11-08)
• Module 6: Formal Specification in Z
  • se212-m06-1up
    se212-m06-4up
  • se212-m06-musical-chairs.pdf
  • se212-m06-voting.grg (Revised 2025-11-11)
• Module 7: Program Correctness
  • se212-m07-1up
    se212-m07-4up
  • Program Correctness Summary
  • se212-m07-array.pdf (revised 2025-11-19 for formatting)
  • se212-m07-array.grg (revised 2025-11-19 for formatting)