104.342 Logic and Foundations of Mathematics UE
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2021W, UE, 1.0h, 1.5EC
TUWEL

Properties

  • Semester hours: 1.0
  • Credits: 1.5
  • Type: UE Exercise
  • Format: Presence

Learning outcomes

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.

Subject of course

In the exercises we discuss examples (and counterexamples) that are selected according to the contents of the lecture.  Occasionally we have to complete proofs

Teaching methods

Kreuzerlübung.Students prepare problems assigned to them, and present them. 

Mode of examination

Immanent

Additional information

Die UE beginnt am 13.10.2022.  

Anmeldung via TISS bis 6.10.2022 .

 

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Thu11:00 - 12:0007.10.2021 - 27.01.2022FH Hörsaal 2 logik ue
Thu11:00 - 12:0021.10.2021 - 27.01.2022FH Hörsaal 4 Gruppe 2
Logic and Foundations of Mathematics UE - Single appointments
DayDateTimeLocationDescription
Thu07.10.202111:00 - 12:00FH Hörsaal 2 logik ue
Thu14.10.202111:00 - 12:00FH Hörsaal 2 logik ue
Thu21.10.202111:00 - 12:00FH Hörsaal 2 logik ue
Thu21.10.202111:00 - 12:00FH Hörsaal 4 Gruppe 2
Thu28.10.202111:00 - 12:00FH Hörsaal 2 logik ue
Thu28.10.202111:00 - 12:00FH Hörsaal 4 Gruppe 2
Thu04.11.202111:00 - 12:00FH Hörsaal 2 logik ue
Thu04.11.202111:00 - 12:00FH Hörsaal 4 Gruppe 2
Thu11.11.202111:00 - 12:00FH Hörsaal 2 logik ue
Thu11.11.202111:00 - 12:00FH Hörsaal 4 Gruppe 2
Thu18.11.202111:00 - 12:00FH Hörsaal 2 logik ue
Thu18.11.202111:00 - 12:00FH Hörsaal 4 Gruppe 2
Thu25.11.202111:00 - 12:00FH Hörsaal 2 logik ue
Thu25.11.202111:00 - 12:00FH Hörsaal 4 Gruppe 2
Thu02.12.202111:00 - 12:00FH Hörsaal 2 logik ue
Thu02.12.202111:00 - 12:00FH Hörsaal 4 Gruppe 2
Thu09.12.202111:00 - 12:00FH Hörsaal 2 logik ue
Thu09.12.202111:00 - 12:00FH Hörsaal 4 Gruppe 2
Thu16.12.202111:00 - 12:00FH Hörsaal 2 logik ue
Thu16.12.202111:00 - 12:00FH Hörsaal 4 Gruppe 2

Examination modalities

Preparing at least 65% of the assigned problems, and presenting some of them.

Course registration

Begin End Deregistration end
05.10.2021 13:30 07.10.2021 23:59 19.10.2021 20:00

Registration modalities

NOTICE: Registration in the group!

Group Registration

GroupRegistration FromTo
Gruppe 110.10.2021 18:0012.10.2021 11:00
Gruppe 210.10.2021 18:0012.10.2021 11:00

Curricula

Literature

No lecture notes are available.

Accompanying courses

Miscellaneous

Language

German