703608 VU Term Rewriting

Sommersemester 2024 | Stand: 23.01.2024 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Univ.-Prof. Dr. Aart Middeldorp Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
703608
VU Term Rewriting
VU 2
5
Block
keine Angabe
Englisch

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.

Bezug zu Aurora Pilot Domains/Hubs und Interdisziplinarität. Funktionale Programmierung wird in Sprachen wie JavaScript und F# verwendet. Diese sind von fundamentalem Interesse für eine digitale Gesellschaft, weil sie insbesondere zum Betrieb von Internet-Browsern genutzt werden, Stichwort WebAssembly. Dieser Kurs hat starken Bezug zur Mathematik, z.B. sind gewisse Fragestellungen in der Termersetzung eine Verallgemeinerte Version des Gleichungslösens. Des Weiteren ist Buchberger's Algorithmus aus der modernen Computer-Algebra verwandt mit dem Vervollständigungs Algorithmus in der Termersetzung.

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

Kombination aus Vorlesungen und Übungen

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

The course is part of ISR 2024, the 14th International School on Rewriting, which is held from August 25 until September 1 at the Obergurgl University Center.

The course is also an Aurora Alliance (https://www.uibk.ac.at/en//international/aurora/) event.

Students of all Aurora universities (incl. Master students of the University of Innsbruck) are invited to apply for participation in this course from January 08 till January 21 at the following link (after this date, registration via the online course catalogue is possible for Innsbruck students): https://www.uibk.ac.at/en/international/aurora/aurora-course-offerings/universitat-innsbruck/

http://cl-informatik.uibk.ac.at/isr24/
siehe Termine
August 26 -- 31, Obergurgl http://cl-informatik.uibk.ac.at/isr24/