plc16:lecture_3

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

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