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.
Trending Now