Inhalt

Suchverfahren für die Lösung kombinatorischer Aufgaben; Klassische und Nichtklassische Logiken und ihre Mechanisierung; DPLL, Resolution, Tableauxverfahren und Theorembeweisen; Wissensbasierte- und Expertensysteme; Mensch-Maschinen-Schnittstellen; Mustererkennung insbesondere für interaktive Anwendungen

Literatur

wird noch bekannt gegeben.

Voraussetzungen:

Grundkenntnisse in Mathematik und Algorithmen & Datenstrukturen.

Zeiten und Räume:

• Mittwoch, 05.04., 9-12 Uhr, Raum 006, Takustr. 9, Dozent: R. Rojas
• Donnerstag, 06.04., 9-12 Uhr, Raum 006, Takustr. 9, Dozent: R. Rojas
• Freitag, 07.04., 9-12 Uhr, Raum 049, Takustr. 9, Dozent: R. Rojas
• Montag, 10.04., 9-12 Uhr, Raum 049, Takustr. 9, Dozent: R. Rojas
• Dienstag, 11.04., 9-12 Uhr, Raum 006, Takustr. 9, Dozent: R. Rojas
• Mittwoch, 12.04., 9-12 Uhr, Raum 006, Takustr. 9, Dozent: R. Rojas
• Donnerstag, 13.04., 9-12 Uhr, Raum 006, Takustr. 9, Dozent: R. Rojas
• Montag, 07.08., 9-12 Uhr, Raum 006, Takustr. 9, Dozent: C. Benzmüller
• Dienstag, 08.08., 9-12 Uhr, Raum 006, Takustr. 9, Dozent: C. Benzmüller
• Mittwoch, 09.08., 9-12 Uhr, Raum 006, Takustr. 9, Dozent: C. Benzmüller
• Donnerstag, 10.08., 9-12 Uhr, Raum 006, Takustr. 9, Dozent: C. Benzmüller
• Freitag, 11.08., 9-12 Uhr, Raum 006, Takustr. 9, Dozent: C. Benzmüller
• Montag, 14.08., 9-12 Uhr, Raum 006, Takustr. 9, Dozent: C. Benzmüller
• Dienstag, 15.08., 9-11 Uhr, Raum 006, Takustr. 9:  *KLAUSUR*