Minlog; Beweisassistent; Theorie der berechenbaren Funktionale
de
Abstract:
Diese Playlist bietet eine umfassende Einführung in den Beweisassistenten Minlog, eine Software zur Unterstützung formaler Beweise (https://www.mathematik.uni-muenchen.de/~logik/minlog/).
Der Kurs ist praxisorientiert gestaltet und richtet sich an alle Interessierten mit grundlegenden Kenntnissen über mathematische Beweise, die mehr über mathematisches Beweisen und Logik erfahren möchten. Für ein tieferes Verständnis der theoretischen Grundlagen empfiehlt sich das Studium der Theorie der berechenbaren Funktionale, wie sie etwa im Buch "Proofs and Computations" von Helmut Schwichtenberg und Stanley S. Wainer behandelt wird (https://doi.org/10.1017/CBO9781139031905).
Die Videos stammen aus dem Jahr 2024, während Minlog kontinuierlich vom Logik-Team um Prof. Helmut Schwichtenberg an der Ludwig-Maximilians-Universität München weiterentwickelt wird. Einzelne Inhalte könnten daher inzwischen veraltet sein. Auf diesem Kanal werden jedoch regelmäßig Updates zu Minlog veröffentlicht, sodass dieser Kurs weiterhin eine solide Grundlage bietet.
