Projekt: Algebra
Thema: Automatisches Beweisen
Bernardo Rossi, Johannes Pargfrieder
Die rasante Entwicklung der Informationstechnik hat dazu geführt, dass komplexe rechnergesteuerte Systeme heute nahezu überall eingesetzt werden. Diese Systeme finden Anwendung in verschiedenen Bereichen wie Haushalten, Fahrzeugen, Verkehrsmitteln, Raumfahrt und Energieerzeugung. Insbesondere in sicherheitskritischen Branchen können Fehler in der Software schwerwiegende Konsequenzen haben. Daher ist es von entscheidender Bedeutung, die fehlerfreie Funktionsweise dieser Systeme sicherzustellen, was mathematisch bewiesen werden soll.
In der Projektwoche hast du die Möglichkeit, Einblicke in das Thema automatisches Beweisen zu erhalten. Konkret werden wir Sätze aus der ebenen Geometrie mithilfe des automatischen Beweisens überprüfen. Schritt für Schritt wirst du die notwendigen Grundlagen kennenlernen, die dich schließlich in die Lage versetzen, automatisches Beweisen zu verstehen und anzuwenden. Diese Grundlagen umfassen logische Konzepte, algebraische Strukturen und die Polynomdivision in mehreren Variablen. Was diese Grundlagen mit dem automatischen Beweisen zu tun haben, wirst du in der Projektwoche erfahren.
Teilweise auf Englisch gehalten.
Einleitung zum Projekt Algebra
