User Tools

Site Tools

Trace: • lecture_3
plc16:lecture_3

Lecture 3

Lecture 3 Slides

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

Page Tools