19303701
Vorlesung
SoSe 15: Künstliche Intelligenz
Raul Rojas Gonzalez
Zusätzl. Angaben / Voraussetzungen
Zusätzliche Angaben:
Übungen siehe 19303702Voraussetzungen:
Grundkenntnisse in Mathematik und Algorithmen und Datenstrukturen Lesen Sie weiterKommentar
Literaturhinweise
wird noch bekannt gegeben.
13 Termine
Zusätzliche Termine
Di, 14.07.2015 14:00 - 16:00Klausur Künstliche Intelligenz
Nachklausur Künstliche Intelligenz
Regelmäßige Termine der Lehrveranstaltung
Di, 14.04.2015 14:00 - 16:00
Di, 21.04.2015 14:00 - 16:00
Di, 28.04.2015 14:00 - 16:00
Di, 05.05.2015 14:00 - 16:00
Di, 12.05.2015 14:00 - 16:00
Di, 19.05.2015 14:00 - 16:00
Di, 26.05.2015 14:00 - 16:00
Di, 02.06.2015 14:00 - 16:00
Di, 09.06.2015 14:00 - 16:00
Di, 16.06.2015 14:00 - 16:00
Di, 23.06.2015 14:00 - 16:00
Di, 30.06.2015 14:00 - 16:00
Di, 07.07.2015 14:00 - 16:00
Inhalt
Suchverfahren für die Lösung kombinatorischer Aufgaben, Prädikatenlogik, Modallogik und Beschreibungslogik, Automatisches Theorembeweisen, Wissensbasierte- und ... Lesen Sie weiter