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.

2022S, 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

Hetzl, Stefan

Institute

E104 Institute of Discrete Mathematics and Geometry

Course dates

Day	Time	Date	Location	Description
Mon	16:00 - 16:45	07.03.2022 - 27.06.2022	Dissertantenraum, Freihaus, 8th floor, green area	exercises

Show single appointments

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

Day	Date	Time	Location	Description
Mon	07.03.2022	16:00 - 16:45	Dissertantenraum, Freihaus, 8th floor, green area	exercises
Mon	14.03.2022	16:00 - 16:45	Dissertantenraum, Freihaus, 8th floor, green area	exercises
Mon	21.03.2022	16:00 - 16:45	Dissertantenraum, Freihaus, 8th floor, green area	exercises
Mon	28.03.2022	16:00 - 16:45	Dissertantenraum, Freihaus, 8th floor, green area	exercises
Mon	04.04.2022	16:00 - 16:45	Dissertantenraum, Freihaus, 8th floor, green area	exercises
Mon	25.04.2022	16:00 - 16:45	Dissertantenraum, Freihaus, 8th floor, green area	exercises
Mon	02.05.2022	16:00 - 16:45	Dissertantenraum, Freihaus, 8th floor, green area	exercises
Mon	09.05.2022	16:00 - 16:45	Dissertantenraum, Freihaus, 8th floor, green area	exercises
Mon	16.05.2022	16:00 - 16:45	Dissertantenraum, Freihaus, 8th floor, green area	exercises
Mon	23.05.2022	16:00 - 16:45	Dissertantenraum, Freihaus, 8th floor, green area	exercises
Mon	30.05.2022	16:00 - 16:45	Dissertantenraum, Freihaus, 8th floor, green area	exercises
Mon	13.06.2022	16:00 - 16:45	Dissertantenraum, Freihaus, 8th floor, green area	exercises
Mon	20.06.2022	16:00 - 16:45	Dissertantenraum, Freihaus, 8th floor, green area	exercises
Mon	27.06.2022	16:00 - 16:45	Dissertantenraum, Freihaus, 8th floor, green area	exercises

Examination modalities

Presentation of exercises on the blackboard

Course registration

Not necessary

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