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.\$(function(){PrimeFaces.cw("Tooltip","widget_j_id_21",{id:"j_id_21",showEffect:"fade",hideEffect:"fade",target:"isAllSteop"});});This course is in at least 1 assigned curriculum part of the STEOP.\$(function(){PrimeFaces.cw("Tooltip","widget_j_id_23",{id:"j_id_23",showEffect:"fade",hideEffect:"fade",target:"isAnySteop"});});

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

Immanent

## 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

Not necessary

## 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".

## Language

if required in English