Das Ziel der Lehrveranstaltung ist es, die Studierenden mit den Konzepten und vor allem mit Techniken in der Computer Algebra und mit Symbolic Computation vertraut zu machen, insbesondere die Uebermittlung eines fundierten Verstaendnisses der non-linearen Arithmetik und rechnerischen Ansaetzen zu verwandten Problemen.
Die Studierenden werden lernen, diese Ideen in Bereichen wie SMT Solving, formale Verifikation und Programmanalysen einzusetzen.
Ideale, Gröbner Basen, polymominale Arithmetik, Semi-algebraische Setz und Zylindrische algebraische Aufloesung, Algorithmen fuer exaktes Loesen von linearen Rekursionsgleichungen und Differenzialgleichungen
Die Lehrveranstaltung besteht aus einem Vorlesungs- und einem Uebungsteil. Der Studienerfolg ergibt sich auch der Summe der Ergebnisse aus den Uebungenund einem muendlichen Test.
Ects Breakdown28 h lectures20 h lecture follow-up and further reading14 h solving exercises15 h preparation for oral exam1 h exam-----------------------------------------------78 h = ca. 3 Ects