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.

2019W, UE, 1.0h, 1.5EC
TUWEL

Properties

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

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

Administrative meeting during the lecture on Thursday Oct 3. First exercise:  Oct 8, 2019

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Thu11:00 - 11:5503.10.2019 - 30.01.2020Hörsaal 15 UE Do
Tue10:00 - 11:0008.10.2019 - 10.12.2019Sem.R. DA grün 05 Logik UE
Logic and Foundations of Mathematics UE - Single appointments
DayDateTimeLocationDescription
Thu03.10.201911:00 - 11:55Hörsaal 15 UE Do
Tue08.10.201910:00 - 11:00Sem.R. DA grün 05 Logik UE
Thu10.10.201911:00 - 11:55Hörsaal 15 UE Do
Tue15.10.201910:00 - 11:00Sem.R. DA grün 05 Logik UE
Thu17.10.201911:00 - 11:55Hörsaal 15 UE Do
Tue22.10.201910:00 - 11:00Sem.R. DA grün 05 Logik UE
Thu24.10.201911:00 - 11:55Hörsaal 15 UE Do
Tue29.10.201910:00 - 11:00Sem.R. DA grün 05 Logik UE
Thu31.10.201911:00 - 11:55Hörsaal 15 UE Do
Tue05.11.201910:00 - 11:00Sem.R. DA grün 05 Logik UE
Thu07.11.201911:00 - 11:55Hörsaal 15 UE Do
Tue12.11.201910:00 - 11:00Sem.R. DA grün 05 Logik UE
Thu14.11.201911:00 - 11:55Hörsaal 15 UE Do
Tue19.11.201910:00 - 11:00Sem.R. DA grün 05 Logik UE
Thu21.11.201911:00 - 11:55Hörsaal 15 UE Do
Tue26.11.201910:00 - 11:00Sem.R. DA grün 05 Logik UE
Thu28.11.201911:00 - 11:55Hörsaal 15 UE Do
Tue03.12.201910:00 - 11:00Sem.R. DA grün 05 Logik UE
Thu05.12.201911:00 - 11:55Hörsaal 15 UE Do
Tue10.12.201910:00 - 11:00Sem.R. DA grün 05 Logik UE

Examination modalities

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

Course registration

Begin End Deregistration end
01.10.2019 13:30 02.10.2019 23:59 04.10.2019 23:59

Registration modalities

NOTICE: Registration in the group!

Group Registration

GroupRegistration FromTo
Gruppe 101.10.2019 13:3004.10.2019 23:59

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.

Accompanying courses

Miscellaneous

Language

German