SE212: Logic and Computation

This course builds on top of MATH135. It’s 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: