Coronavirus - Informations and Recommendations: https://colab.tuwien.ac.at/display/CORONA

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.

2020S, UE, 1.0h, 1.5EC

Properties

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

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
Fri16:00 - 17:0006.03.2020 - 26.06.2020 Dissertantenraum, Freihaus, 8th floor, green areaexercises
AKLOG: Gödel's Incompleteness Theorems - Single appointments
DayDateTimeLocationDescription
Fri06.03.202016:00 - 17:00 Dissertantenraum, Freihaus, 8th floor, green areaexercises
Fri13.03.202016:00 - 17:00 Dissertantenraum, Freihaus, 8th floor, green areaexercises
Fri20.03.202016:00 - 17:00 Dissertantenraum, Freihaus, 8th floor, green areaexercises
Fri27.03.202016:00 - 17:00 Dissertantenraum, Freihaus, 8th floor, green areaexercises
Fri03.04.202016:00 - 17:00 Dissertantenraum, Freihaus, 8th floor, green areaexercises
Fri24.04.202016:00 - 17:00 Dissertantenraum, Freihaus, 8th floor, green areaexercises
Fri08.05.202016:00 - 17:00 Dissertantenraum, Freihaus, 8th floor, green areaexercises
Fri15.05.202016:00 - 17:00 Dissertantenraum, Freihaus, 8th floor, green areaexercises
Fri29.05.202016:00 - 17:00 Dissertantenraum, Freihaus, 8th floor, green areaexercises
Fri05.06.202016:00 - 17:00 Dissertantenraum, Freihaus, 8th floor, green areaexercises
Fri12.06.202016:00 - 17:00 Dissertantenraum, Freihaus, 8th floor, green areaexercises
Fri19.06.202016:00 - 17:00 Dissertantenraum, Freihaus, 8th floor, green areaexercises
Fri26.06.202016:00 - 17:00 Dissertantenraum, Freihaus, 8th floor, green areaexercises

Examination modalities

Presentation of exercises on the blackboard

Course registration

Not necessary

Curricula

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