Theoretische Informatik Vorlesung Nr. 2

Videoaufzeichnung der Vorlesung Theoretische Informatik Nr. 2 an der Hochschule Ravensburg-Weingarten vom 14. März 2013. Für die Vorlesung werden die Bücher "Theoretische Informatik" von Dirk W. Hoffmann und "Grundkurs Künstliche Intelligenz" von Prof. Wolfgang Ertel (http://www.hs-weingarten.de/~ertel/index.php?page=buch-ki) verwendet. Die Themen der Aufzeichnung sind: Aussagenlogik - Wiederholung - Beweisverfahren 4:04 - Resolution 27:21 - Hornklauseln 1:07:41 Das Video zusammen mit den Folien anschauen: http://www.hs-weingarten.de/~ertel/content/lecture.ws/lectures/video.html?lecture=thinf-02