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.
de
dc.description.sponsorship
FWF - Österr. Wissenschaftsfonds
-
dc.language.iso
de
-
dc.relation.ispartofseries
Minlog-Kurs 2024
-
dc.subject
Minlog
de
dc.subject
Beweisassistent
de
dc.subject
Theorie der berechenbaren Funktionale
de
dc.title
Minlog-Kurs 2024
de
dc.type
Multimedia and Design
en
dc.type
Multimedia und Design
de
dc.relation.grantno
ESP 576-N
-
dc.type.category
Video
-
tuw.project.title
Materielle Interpretation
-
tuw.publication.orgunit
E104-02 - Forschungsbereich Computational Logic
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
50
-
wb.sciencebranch.value
50
-
dc.description.extent
17 Videos meistens zwischen 10 und 20 Minuten
-
item.languageiso639-1
de
-
item.openairetype
video
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Products
-
item.openairecristype
http://purl.org/coar/resource_type/c_12ce
-
crisitem.author.dept
E104-02 - Forschungsbereich Computational Logic
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
