User Tools

Site Tools


plc16:lecture_3

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.1472489309.txt.gz · Last modified: 2016/08/29 12:48 by hossein