plc16:lecture_3
This is an old revision of the document!
A PCRE internal error occured. This might be caused by a faulty plugin
====== Lecture 3 ====== Lecture 3 {{ :plc16:lect3:main.pdf |}} In Lecture 3 we discussed the benefits of formal semantics and also we did some exercises on inference systems. === Optional Readings === - Chapter 1 from [[http://www.cl.cam.ac.uk/teaching/0809/Semantics/notes-mono.pdf |Peter Sewell]]'s notes on semantics - [[https://en.wikipedia.org/wiki/Rule_of_inference|Rules of Inference]] on Wikipedia.
plc16/lecture_3.1472487796.txt.gz · Last modified: 2016/08/29 12:23 by hossein