Algebraische Rechenmodelle
Studiengänge
Informatik Master
Informations- und Medientechnik Master
Wirtschaftsmathematik Bachelor 5. Semester
Modul 12458 Algebraische Rechenmodelle
Lehrinhalt:
Übungen zu den in der Vorlesung behandelten Themen, u. a.
- Algebraische Schaltkreise, das Berechnungsmodell von Blum-Shub-Smale- Reelle Komplexitätsklassen: P, NP- NP- Vollständigkeit über den reellen Zahlen- Nullstellenexistenz univariater Polynome: Satz von Sturm, Regel von Descartes- Systeme von Polynomgleichungen: Lösbarkeit über den reellen und den komplexen Zahlen- Sätze von Tarski, Lojasiewicz; zylindrische Dekomposition semi-algebraischer Mengen- Untere Schranken- Gröbnerbasen, Algorithmus von Buchberger- Diskrete Fouriertransformation
Lehrstuhl Theoretische Informatik
Institut für Informatik