After successful completion of the course, students are able to better understand and explain the topics of the lecture, to independently find or complete proofs, to construct examples and counterexamples, and to discover connections between Mathematical Logic and other fields of mathematics.
In the exercises we discuss examples (and counterexamples) that are selected according to the contents of the lecture. Occasionally we have to complete proofs
Kreuzerlübung.Students prepare problems assigned to them, and present them.
Die UE beginnt am 13.10.2022.
Anmeldung via TISS bis 6.10.2022 .
Preparing at least 65% of the assigned problems, and presenting some of them.
NOTICE: Registration in the group!