Prof. Markus
Vorlesungen zum Studium der Informatik, auf deutsch, präsentiert von Markus Krötzsch, Professor für Wissensbasierte Systeme, TU DresdenThemen sind vor allem Grundlagen wie formale Sprachen, endliche Automaten, Grammatiken, Turingmaschinen, mathematische Logik, Komplexität, Unentscheidbarkeit ... also all die interessanten Dinge, wegen denen man Informatik studiert.
- 28:32
- 2 жыл бұрын
Rekursion, Prädikatenlogik und Datalog
- 28:37
- 3 жыл бұрын
Prädikatenlogik und Datenbanken (2)
- 43:56
- 3 жыл бұрын
Prädikatenlogik und Datenbanken (1)
- 27:35
- 3 жыл бұрын
Prädikatenlogik mit endlichen Modellen
- 39:59
- 3 жыл бұрын
Die Vollständigkeit der prädikatenlogischen Resolution
- 37:12
- 3 жыл бұрын
Herbrandmodelle
- 19:45
- 3 жыл бұрын
Korrektheit der Resolution
- 44:50
- 3 жыл бұрын
Der Resolutionsalgorithmus
- 55:55
- 3 жыл бұрын
Der Unifikationsalgorithmus
- 38:13
- 3 жыл бұрын
Substitutionen und Unifikation
- 12:55
- 3 жыл бұрын
Die Klauselform in der Prädikatenlogik
- 47:25
- 3 жыл бұрын
Existenzquantoren entfernen mit Skolemfunktionen
- 27:18
- 3 жыл бұрын
Die Pränexform
- 26:34
- 3 жыл бұрын
Die Negationsnormalform in der Prädikatenlogik
- 22:05
- 3 жыл бұрын
Prädikatenlogisches Schließen ist semi-entscheidbar
- 39:51
- 3 жыл бұрын
Prädikatenlogisches Schließen ist unentscheidbar
- 1:02:51
- 3 жыл бұрын
Logisch Schließen mit Gleichheit (Teil 2)
- 33:35
- 3 жыл бұрын
Logisch Schließen mit Gleichheit
- 23:41
- 3 жыл бұрын
Ausagenlogische Gesetze in der Prädikatenlogik
- 51:04
- 3 жыл бұрын
Logische Grundbegriffe verstehen mit ein bisschen Modelltheorie
- 42:52
- 3 жыл бұрын
Prädikatenlogik: Semantik
- 28:21
- 3 жыл бұрын
Prädikatenlogik: Syntax
- 36:40
- 3 жыл бұрын
Einführung in die Prädikatenlogik
- 32:09
- 3 жыл бұрын
Komplexitätstheorie: Ausblick (und Komplexitäten einiger Spiele)
- 31:14
- 3 жыл бұрын
PSpace-Vollständigkeit 2: Das Spiel Geography
- 52:18
- 3 жыл бұрын
Пікірлер