Prof. Markus
Audience and activity
Counts come from the YouTube Data API and are refreshed regularly; medians are computed from the channel's last 30 videos.
What Prof. Markus makes
Topics informationsystems, formal_languages, automata_theory, computability, mathematical_logic
Vorlesungen zum Studium der Informatik, auf deutsch, präsentiert von Markus Krötzsch, Professor für Wissensbasierte Systeme, TU Dresden Themen 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.
Features other people
Recent videos
| Title | Published | Views | Length |
|---|---|---|---|
| Logik höherer Ordnung (und Datalog) | 2021-07-12 | 1.2K | 23 min |
| Auswertung von Datalog | 2021-07-12 | 815 | 60 min |
| Rekursion, Prädikatenlogik und Datalog | 2021-07-12 | 647 | 29 min |
| Prädikatenlogik und Datenbanken (2) | 2021-07-09 | 397 | 29 min |
| Prädikatenlogik und Datenbanken (1) | 2021-07-09 | 593 | 44 min |
| Prädikatenlogik mit endlichen Modellen | 2021-07-09 | 1.3K | 28 min |
| Die Vollständigkeit der prädikatenlogischen Resolution | 2021-07-06 | 843 | 40 min |
| Herbrandexpansionen: Prädikatenlogik auf Aussagenlogik reduzieren | 2021-07-06 | 1.6K | 42 min |
| Herbrandmodelle | 2021-07-01 | 2.6K | 37 min |
| Korrektheit der Resolution | 2021-07-01 | 655 | 20 min |
Contact Prof. Markus
Email none found in the channel description
YouTube youtube.com/@prof.markus6569
Contacts come only from what the channel publishes — its description and linked website.
Looking for more channels like this? Search the directory by topic, size, content type and who they feature.
Find similar channels