703822 VU Ausgewählte Kapitel der Termersetzung

Sommersemester 2021 | Stand: 08.01.2021 LV auf Merkliste setzen
703822
VU Ausgewählte Kapitel der Termersetzung
VU 3
6
wöch.
2-Jahresrhythmus
Englisch

Students who have completed this course will have a thorough understanding of term rewriting. They are prepared to further develop term rewriting with independent research contributions.

The course will cover advanced and current developments in term rewriting:

  • advanced termination techniques
  • context-sensitive rewriting
  • Gröbner bases
  • ...

Beurteilung aufgrund von regelmäßigen schriftlichen und/oder mündlichen Beiträgen der Teilnehmerinnen und Teilnehmer.

Lehrveranstaltungsprüfung gemäß § 7 Satzungsteil, Studienrechtliche Bestimmungen

Wird im Rahmen der ersten Lehrveranstaltung besprochen.

Familiarity with the basics of term rewriting.

Hinweis für Studierende nach dem Bachelorstudium Informatik 2007W: Die Lehrveranstaltung Ausgewählte Kapitel der Termersetzung VU 3 kann als Wahlmodul verwendet werden. Eine Zuordnungsbestätigung ist notwendig.

siehe Termine
Gruppe 0
Datum Uhrzeit Ort
Di 02.03.2021
08.15 - 11.00 eLecture - online eLecture - online
Di 09.03.2021
08.15 - 11.00 eLecture - online eLecture - online
Di 16.03.2021
08.15 - 11.00 eLecture - online eLecture - online
Di 23.03.2021
08.15 - 11.00 eLecture - online eLecture - online
Di 13.04.2021
08.15 - 11.00 eLecture - online eLecture - online
Di 20.04.2021
08.15 - 11.00 eLecture - online eLecture - online
Di 27.04.2021
08.15 - 11.00 eLecture - online eLecture - online
Di 04.05.2021
08.15 - 11.00 eLecture - online eLecture - online
Di 11.05.2021
08.15 - 11.00 eLecture - online eLecture - online
Di 18.05.2021
08.15 - 11.00 eLecture - online eLecture - online
Di 25.05.2021
08.15 - 11.00 eLecture - online eLecture - online
Di 01.06.2021
08.15 - 11.00 eLecture - online eLecture - online
Di 08.06.2021
08.15 - 11.00 eLecture - online eLecture - online
Di 15.06.2021
08.15 - 11.00 eLecture - online eLecture - online
Di 22.06.2021
08.15 - 11.00 eLecture - online eLecture - online