Inhalt

[ 201MAMOFMOV18 ] VL Formales Modellieren

Versionsauswahl
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.
Beurteilungskriterien Ausarbeitung von Projekten während des Semesters.
Lehrmethoden Vorlesung mit anwendungsorientierten Übungen.
Abhaltungssprache Englisch
Lehrinhalte wechselnd? Nein
Präsenzlehrveranstaltung
Teilungsziffer -
Zuteilungsverfahren Direktzuteilung