(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload
Ausbildungslevel
Studienfachbereich
VerantwortlicheR
Semesterstunden
Anbietende Uni
3 ECTS
B3 - Bachelor 3. Jahr
Mathematik
Wolfgang Windsteiger
2 SSt
Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum
Bachelorstudium Technische Mathematik 2018W
Ziele
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.