19303701
Vorlesung
SoSe 18: Künstliche Intelligenz
Raul Rojas Gonzalez
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.
8 Termine
Zusätzliche Termine
Di, 24.07.2018 12:00 - 14:00Klausur
Nachklausur
Regelmäßige Termine der Lehrveranstaltung
Di, 17.04.2018 08:00 - 12:00
Di, 08.05.2018 08:00 - 12:00
Di, 22.05.2018 08:00 - 12:00
Di, 05.06.2018 08:00 - 12:00
Di, 19.06.2018 08:00 - 12:00
Di, 03.07.2018 08:00 - 12:00
Di, 10.07.2018 08:00 - 12:00
Di, 17.07.2018 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