184.775 Einführung in die Computer Algebra Abgesagt
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2018S, VU, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

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.

Inhalt der Lehrveranstaltung

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.

Weitere Informationen

Ects Breakdown

28  h lectures
20  h lecture follow-up and further reading
14  h solving exercises
15  h preparation for oral exam
1 h exam
-----------------------------------------------
78 h = ca. 3 Ects

Vortragende Personen

Institut

LVA-Anmeldung

Von Bis Abmeldung bis
19.02.2018 14:00 27.04.2018 22:00 03.05.2018 23:00

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Englisch