Entwicklung eines Beweises in Minlog

Veröffentlicht am

Diese Arbeit entstand für das Seminar Rechnerischer Gehalt von Beweisen. In dieser Arbeit wird der Satz, dass injektive Abbildungen von endlichen Mengen {1,...,n} auf sich selbst surjektiv sind, in mehreren Versionen geführt. Ziel dieser Arbeit ist der Beweis der Aussage in Minlog, einem in Scheme geschriebenes Programm zur Beweisführung. Außerdem wird aus dem Beweis ein Programm extrahiert, welches das Urbild von Funktionswerten berechnen kann.

Dateien zum Download

Kontakt

Wenn du mir Feedback, Anmerkungen oder Korrekturen zukommen lassen willst, dann kannst du mir eine E-Mail an schreiben. Weitere Kontaktmöglichkeiten findest du auf meiner Kontaktseite.

Hinweise zum Artikel

Ähnliche Beiträge

  • How to compare infinite sets of natural numbers, so that proper subsets are also strictly smaller than their supersets

    Veröffentlicht am

    Are there really as many rational numbers as natural numbers? You might answer “Yes” but a better answer would be “It depends on the underlying order relation you use for comparing infinite sets”. In my opinion there really is no reason why we should consider Cantors characterization of cardinality as the only possible one and there is also a total order relation for countable sets where proper subsets are also strictly smaller than their supersets. In this article I want to present you one of them.

  • Bachelorarbeit zur ε-ungefähren Analysis

    Veröffentlicht am

    Die „ε-ungefähre Analysis“ ist eine alternative Theorie der Analysis, die ich im Rahmen der Bachelorarbeit in Mathematik entwickelt habe. Das Besondere an ihr: In dieser Theorie ist es möglich auszudrücken, wann zwei Zahlen ungefähr gleich sind. Das erweitert nicht nur das klassische Konzept, welches nur Gleichheit und Nichtgleichheit von Zahlen kennt, sondern bietet auch eine völlig neue Sichtweise auf die Analysis. Konzepte wie Grenzwert, Stetigkeit und Differenzierbarkeit können dann neu und aus meiner Sicht intuitiver formuliert werden.

    Gleichzeitig ist die Theorie nicht schwer zu verstehen und ich habe mich insbesondere darum bemüht, die Bachelorarbeit so zu schreiben, dass die dargestellte Theorie möglichst schnell und einfach verstanden werden kann. Studenten ab dem 2. Semester sollten diese Arbeit ohne große Probleme lesen können.