250124 PS Proseminar zur Einführung in die Mathematische Logik (2010W)
Prüfungsimmanente Lehrveranstaltung
Labels
http://www.logic.univie.ac.at/~kellner/teaching/2010WS_PS_Einfuehrung/
This course can be given in English, if requested.
This course can be given in English, if requested.
Details
Information
Ziele, Inhalte und Methode der Lehrveranstaltung
Proseminar zur Vorlesung Einführung in die Mathematische Logik von Hans Adler
Art der Leistungskontrolle und erlaubte Hilfsmittel
Bewertet wird die laufende Mitarbeit (Anzahl der gerechneten Beispiele und Leistung beim Demonstrieren der Beispiele an der Tafel)
Mindestanforderungen und Beurteilungsmaßstab
Vermittlung von fundierten Kenntnissen der grundlegenden mathematischen Logik.
Prüfungsstoff
Zuvor aufgegebene Aufgaben werden an der Tafel vorgerechnet.
Literatur
Zuordnung im Vorlesungsverzeichnis
MLOL
Letzte Änderung: Fr 31.08.2018 08:54