![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| slides8-fol-db.pdf | 2017-12-14 17:08 | 222K | |
| slides7-er-fol.pdf | 2018-01-10 17:38 | 293K | |
| slides6-fol-modelling.pdf | 2017-12-14 17:26 | 643K | |
| slides5-fol-2.pdf | 2017-12-15 08:02 | 94K | |
| slides4-fol-1.pdf | 2015-12-14 18:32 | 230K | |
| slides3-prop-logic-2.pdf | 2018-01-15 08:54 | 156K | |
| slides2-prop-logic-1.pdf | 2016-11-24 12:59 | 70K | |
| slides1-intro.pdf | 2016-11-24 09:58 | 122K | |