Veranstaltungen im Wintersemester 2009/10 / Vorlesungsskript Künstliche Intelligenz
Siehe auch die Folien zur letztjährigen KI-Vorlesung..
Vorlesungsfolien:
| 00.Überblick | [PDF] | 03.11.2009 | |
| 01.Uninformierte Suche | [PDF] | 04.11.2009 | |
| 02.Informierte Suche | [PDF] | 17.11.2009 | |
| 03. Constraint Satisfaction Problems | [PDF] | 24.11.2009 | |
| 04. Adversarial Search | [PDF] | 02.12.2009 | |
| 05. Aussagenlogik | [PDF] | 15.12.2009 | |
| 06. Logik 1. Stufe | [PDF] | 13.01.2010 | |
| 06. Logik 1. Stufe: Inferenz | [PDF] | 25.01.2010 |
Vorlesungsaufzeichnungen:
| Inhalt | AVI-Format |
|---|---|
| 03.11.2009 Überblick | [60 MB] |
| 04.11.2009 Uninformierte Suche I | [110 MB] |
| 10.11.2009 Uninformierte Suche II | [96 MB] |
| 11.11.2009 Uninformierte Suche III | [100 MB] |
| 18.11.2009 Informierte Suche I | [200 MB] |
| 24.11.2009 Informierte Suche II | [100 MB] |
| 25.11.2009 Informierte Suche III | [70 MB] |
| 25.11.2009 Constraint Satisfaction Problems I | [40 MB] |
| 08.12.2009 Constraint Satisfaction Problems II | [100 MB] |
| 09.12.2009 Constraint Satisfaction Problems III | [100 MB] |
| 15.12.2009 Aussagenlogik I | [100 MB] |
| 05.01.2010 Aussagenlogik II | [100 MB] |
| 06.01.2010 Aussagenlogik III | [100 MB] |
| 12.01.2010 Aussagenlogik IV | [90 MB] |
| 13.01.2010 Aussagenlogik V | [40 MB] |
| 13.01.2010 Logik 1. Stufe I | [60 MB] |
| 25.01.2010 Logik 1. Stufe II | [75 MB] |
| 25.01.2010 Logik 1. Stufe: Inferenz I | [30 MB] |