19303701
Vorlesung
SoSe 17: Künstliche Intelligenz
Raúl Rojas, Christoph Benzmüller
Hinweise für Studierende
Hinweise für Studierende:
Übungen siehe 19303702
Zusätzl. Angaben / Voraussetzungen
Voraussetzungen:
Grundkenntnisse in Mathematik und Algorithmen & Datenstrukturen.
Kommentar
Literaturhinweise
wird noch bekannt gegeben.
14 Termine
Zusätzliche Termine
Mo, 30.10.2017 10:00 - 12:00Nachklausur
Regelmäßige Termine der Lehrveranstaltung
Mi, 05.04.2017 09:00 - 12:00
Do, 06.04.2017 09:00 - 12:00
Fr, 07.04.2017 09:00 - 12:00
Mo, 10.04.2017 09:00 - 12:00
Di, 11.04.2017 09:00 - 12:00
Mi, 12.04.2017 09:00 - 12:00
Do, 13.04.2017 09:00 - 12:00
Mo, 07.08.2017 09:00 - 12:00
Di, 08.08.2017 09:00 - 12:00
Mi, 09.08.2017 09:00 - 12:00
Do, 10.08.2017 09:00 - 12:00
Fr, 11.08.2017 09:00 - 12:00
Mo, 14.08.2017 09:00 - 12:00
Di, 15.08.2017 09: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