This course builds on top of MATH135

SE212: Logic and Computation

This course is about Logic and sets, and their use in software engineering and computer science. We study the use of logic for:

  • Specifying the behaviour of systems
  • Checking the correctness of programs

The 4 major topics of the course:

Link to course notes here.


As I was studying for my final exam, I started thinking about Semantics and Artificial Intelligence

  • Well, there are strides in NLP, the AI manages to learn about these ideas in some sort of Latent Space

Precedence for this course: