104.509 AKLOG: Gödel's Incompleteness Theorems
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

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

The purpose of participating in the exercises that accompany a lecture is, on the one hand, that the students learn how to apply the lecture's content to concrete questions and, on the other hand, to deepen the theoretical understanding of the lecture's subject matter by doing so.

Subject of course

Exercises on the topic of the lecture of the same name

Teaching methods

Presentation of exercises on the blackboard

Mode of examination

Immanent

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Mon16:00 - 17:0018.03.2024 - 24.06.2024 Dissertantenraum, Freihaus, grüner Bereich, 8. StockÜbung
AKLOG: Gödel's Incompleteness Theorems - Single appointments
DayDateTimeLocationDescription
Mon18.03.202416:00 - 17:00 Dissertantenraum, Freihaus, grüner Bereich, 8. StockÜbung
Mon08.04.202416:00 - 17:00 Dissertantenraum, Freihaus, grüner Bereich, 8. StockÜbung
Mon15.04.202416:00 - 17:00 Dissertantenraum, Freihaus, grüner Bereich, 8. StockÜbung
Mon22.04.202416:00 - 17:00 Dissertantenraum, Freihaus, grüner Bereich, 8. StockÜbung
Mon29.04.202416:00 - 17:00 Dissertantenraum, Freihaus, grüner Bereich, 8. StockÜbung
Mon06.05.202416:00 - 17:00 Dissertantenraum, Freihaus, grüner Bereich, 8. StockÜbung
Mon13.05.202416:00 - 17:00 Dissertantenraum, Freihaus, grüner Bereich, 8. StockÜbung
Mon27.05.202416:00 - 17:00 Dissertantenraum, Freihaus, grüner Bereich, 8. StockÜbung
Mon03.06.202416:00 - 17:00 Dissertantenraum, Freihaus, grüner Bereich, 8. StockÜbung
Mon10.06.202416:00 - 17:00 Dissertantenraum, Freihaus, grüner Bereich, 8. StockÜbung
Mon17.06.202416:00 - 17:00 Dissertantenraum, Freihaus, grüner Bereich, 8. StockÜbung
Mon24.06.202416:00 - 17:00 Dissertantenraum, Freihaus, grüner Bereich, 8. StockÜbung

Examination modalities

Presentation of exercises on the blackboard

Course registration

Not necessary

Curricula

Study CodeObligationSemesterPrecon.Info
860 GW Optional Courses - Technical Mathematics Not specified

Literature

No lecture notes are available.

Previous knowledge

Basic knowledge in mathematical logic as taught, e.g., in the courses VO + UE "Logic and Foundations of Mathematics".

Preceding courses

Accompanying courses

Language

if required in English