# 104.342 Logic and Foundations of Mathematics UE This course is in all assigned curricula part of the STEOP.\$(function(){PrimeFaces.cw("Tooltip","widget_j_id_20",{id:"j_id_20",showEffect:"fade",hideEffect:"fade",target:"isAllSteop"});});This course is in at least 1 assigned curriculum part of the STEOP.\$(function(){PrimeFaces.cw("Tooltip","widget_j_id_22",{id:"j_id_22",showEffect:"fade",hideEffect:"fade",target:"isAnySteop"});}); 2021W 2020W 2019W 2018W 2017W 2016W 2015W 2014W 2013W 2012W

2021W, UE, 1.0h, 1.5EC

## 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.

Immanent

## Additional information

Die UE beginnt am 13.10.2022.

Anmeldung via TISS bis 6.10.2022 .

## 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

## Literature

No lecture notes are available.

German