Minlog-Kurs 17 - Terme als Haskell-Programm скачать в хорошем качестве

Minlog-Kurs 17 - Terme als Haskell-Programm

Mit diesem 17. und letzten Video des Minlog-Kurses wird die Reihe abgeschlossen. Im ersten Teil des Videos stellen wir weiterführende Literatur vor, insbesondere das Minlog-Tutorial und das Minlog-Handbuch, um Ihnen vertiefte Einblicke und zusätzliche Ressourcen an die Hand zu geben. Im zweiten Teil demonstrieren wir anhand eines Beweises des Lemmas von Bézout und des daraus extrahierten Terms, wie mit Minlog eine Haskell-Datei generiert und verwendet werden kann. Inhaltsübersicht: 00:00 Vorbemerkungen 01:03 Minlog-Tutorial als PDF 02:53 Das Minlog-Handbuch 05:44 Übungsaufgaben für Minlog 06:22 Datei zum größen gemeinsamen Teiler 07:55 Identität von Bézout 09:46 Der extrahierte Term der Identität von Bézout 11:26 Kommando "ppc" 12:20 Anwendung des extrahierten Terms 16:30 Terme als Haskell-Programm mit "term-to-haskell-program" 18:00 Betrachten der Haskell-Datei 18:53 Anwendung des Term in Haskell 20:46 Danksagungen und Abschluss Quellen: Die Minlog-Webseite: https://www.mathematik.uni-muenchen.d... Dort werden weitere Quellen zur Anwendung von Minlog genannt. Meine Masterarbeit mit einer Einführung zu Minlog und der Theorie der Berechenbaren Funktionale: 'Konstruktive Analysis mit extrakten reellen Zahlen', (2017), https://franziskuswiesnet.github.io/p... Eine aktuelle Darstellung der zugrunde liegenden Theorie befindet sich im Vorlesungsskript von Prof. Helmut Schwichtenberg zu seiner Vorlesung "Logik II" im SS2024 an der LMU: https://www.mathematik.uni-muenchen.d... Auf der Webseite der Vorlesung "Logik II" befinden sich auch Übungsaufgaben zu Minlog: https://www.mathematik.uni-muenchen.d... Analysis mit Minlog wird im Seminar "Konstruktive Analysis" von Prof. Schwichtenberg an der LMU behandelt: https://www.mathematik.uni-muenchen.d... Weiterführende Literatur: Schwichtenberg, H. & Wainer, S. S. (2012). Proofs and Computation. Cambridge University Press & Association for Symbolic Logic. Herzlichen Dank an den FWF (https://www.fwf.ac.at/) für die Unterstützung meines Forschungsprojekts 10.55776/ESP576, in dessen Rahmen dieses Video entstanden ist.