Theoretische Informatik Vorlesung 4 | Hochschule Ravensburg-Weingarten 📚
Aufzeichnung der Vorlesung Theoretische Informatik Nr. 4 vom 18. März 2013 an der Hochschule Ravensburg-Weingarten. Perfekt für Studierende und Interessierte, die ihr Wissen vertiefen möchten!
Hochschule Ravensburg-Weingarten University
4.7K views • Mar 20, 2013
About this video
Videoaufzeichnung der Vorlesung Theoretische Informatik Nr. 4 an der Hochschule Ravensburg-Weingarten vom 18. 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:
Prädikatenlogik erster Stufe
- Wiederholung
- Quantoren und Normalformen 16:58
- Beweiskalküle 1:02:47
Das Video zusammen mit den Folien anschauen: http://www.hs-weingarten.de/~ertel/content/lecture.ws/lectures/video.html?lecture=thinf-04
Die Themen der Aufzeichnung sind:
Prädikatenlogik erster Stufe
- Wiederholung
- Quantoren und Normalformen 16:58
- Beweiskalküle 1:02:47
Das Video zusammen mit den Folien anschauen: http://www.hs-weingarten.de/~ertel/content/lecture.ws/lectures/video.html?lecture=thinf-04
Tags and Topics
Browse our collection to discover more content in these categories.
Video Information
Views
4.7K
Likes
23
Duration
01:25:21
Published
Mar 20, 2013
User Reviews
4.0
(4) Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.
Trending Now