Theoretische Informatik Vorlesung 2 | Hochschule Ravensburg-Weingarten 📚

Schauen Sie sich die Videoaufnahme der 2. Vorlesung in Theoretische Informatik vom 14. März 2013 an der Hochschule Ravensburg-Weingarten an. Perfekt für Studierende und Interessierte, die ihr Wissen vertiefen möchten!

Theoretische Informatik Vorlesung 2 | Hochschule Ravensburg-Weingarten 📚
Hochschule Ravensburg-Weingarten University
10.3K views • Mar 15, 2013
Theoretische Informatik Vorlesung 2 | Hochschule Ravensburg-Weingarten 📚

About this video

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

Tags and Topics

Browse our collection to discover more content in these categories.

Video Information

Views

10.3K

Likes

48

Duration

01:27:08

Published

Mar 15, 2013

User Reviews

4.0
(2)
Rate:

Related Trending Topics

LIVE TRENDS

Related trending topics. Click any trend to explore more videos.