# 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_21",{id:"j_id_21",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_23",{id:"j_id_23",showEffect:"fade",hideEffect:"fade",target:"isAnySteop"});}); 2023W 2022W 2021W 2020W 2019W 2018W 2017W 2016W 2015W 2014W 2013W 2012W

2022W, 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

## Course dates

DayTimeDateLocationDescription
Thu11:00 - 12:0006.10.2022 - 26.01.2023FH Hörsaal 2 logik ue
Thu11:00 - 12:0020.10.2022 - 26.01.2023FH Hörsaal 4 Gruppe 2
Logic and Foundations of Mathematics UE - Single appointments
DayDateTimeLocationDescription
Thu06.10.202211:00 - 12:00FH Hörsaal 2 logik ue
Thu13.10.202211:00 - 12:00FH Hörsaal 2 logik ue
Thu20.10.202211:00 - 12:00FH Hörsaal 2 logik ue
Thu20.10.202211:00 - 12:00FH Hörsaal 4 Gruppe 2
Thu27.10.202211:00 - 12:00FH Hörsaal 2 logik ue
Thu27.10.202211:00 - 12:00FH Hörsaal 4 Gruppe 2
Thu03.11.202211:00 - 12:00FH Hörsaal 2 logik ue
Thu03.11.202211:00 - 12:00FH Hörsaal 4 Gruppe 2
Thu10.11.202211:00 - 12:00FH Hörsaal 2 logik ue
Thu10.11.202211:00 - 12:00FH Hörsaal 4 Gruppe 2
Thu17.11.202211:00 - 12:00FH Hörsaal 2 logik ue
Thu17.11.202211:00 - 12:00FH Hörsaal 4 Gruppe 2
Thu24.11.202211:00 - 12:00FH Hörsaal 2 logik ue
Thu24.11.202211:00 - 12:00FH Hörsaal 4 Gruppe 2
Thu01.12.202211:00 - 12:00FH Hörsaal 2 logik ue
Thu01.12.202211:00 - 12:00FH Hörsaal 4 Gruppe 2
Thu15.12.202211:00 - 12:00FH Hörsaal 2 logik ue
Thu15.12.202211:00 - 12:00FH Hörsaal 4 Gruppe 2
Thu22.12.202211:00 - 12:00FH Hörsaal 2 logik ue
Thu22.12.202211: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
04.10.2022 13:30 06.10.2022 23:59 18.10.2022 20:00

### Registration modalities

NOTICE: Registration in the group!

## Group Registration

GroupRegistration FromTo
Gruppe 106.10.2022 12:0010.10.2022 11:00

## Curricula

Study CodeObligationSemesterPrecon.Info
033 201 Technical Mathematics Mandatory elective
066 394 Technical Mathematics Mandatory
860 GW Optional Courses - Technical Mathematics Not specified

## Literature

No lecture notes are available.

German