Logik höherer Ordnung (und Datalog)

Поділитися
Вставка
  • Опубліковано 17 гру 2024

КОМЕНТАРІ • 2

  • @csa1999
    @csa1999 Рік тому +2

    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 UA-cam 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.

  • @horstmuller7512
    @horstmuller7512 2 роки тому

    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.