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.

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

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

First lecture: Thursday October 1, 11:30, lecture hall 15 (main building, Karlsplatz)

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Thu11:00 - 13:0022.10.2020 - 28.01.2021Zeichensaal 3 logik Do
Logic and Foundations of Mathematics UE - Single appointments
DayDateTimeLocationDescription
Thu22.10.202011:00 - 13:00Zeichensaal 3 logik Do
Thu29.10.202011:00 - 13:00Zeichensaal 3 logik Do
Thu05.11.202011:00 - 13:00Zeichensaal 3 logik Do
Thu07.01.202111:00 - 13:00Zeichensaal 3 logik Do
Thu14.01.202111:00 - 13:00Zeichensaal 3 logik Do
Thu21.01.202111:00 - 13:00Zeichensaal 3 logik Do
Thu28.01.202111:00 - 13:00Zeichensaal 3 logik Do

Examination modalities

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

Course registration

Begin End Deregistration end
06.10.2020 13:30 07.10.2020 23:59 09.10.2020 23:59

Registration modalities

NOTICE: Registration in the group!

Group Registration

GroupRegistration FromTo
Gruppe 105.10.2020 13:3006.10.2020 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