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

TUWEL course

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

Hetzl, Stefan

Institute

E104 Institute of Discrete Mathematics and Geometry

Course dates

Day	Time	Date	Location	Description
Fri	16:00 - 17:00	06.03.2020 - 26.06.2020	Dissertantenraum, Freihaus, 8th floor, green area	exercises

Show single appointments

AKLOG: Gödel's Incompleteness Theorems - Single appointments

Day	Date	Time	Location	Description
Fri	06.03.2020	16:00 - 17:00	Dissertantenraum, Freihaus, 8th floor, green area	exercises
Fri	13.03.2020	16:00 - 17:00	Dissertantenraum, Freihaus, 8th floor, green area	exercises
Fri	20.03.2020	16:00 - 17:00	Dissertantenraum, Freihaus, 8th floor, green area	exercises
Fri	27.03.2020	16:00 - 17:00	Dissertantenraum, Freihaus, 8th floor, green area	exercises
Fri	03.04.2020	16:00 - 17:00	Dissertantenraum, Freihaus, 8th floor, green area	exercises
Fri	24.04.2020	16:00 - 17:00	Dissertantenraum, Freihaus, 8th floor, green area	exercises
Fri	08.05.2020	16:00 - 17:00	Dissertantenraum, Freihaus, 8th floor, green area	exercises
Fri	15.05.2020	16:00 - 17:00	Dissertantenraum, Freihaus, 8th floor, green area	exercises
Fri	29.05.2020	16:00 - 17:00	Dissertantenraum, Freihaus, 8th floor, green area	exercises
Fri	05.06.2020	16:00 - 17:00	Dissertantenraum, Freihaus, 8th floor, green area	exercises
Fri	12.06.2020	16:00 - 17:00	Dissertantenraum, Freihaus, 8th floor, green area	exercises
Fri	19.06.2020	16:00 - 17:00	Dissertantenraum, Freihaus, 8th floor, green area	exercises
Fri	26.06.2020	16:00 - 17:00	Dissertantenraum, Freihaus, 8th floor, green area	exercises

Examination modalities

Presentation of exercises on the blackboard

Course registration

Begin	End	Deregistration end
10.04.2020 00:00	30.06.2020 23:59

Curricula

Study Code	Obligation	Semester	Precon.	Info
860 GW Optional Courses - Technical Mathematics	Not specified

Literature

No lecture notes are available.

Go to Course Materials

Previous knowledge

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