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

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
  • Proposition Logic: Resolution (slides)
• 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 (updated 2026-10-22)
• Module 4: Theories, Equality, Arithmetic, Induction
  • se212-m04-part1-1up
    se212-m04-part1-4up
  • se212-m04-part2-1up
    se212-m04-part2-4up
  • Predicate Logic Equality/Arithmetic Nat Ded Summary
• Module 5: Set Theory

• Module 6: Formal Specification

• Module 7: Program Correctness