104.641 AKLOG Ausgewählte Kapitel der Berechenbarkeit
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2023W, VO, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VO Vorlesung
  • Format der Abhaltung: Präsenz

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage fortgeschnittene Beweise aus der Berechenbarkeitstheorie unabhängig durchzuführen und dafür verschiedene vorgetragene Theoreme anzuwenden.

Inhalt der Lehrveranstaltung

Advanced results from computability theory. Finite and infinite injury constructions, comoutability-theoretic forcing, recent comoutability-theoretic results.

Methoden

Vorlesung und selbständige Arbeit

Prüfungsmodus

Mündlich

Vortragende Personen

Institut

Leistungsnachweis

Mündliche Prüfung

LVA-Anmeldung

Nicht erforderlich

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
860 GW Gebundene Wahlfächer - Technische Mathematik Gebundenes Wahlfach

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Das ist eine LVA für fortgeschrittene Studierende. Kenntnisse der Grundlagen der Berechenbarkeitstheorie, mindestens bis zu Friedberg-Muchnik Theorem, sind vorausgesetzt.

Sprache

Englisch