Inhalt

[ 201MASEFMOU18 ] PS 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 Diese Lehrveranstaltung ist begleitend zur gleichnamigen Vorlesung. Exemplarische Problemstellungen aus der Vorlesung müssen selbständig modelliert werden, und die Resultate werden in Form kurzer wissenschaftlicher Arbeiten schriftlich und mündlich präsentiert.
Lehrinhalte
  • Logisches Modellieren von Problemen und Berechnungen.
  • Modellieren in der Kinematik und Mechanik.
  • Modellieren und automatisiertes Beweisen in der Geometrie und diskreten Mathematik.
  • Erstellen von schriftlichen wissenschaftlichen Arbeiten.
  • Mündliche wissenschaftliche Präsentationen.
Beurteilungskriterien Schriftliche Arbeit und mündliche Präsentation.
Lehrmethoden Erarbeitung eigener Modelle und deren Präsentation.
Abhaltungssprache Englisch
Lehrinhalte wechselnd? Nein
Präsenzlehrveranstaltung
Teilungsziffer 15
Zuteilungsverfahren Direktzuteilung