250130 VO Grundbegriffe der Mathematischen Logik (2010S)
Labels
Details
Sprache: Deutsch
Prüfungstermine
Lehrende
Termine
Zur Zeit sind keine Termine bekannt.
Information
Ziele, Inhalte und Methode der Lehrveranstaltung
Berechenbarkeit, Prädikatenlogik, Vollständigtkeitssatz, Mengenlehre
Art der Leistungskontrolle und erlaubte Hilfsmittel
schriftliche Prüfung (hauptsächlich multiple choice)
Mindestanforderungen und Beurteilungsmaßstab
Erwerb von Grundkenntnissen aus mathematischer Logik.
Prüfungsstoff
Methoden: Vorlesung
Literatur
Zuordnung im Vorlesungsverzeichnis
MLO
Letzte Änderung: Mi 19.08.2020 08:05