| |
| Tema |
1 sida/blad |
3 sidor/blad |
4 sidor/blad |
6 sidor/blad |
| Kursupplägg |
[ps] [pdf] |
[ps] [pdf] |
[ps] [pdf] |
[ps] [pdf] |
| Inledning - Vad handlar logik om? |
[ps] [pdf] |
[ps] [pdf] |
[ps] [pdf] |
[ps] [pdf] |
| Satslogik - grundläggande definitioner |
[ps] [pdf] |
[ps] [pdf] |
[ps] [pdf] |
[ps] [pdf] |
| CNF och DNF | [ps] [pdf] |
[ps] [pdf] |
[ps] [pdf] |
[ps] [pdf] |
| Hilberts bevissystem (del 1) | [ps] [pdf] |
[ps] [pdf] |
[ps] [pdf] |
[ps] [pdf] |
| Hilberts bevissystem (del 2) | [ps] [pdf] |
[ps] [pdf] |
[ps] [pdf] |
[ps] [pdf] |
| Resolution (del 1) | [ps] [pdf] |
[ps] [pdf] |
[ps] [pdf] |
[ps] [pdf] |
| Resolution (del 2) | [ps] [pdf] |
[ps] [pdf] |
[ps] [pdf] |
[ps] [pdf] |
| Hornklausuler | [ps] [pdf] |
[ps] [pdf] |
[ps] [pdf] |
[ps] [pdf] |
| Första ordningens predikatlogik - informell inledning |
[ps] [pdf] |
[ps] [pdf] |
[ps] [pdf] |
[ps] [pdf] |
| Första ordningens predikatlogik - syntax och semantik |
[ps] [pdf] |
[ps] [pdf] |
[ps] [pdf] |
[ps] [pdf] |
| Första ordningens predikatlogik - ytterligare basbegrepp |
[ps] [pdf] |
[ps] [pdf] |
[ps] [pdf] |
[ps] [pdf] |
| Normalisering inför resolution | [ps] [pdf] |
[ps] [pdf] |
[ps] [pdf] |
[ps] [pdf] |
| Substitution och unifiering | [ps] [pdf] |
[ps] [pdf] |
[ps] [pdf] |
[ps] [pdf] |
| Resolution | [ps]
[pdf] |
[ps]
[pdf] |
[ps]
[pdf] |
[ps]
[pdf] |
| Avslutning | [ps]
[pdf] |
[ps]
[pdf] |
[ps]
[pdf] |
[ps]
[pdf] |
|
http://www.cs.umu.se/kurser/TDBB42/HT06/OH.html Responsible for the page: Johanna Högberg Last modified 2006-08-27 Copyright © 2006. All rights reserved. |