Am 30. Juli 2024 wird es aufgrund einer wichtigen Datenbankaktualisierung zwischen 8 und 11 Uhr zu Serviceunterbrechungen in den Bereichen Student-Self-Service und Personalbedarf kommen. Vielen Dank für Ihr Verständnis.

104.425 Der Epsilon Kalkuel
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2024S, VU, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung
  • Format der Abhaltung: Online

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage den Epsilon-Formulismus zu beherrschen, das erste und zweite Epsilon-Theorem zu beweisen sowie den Satz von Herbrand in seiner Problemstellung und Folgewirksamkeit zu analysieren.

Inhalt der Lehrveranstaltung

Syntax des Epsilon Kalküls, Epsilon Theoreme 1 und 2.

Methoden

Vorträge des Lehrenden und Diskussionen mit den Studierenden.

Prüfungsmodus

Mündlich

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.17:00 - 19:0005.03.2024 Besprechungsraum des Instituts, Freihaus, grüner Turm, 5. Stock, DA05C22Vorbesprechung

Leistungsnachweis

Positive Absolvierung einer mündlichen Prüfung.

LVA-Anmeldung

Nicht erforderlich

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
066 011 DDP Computational Logic (Erasmus-Mundus) Keine Angabe

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

bei Bedarf in Englisch