|
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 |
|