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
Inhalt
Suchverfahren für die Lösung kombinatorischer Aufgaben; Klassische und Nichtklassische Logiken und ihre Mechanisierung; DPLL, Resolution, Tableauxverfahren und Theorembeweisen; Wissensbasierte- und Expertensysteme; Mensch-Maschinen-Schnittstellen; Mustererkennung insbesondere für interaktive Anwendungen; Data Science, Machine Learning, Neural Architectures, Knowledge Discovery.
SchließenLiteraturhinweise
wird noch bekannt gegeben.
8 Termine
Zusätzliche Termine
Di, 24.07.2018 12:00 - 14:00Klausur
Mo, 15.10.2018 10:00 - 12:00
Nachklausur
Räume:
A7/SR 031 (Arnimallee 7)
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
Inhalt
Suchverfahren für die Lösung kombinatorischer Aufgaben; Klassische und Nichtklassische Logiken und ihre Mechanisierung; DPLL, Resolution, Tableauxverfahren und ... Lesen Sie weiter