Guten Tag Herr Krötzsch, ich mag Ihren Präsemtationsstil sehr. Es ist immer alles notwendige dabei (man muss nicht extra mitdenken, bei diesen nicht-perfekt-zugänglichen Themen). Haben Sie in Ihren Videos zufällig auch ein/zwei Worte über das Gap-Theorem verloren? Wenn ja wo? Beste Grüße 🙏

Warum genau 2^Q? Warum nicht 3^Q oder 4^Q.

Was ist bei 3:50 mit "Siehe Vorlesung 2" gemeint? Im zweiten Video der "Automaten und Sprachen" Playlist kommt das gar nicht vor.

Ihre Videos sind toll! Obwohl ich nicht an der TU Dresden studiere, setze ich mich mit dieser Vorlesung auseinander. Ich wünschte, die Lehre an meiner Universität wäre so gut wie die Ihre...

Dankeschön, sehr hilfreich

super erklärt. vielen Dank. hat mir bei der Klausurvorbereitung enorm geholfen

Können Sie Ratschläge dazu geben, wie man bei Reduktionsbeweisen vorgeht zuerst?

bitte machen sie eine einfache pruefung

Ich küsse dein kopf

Sie sind zwar nicht mein Professor, aber ich verstehe durch Sie die Sachen sehr gut und besser als durch meinen Professor. Dennoch würde ich Sie gerne fragen, ob solche Beweise auch in Klausuren geführt werden müssen?

In Ebbinghaus (Einführung in die math. Logik, 6. Aufl., S. 34) lese ich folgende Definition: Φ ⊨ ϕ :gdw. jede Interpretation, die Modell von Φ ist, ist auch Modell von ϕ. Das kann man doch umformen: Φ ⊨ ϕ :gdw. jedes Modell von Φ ist auch Modell von ϕ. Richtig? Dann muss aber auch gelten, dass ⊨ ϕ :gdw. jedes Modell ist auch Modell von ϕ. Richtig?

Danke für diese gesamte Videoreihe!!

danke wie immer für deine tolle erklärungen prof. markus ! Du hilfst mir immer wieder! :)

Vielen Dank für das Video!

Thumb up fuer die ganze Playlist und Prof Markus!!! Thumb down fuer das Kommentar fuer Horst Muller. Ich fuer meinen Teil bin "Hobby Mathematiker" und schaue mir die Videos freiwillig an. Ich schätze es sehr, dass ich vor meinem smartTV auf der Coach sitzen kann, mit meinem Kaffee in der Hand und die Videos zurück spielen kann, falls ich etwas nicht verstehe. Und das ganze noch gratis, ohne nach Dresden fahren zu muessen, oder Studiengebuehren zahlen zu muessen. (auch gleich gut fuers Klima) Herrn Muller kann ich nur empfehlen sich doch andere Sachen anzuschauen, wenn er an Logik nicht interessiert ist. Und einfach nicht darüber nachzudenken, dass alle Katzen Videos auf KZbin nur moeglich sind weil es Leute gibt, die schon vor hundert(en) Jahren rein zum Spass über solche Ding nachgedacht haben, wo das Ganze wirklich noch 100% theoretisch war. Herrn Kroetsch, kann ich nur bitten vielleicht auch die anderen Vorlesungen hochzuladen. Ich zumindest wuerde es sehr zu schätzen wissen.

Sie sind ein Ehrenmann

126 + 12 + 7 + 5 +1 = 151 Bei einer Befragung von 152 Experten? Bin jetzt gerade mit der Playlist fertig geworden. War super interessant! Danke

Vielen Dank! Sehr hilfreich.

Es macht wirklich einfach Spaß ihnen Zuzuschauen, vielen Dank!

Ihr Video hat sogar Brasilien erreicht! Vielen Dank für dieses wunderbare Inhalt!

17:00 - Lösungsvorschlag: Bei Kontextsensitiven Sprachen ist die Ableitung oft von den Sachen, die schon abgeleitet wurden abhängig. Bei einer Linksableitung könnte man zuerst zu einer bestimmten Produktionsregel gelangen, die eventuell bei einer Rechtsableitung erst später käme und dabei eventuell eine verschieden Produktionsregel triggert.

Habe riesiges Lerngefühl bei diesen Videos! Man versteht was passiert und man kann es danach auch selbst erklären. Wünschte alle Unis hätten ein*e Prof so wie Sie.

Vielen Dank für die ausführliche Erklärung! Auf KZbin findet man so viele Videos über dieses Thema aber keins ist so methodisch und aufklärend wie Ihres.

Vielen Dank für dieses Video. Habe endlich gut verstehen können was die Klasse NP ist und auch woher die Frage NP=CO-NP kommt. Werde es jetzt auf jeden Fall richtig in meiner Klausur antworten können. Tolle Videos!

Sehr gutes Video danke fürs erklären!

<3

Sie sind der absolute Wahnsinn, dankeschön :D

Super Video

Wirklich gut erklärendes video, und auch sehr toll, dass es den kram über git gibt. In Kiel macht man momentan parallel Prolog, und die Technik am Ende um Funktionen über Prädikate zu implementieren hat in meinem Gehirn eine tolle Brücke dazu geschaffen. Danke :)

Vielen Dank für dieses großartige Video, es hat mir wirklich sehr geholfen!

Dank Ihnen schaffe ich die Prüfung an meiner Uni. Vielen Dank!

Hallo Herr Prof. Markus, Ich habe eine Bitte könnten sie das Vorgehen erklären wie man von einer KF-Sprache z.b. a*n x b*n *c*n+m zu einem Kellerautomaten kommt? Vielen Dank.

Ihr Kanal ist goldwert!

Sehr gutes Video :)

Bzgl. Zeitmaschine: Die Paradoxie entsteht nur, wenn man annimmt, dass es nur eine Zeitlinie gibt. Nimmt man aber an, dass es mehrere Zeitlinien parallel gibt, kommt es nie zu einem Paradox. Darüber hinaus existiert die Zeit nur in unserer Realität. Interessant wird es, wenn man annimmt, dass alles was geschehen ist, gerade geschieht oder noch geschehen wird, zur selben Zeit (jetzt) geschieht, nur eben verschoben. Vergleichbar mit einer Papierrolle, bei der die aufgewickelte Papierbahn die Zeit darstellt und alles was geschieht gleichzeitig entlang des Radius geschieht.

Ich finde, didaktisch sehr gut erklärt. Von mir ein Daumen rauf. 👍

Hallo, bin ich im Fach "Theoretische Informatik" stecken geblieben. Ich bräuchte Hilfe bei DEAs/NEAs/Kellerautomaten und Turingmaschinen d.h. jemand, der Coach ist oder Nachhilfe im Bereich gibt? (Die Theorie habe ich viele Male durchgearbeitet, brauche aber Übungen und jemanden zur Seite, um zu sehen was ich falsche mache). An wen könnte ich mich da am besten wenden?

Gelingt es dir denn wenigstens schon, Logiken niederer Ordnung in der Praxis anzuwenden? Wie schaut es aus beim Rasenmähen (kriegst du da die Kurve?) oder noch simpler: schaffst du es alleine, dir die Schnürsenkel_InInnen zu binden? Jedenfalls scheinen die meisten Kenner von Logiken "höherer Ordnung" in Dummbatzhausen-Süd angesiedelt zu sein, die regelmäßig schon nach wenigen Metern Entfernung nicht den Weg zurück zum eigenen Heim finden.

ProgrammiererInInnen? Seufz, waren das noch Zeiten, als es nur Studenten und Studerpel gab, die dann bestens konditioniert von den Unitäten in die Freiheit entlassen wurden, um ohne jedes praktische Wissen ihren Job von der Pike auf zu erlernen (wenn sie nicht schon nach kurzer Zeit wegen erwiesener Dummheit gefeuert wurden). Übrigens scheint eine deiner WasserhähnInInnen zu tropfen - oder was sind das für Hintergrundgeräusche?

Gutes Video! Sollte es (hoffentlich nicht) Thema in meiner morgigen Prüfung sein, hab ich zumindest wenigstens kein kein-Plan. 😅

Hallo Herr Krötzsch, vielen Dank für Ihre Videos, die haben mich echt durch die Klausur gerettet!

es ist keineswegs langweilig. Sie haben die besten videos über manche Themen aus Logik auf deutsch. Wenn jemand was besseres findet, linkt es mir in die Kommentare)))

In der Beschreibung heißt es: "Die Antwort wird lauten: zur Turingmaschine.". Aber die wird in dem Video gar nicht erwähnt :p

Ab 29:00: Warum liegt v |uw| mal vor und wie wird daraus im nächsten Schritt a^(|v|+1)|uw|, insbesondere wo kommt das +1 her?

Ich bedanke mich für die ausführliche deutliche Erklärung.

Ah yes KZbin, let's watch this logic programming (I guess?) video in German, nice recommendation for a non-German speaker

Why is this in my reccommended?

Vielen Dank für die guten Erklärungen.

Danke sehr! Das Video hat mir sehr geholfen :)

Danke ! Tolles Video