User Tools

Site Tools


This is an old revision of the document!

Lecture 3

Lecture 3 main.pdf

In Lecture 3 we discussed the benefits of formal semantics and also we did some exercises on inference systems.

Optional Readings

  1. Chapter 1 from Peter Sewell's notes on semantics
  2. Rules of Inference on Wikipedia.
plc16/lecture_3.1472487796.txt.gz · Last modified: 2016/08/29 12:23 by hossein