User Tools

Site Tools


plc16:lecture_3

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision
Previous revision
plc16:lecture_3 [2016/08/29 12:23]
hossein created
plc16:lecture_3 [2016/08/29 12:49]
hossein
Line 1: Line 1:
 ====== Lecture 3 ====== ====== Lecture 3 ======
  
-Lecture 3 {{ :​plc16:​lect3:​main.pdf |}}+Lecture 3 {{ :​plc16:​lect3:​main.pdf |Slides}}
  
 In Lecture 3 we discussed the benefits of formal semantics and also we did some exercises on inference systems. In Lecture 3 we discussed the benefits of formal semantics and also we did some exercises on inference systems.
  
 === Optional Readings === === Optional Readings ===
-  - Chapter 1 from  [[http://​www.cl.cam.ac.uk/​teaching/​0809/​Semantics/​notes-mono.pdf +  - Chapter 1 from Peter Sewell'​s ​[[http://​www.cl.cam.ac.uk/​teaching/​0809/​Semantics/​notes-mono.pdf 
-|Peter Sewell]]'s notes on semantics ​+|notes]]  on semantics ​
   - [[https://​en.wikipedia.org/​wiki/​Rule_of_inference|Rules of Inference]] on Wikipedia.   - [[https://​en.wikipedia.org/​wiki/​Rule_of_inference|Rules of Inference]] on Wikipedia.
plc16/lecture_3.txt · Last modified: 2016/08/29 12:49 by hossein