User Tools

Site Tools


plc16:lecture_3

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
plc16:lecture_3 [2016/08/29 12:48]
hossein
plc16:lecture_3 [2016/08/29 12:49] (current)
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.
plc16/lecture_3.txt ยท Last modified: 2016/08/29 12:49 by hossein