104.509 AKLOG: Die Gödelschen Unvollständigkeitssätze
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2024S, UE, 1.0h, 1.5EC

Merkmale

  • Semesterwochenstunden: 1.0
  • ECTS: 1.5
  • Typ: UE Übung
  • Format der Abhaltung: Präsenz

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...

Der Besuch der Übung zu einer Vorlesung dient einerseits dazu die Anwendung des Vorlesungsstoffs auf konkrete Fragestellungen zu erlernen aber andererseits wird dadurch auch das theoretische Verständnis des Vorlesungsstoffs vertieft.

Inhalt der Lehrveranstaltung

Übungsaufgaben zum Stoff der gleichnamigen Vorlesung

Methoden

Tafelpräsentation von Übungsbeispielen

Prüfungsmodus

Prüfungsimmanent

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mo.16:00 - 16:4506.03.2023 - 26.06.2023 Dissertantenraum, Freihaus, 8. Stock, grüner BereichÜbung
AKLOG: Die Gödelschen Unvollständigkeitssätze - Einzeltermine
TagDatumZeitOrtBeschreibung
Mo.06.03.202316:00 - 16:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichÜbung
Mo.13.03.202316:00 - 16:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichÜbung
Mo.20.03.202316:00 - 16:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichÜbung
Mo.27.03.202316:00 - 16:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichÜbung
Mo.03.04.202316:00 - 16:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichÜbung
Mo.10.04.202316:00 - 16:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichÜbung
Mo.17.04.202316:00 - 16:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichÜbung
Mo.24.04.202316:00 - 16:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichÜbung
Mo.01.05.202316:00 - 16:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichÜbung
Mo.08.05.202316:00 - 16:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichÜbung
Mo.15.05.202316:00 - 16:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichÜbung
Mo.22.05.202316:00 - 16:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichÜbung
Mo.29.05.202316:00 - 16:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichÜbung
Mo.05.06.202316:00 - 16:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichÜbung
Mo.12.06.202316:00 - 16:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichÜbung
Mo.19.06.202316:00 - 16:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichÜbung
Mo.26.06.202316:00 - 16:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichÜbung

Leistungsnachweis

Tafelpräsentation von Übungsbeispielen

LVA-Anmeldung

Nicht erforderlich

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
860 GW Gebundene Wahlfächer - Technische Mathematik Keine Angabe

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Grundkenntnisse in der mathematischen Logik wie sie z.B. in der VO+UE "Logik und Grundlagen der Mathematik" vermittelt werden.

Vorausgehende Lehrveranstaltungen

Begleitende Lehrveranstaltungen

Sprache

bei Bedarf in Englisch