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] |