19303701 Vorlesung

SoSe 15: Künstliche Intelligenz

Raul Rojas Gonzalez

Zusätzl. Angaben / Voraussetzungen

Zusätzliche Angaben:

Übungen siehe 19303702

Voraussetzungen:

Grundkenntnisse in Mathematik und Algorithmen und Datenstrukturen Lesen Sie weiter

Kommentar

Inhalt

Suchverfahren für die Lösung kombinatorischer Aufgaben, Prädikatenlogik, Modallogik und Beschreibungslogik, Automatisches Theorembeweisen, Wissensbasierte- und ... Lesen Sie weiter

Literaturhinweise

wird noch bekannt gegeben.

13 Termine

Zusätzliche Termine

Di, 14.07.2015 14:00 - 16:00
Klausur Künstliche Intelligenz
Mo, 28.09.2015 12:00 - 14:00
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

Studienfächer A-Z