19303701
Vorlesung
SoSe 19: Künstliche Intelligenz
Christoph Benzmüller, Christoph Schommer
Zusätzl. Angaben / Voraussetzungen
Voraussetzungen:
Grundkenntnisse in Mathematik und Algorithmen & Datenstrukturen.
Kommentar
Literaturhinweise
wird noch bekannt gegeben.
10 Termine
Regelmäßige Termine der Lehrveranstaltung
Mo, 01.04.2019 08:00 - 12:00
Di, 02.04.2019 08:00 - 12:00
Mi, 03.04.2019 08:00 - 12:00
Do, 04.04.2019 08:00 - 12:00
Fr, 05.04.2019 08:00 - 12:00
Mo, 15.07.2019 08:00 - 12:00
Di, 16.07.2019 08:00 - 12:00
Mi, 17.07.2019 08:00 - 12:00
Do, 18.07.2019 08:00 - 12:00
Fr, 19.07.2019 08:00 - 12:00
Inhalt
Suchverfahren für die Lösung kombinatorischer Aufgaben; Klassische und Nichtklassische Logiken und ihre Mechanisierung; DPLL, Resolution, Tableauxverfahren und ... Lesen Sie weiter