LFU:online

Absolventinnen und Absolventen dieses Moduls verstehen die Konzepte von Termersetzungssystemen als formales Berechnungsmodell, welches die Grundlage für die funktionale Programmierung darstellt. Zudem lernen sie wesentliche Eigenschaften von Termersetzungssystemen kennen, sowie Methoden, um diese Eigenschaften nachzuweisen.

Abstrakte Reduktionssysteme; Gleichungslogik; Termersetzungsysteme und ihre Eigenschaften; Terminierung; Konfluenz; Vervollständigung; Strategien

Continuous assessment based on exercise sessions. A written test is offered at the end of the course.

Course notes will be made available to registered students.

keine

Verfahren zur Vergabe der Plätze bei Lehrveranstaltungen mit Teilnahmebeschränkung (PS, SE, VU, PJ)

Bei Lehrveranstaltungen mit einer beschränkten Zahl von Teilnehmerinnen und Teilnehmern werden die Plätze wie folgt vergeben:

1. Studierende, denen aufgrund der Zurückstellung eine Verlängerung der Studienzeit erwächst, sind bevorzugt zuzulassen.

2. Reicht Z 1 zur Regelung der Zulassung zu einer Lehrveranstaltung nicht aus, so sind an erster Stelle Studierende, für die diese Lehrveranstaltung Teil eines Pflichtmoduls ist, und an zweiter Stelle Studierende, für die diese Lehrveranstaltung Teil eines Wahlmoduls ist, bevorzugt zuzulassen.

3. Reichen Z 1 und 2 zur Regelung der Zulassung zu einer Lehrveranstaltung nicht aus, so werden die vorhandenen Plätze verlost.

Curriculum BA Informatik 2019W

Curriculum MA Informatik 2021W