In dieser Lehrveranstaltung besprechen wir das formale Modellieren von Problemen aus der Welt des Symbolischen Rechnens. Die Sprachen dieser Modellierungen sind die Algebra und die Logik. Es werden verschiedene Beispiele solcher Modellierungen vorgestellt.
Lehrinhalte
Logisches Modellieren von Problemen und Berechnungen.
Modellieren in der Kinematik und Mechanik.
Modellieren und automatisiertes Beweisen in der Geometrie und diskreten Mathematik.
