108.037 Theoretische Informatik, Übung
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2020S, UE, 1.0h, 2.0EC
Diese Lehrveranstaltung wird nach dem neuen Modus evaluiert. Mehr erfahren

LVA-Bewertung

Merkmale

  • Semesterwochenstunden: 1.0
  • ECTS: 2.0
  • Typ: UE Übung

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage mit logischen Kalkülen dem Resolutionssystem und anderen Formen des automatischen Beweisens, regulären und kontextfreien Sprachen, endlichen Automaten und Turingmaschinen sowie Aspekten der Komplexitätstheorie umzugehen.

Inhalt der Lehrveranstaltung

Übungsaufgaben zum Stoff der gleichnamigen Vorlesung

Methoden

Übungsaufgaben zum Stoff der gleichnamigen Vorlesung

 

Prüfungsmodus

Prüfungsimmanent

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mi.17:00 - 18:0004.03.2020 Besprechungsraum des Instituts für Diskrete Mathematik und Geometrie, Freihaus, grüner Bereich, 5. Stock, DA05 C22Vorbesprechung
Mi.10:00 - 18:0030.09.2020 Besprechungsraum des Instituts für Diskrete Mathematik und Geometrie, Freihaus, grüner Bereich, 5. Stock, DA05 C22Auffrischungstermin

Leistungsnachweis

Lösungen der Übungsaufgaben werden präsentiert.

LVA-Anmeldung

Nicht erforderlich

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Begleitende Lehrveranstaltungen

Weitere Informationen

  • Anwesenheitspflicht!

Sprache

bei Bedarf in Englisch