 |
| Detailinformationen |
| Quellcurriculum |
Bachelorstudium Technische Mathematik 2012W |
| Ziele |
Studenten der Lehrveranstaltung Logik als Arbeitssprache werden:
- mit der Sprache der Mathematik umgehen können,
- mathematische Begriffe exakt definieren können und
- elementare mathematische Beweistechniken beherrschen.
|
| Lehrinhalte |
Konkret behandelt werden:
- Syntax der Prädikatenlogik,
- explizite und implizite Definitionen,
- elementare Beweisregeln der Prädikatenlogik,
- elementare Mengenlehre,
- Induktionsbeweise und Varianten davon und
- Fallbeispiele.
|
| Beurteilungskriterien |
Übungen während des Semesters, Klausur, Prüfungsgespräch.
|
| Lehrmethoden |
Vorlesung, Übungen.
Unterrichtsmethode Flipped Classroom (Videostudium mit Präsenzphasen für Diskussion, Beispiele, etc.)
|
| Abhaltungssprache |
Deutsch |
| Literatur |
Skriptum zur Vorlesung
Präsentationsunterlagen
Videos
|
| Lehrinhalte wechselnd? |
Nein |
|
