Theoretische Informatik Vorlesung 3 – Aufzeichnung vom 14. März 2013 📚
Erleben Sie die dritte Vorlesung der Theoretischen Informatik an der Hochschule Ravensburg-Weingarten. Perfekt für Studierende und Interessierte, die ihr Wissen vertiefen möchten!
Hochschule Ravensburg-Weingarten University
6.8K views • Mar 19, 2013
About this video
Videoaufzeichnung der Vorlesung Theoretische Informatik Nr. 3 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
- Hornklauseln 4:05
- Berechenbarkeit und Komplexität 9:40
- Anwendungen und Grenzen 18:53
Prädikatenlogik erster Stufe 20:46
- Syntax 26:04
- Semantik 34:43
- Quantoren und Normalformen 1:10:10
Das Video zusammen mit den Folien anschauen: http://www.hs-weingarten.de/~ertel/content/lecture.ws/lectures/video.html?lecture=thinf-03
Die Themen der Aufzeichnung sind:
Aussagenlogik
- Wiederholung
- Hornklauseln 4:05
- Berechenbarkeit und Komplexität 9:40
- Anwendungen und Grenzen 18:53
Prädikatenlogik erster Stufe 20:46
- Syntax 26:04
- Semantik 34:43
- Quantoren und Normalformen 1:10:10
Das Video zusammen mit den Folien anschauen: http://www.hs-weingarten.de/~ertel/content/lecture.ws/lectures/video.html?lecture=thinf-03
Tags and Topics
Browse our collection to discover more content in these categories.
Video Information
Views
6.8K
Likes
21
Duration
01:24:36
Published
Mar 19, 2013
User Reviews
3.9
(1) Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.
No specific trending topics match this video yet.
Explore All Trends