| |
| Vecka | Datum | Tid | Lokal | Tema | Oh-bilder |
| 35 | Aug 28 | ||||
| Aug 29 | 08.15 - 10.00 | MA236 | Kursupplägg | [ps] [pdf] | |
| Introduktion | [ps] [pdf] | ||||
| Aug 30 | |||||
| Sep 31 | |||||
| Sep 01 | 08.15 - 10.00 | MA246 | Satslogik | [ps] [pdf] | |
| 36 | Sep 04 | ||||
| Sep 05 | 08.15 - 10.00 | MA246 | CNF och DNF | [ps] [pdf] | |
| Hilbertsystem, del I | [ps] [pdf] | ||||
| 10.15 - 12.00 | MA136/146 | Gruppövning | [pdf] | ||
| Sep 06 | |||||
| Sep 07 | |||||
| Sep 08 | 08.15 - 10.00 | MA246 | Hilbertsystem, del II | [ps] [pdf] | |
| Resolution, del I | [ps] [pdf] | ||||
| 37 | Sep 11 | 13.00 | Inlämningsuppg. 1 in | ||
| Sep 12 | 08.15 - 10.00 | MA246 | Resolution, del II | [ps] [pdf] | |
| Sep 13 | |||||
| Sep 14 | |||||
| Sep 15 | 08.15 - 10.00 | MA246 | Hornklausuler | [ps] [pdf] | |
| Predikatlogik, del I | [ps] [pdf] | ||||
| 10.15 - 12.00 | MA156/166 | Gruppövning | [pdf] | ||
| 38 | Sep 18 | 13.00 | Inlämningsuppg. 2 in | ||
| Sep 19 | 08.15 - 10.00 | MA246 | Predikatlogik, del II | [ps] [pdf] | |
| Sep 20 | |||||
| Sep 21 | |||||
| Sep 22 | 08.15 - 10.00 | MA246 | Predikatlogik, del III | [ps] [pdf] | |
| Normalisering, del I | [ps] [pdf] | ||||
| 39 | Sep 25 | 13.00 | Inlämningsuppg. 3 in | ||
| Sep 26 | 08.15 - 10.00 | MA246 | Substitution och unifiering | [ps] [pdf] | |
| 10.15 - 12.00 | MA136/146 | Gruppövning | [pdf] | ||
| Sep 27 | |||||
| Sep 28 | |||||
| Sep 29 | 08.15 - 10.00 | MA246 | Resolution | ||
| Avslutning | |||||
| 40 | Oct 04 | 09.00 - 15.00 | Skrivsal 6 ÖP | Tentamen | |
| 51 | Dec 22 | 09.00 - 15.00 | Skrivsal 6 ÖP | Omtenta 1 | |
| 16 | Apr 11 | 09.00 - 15.00 | Skrivsal 6 ÖP | Omtenta 2 | |