[ TM1PGKVLOGA ] KV Logik als Arbeitssprache
|
|
|
Es ist eine neuere Version 2025W dieser LV im Curriculum Bachelorstudium Technische Mathematik 2025W vorhanden. |
|
(*) Leider ist diese Information in Deutsch nicht verfügbar. |
 |
Workload |
Ausbildungslevel |
Studienfachbereich |
VerantwortlicheR |
Semesterstunden |
Anbietende Uni |
3 ECTS |
B1 - Bachelor 1. Jahr |
Mathematik |
Wolfgang Windsteiger |
2 SSt |
Johannes Kepler Universität Linz |
|
|
 |
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 |
|
|
 |
Präsenzlehrveranstaltung |
Teilungsziffer |
- |
Zuteilungsverfahren |
Direktzuteilung |
|