On July 30th, 2024, due to an important database update, there will be service interruptions in the Student Self-Service and Workforce Management areas between 8 AM and 11 AM. Thank you for your understanding.

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.

2024W, 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. 

Mode of examination

Immanent

Additional information

 

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Thu10:00 - 11:0017.10.2024 - 23.01.2025FH Hörsaal 4 UE neu
Logic and Foundations of Mathematics UE - Single appointments
DayDateTimeLocationDescription
Thu17.10.202410:00 - 11:00FH Hörsaal 4 UE neu
Thu24.10.202410:00 - 11:00FH Hörsaal 4 UE neu
Thu31.10.202410:00 - 11:00FH Hörsaal 4 UE neu
Thu07.11.202410:00 - 11:00FH Hörsaal 4 UE neu
Thu14.11.202410:00 - 11:00FH Hörsaal 4 UE neu
Thu21.11.202410:00 - 11:00FH Hörsaal 4 UE neu
Thu28.11.202410:00 - 11:00FH Hörsaal 4 UE neu
Thu05.12.202410:00 - 11:00FH Hörsaal 4 UE neu
Thu12.12.202410:00 - 11:00FH Hörsaal 4 UE neu
Thu19.12.202410:00 - 11:00FH Hörsaal 4 UE neu
Thu09.01.202510:00 - 11:00FH Hörsaal 4 UE neu
Thu16.01.202510:00 - 11:00FH Hörsaal 4 UE neu
Thu23.01.202510:00 - 11:00FH Hörsaal 4 UE neu

Examination modalities

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

Group dates

GroupDayTimeDateLocationDescription
Gruppe 1Thu10:00 - 11:0010.10.2024 - 23.01.2025Sem.R. DB gelb 10 104.342 Logic and Foundations of Mathematics UE

Course registration

Use Group Registration to register.

Group Registration

GroupRegistration FromTo
Gruppe 107.10.2024 12:0014.10.2024 11:00

Curricula

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

Literature

No lecture notes are available.

Accompanying courses

Miscellaneous

Language

German