Arbeitsgruppe
Grundlagen der Informatik
Prof. Dr. K. Madlener
|
Proseminar/Seminar Computeralgebra und Spezifikationstechniken WS 2000/2001
|
Inhalt
- Semester: WS 2000/2001
- Dozent: Prof. Dr. K. Madlener
- Betreuer: Robert Eschbach, Christoph Kögl
- Computeralgebra:
- Algorithmen der Arithmetik und der linearen Algebra
- Algorithmen für Permutationsgruppen
- Schnelle Fourier-Transformation (FFT)
- Effiziente Faktorisierung von Polynomen über Z
- Spezifikationstechniken:
- Semantik von Programmiersprachen
- Verfeinerungsrelationen
- Verteilte Berechnungsmodelle
- Verifikationsmethoden
Vortragsthemen werden in der Vorbesprechung verteilt.
Literatur
- Wird in der Vorbesprechung bekannt gegeben.
