[ 201MAMOFMOV18 ] VL Formales Modellieren
|
|
|
|
| (*) 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.
|
| Beurteilungskriterien |
Ausarbeitung von Projekten während des Semesters.
|
| Lehrmethoden |
Vorlesung mit anwendungsorientierten Übungen.
|
| Abhaltungssprache |
Englisch |
| Lehrinhalte wechselnd? |
Nein |
|
|
|
| Präsenzlehrveranstaltung |
| Teilungsziffer |
- |
| Zuteilungsverfahren |
Direktzuteilung |
|
