RISC Courses
JKU Moodle
Lehrveranstaltung
Logik als Arbeitssprache (326.048)
Sommersemester 2011
Wolfgang Windsteiger
LV Beschreibung: Logik als Arbeitssprache
Einstiegsvoraussetzungen
Keine.Leistungsnachweis/Prüfung
Übungen während des Semesters, Abschlussklausur.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.
LV–Inhalt
- Syntax der Prädikatenlogik,
- explizite und implizite Definitionen,
- elementare Beweisregeln der Prädikatenlogik,
- elementare Mengenlehre,
- Induktion und
- Fallbeispiele.