SE 212: Logic and Computation (Fall 2023)

Assessments

General

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 (updated 2023-09-06 10:00am)
  se212-m01-4up

Module 2: Propositional Logic

Module 3: Predicate Logic

Module 4: Theories, Equality, Arithmetic, Induction
- se212-m04-1up
  se212-m04-4up

Module 5: Set Theory
- se212-m05-1up
  se212-m05-4up
- Set Theory Summary

Module 6: Formal Specification in Z

Module 7: Program Correctness

Last modified on Tuesday 21st of November 2023 06:22:08 PM

Course Supported by Instructional Support Group