| Lehrinhalte |
Algorithmen und Datenstrukturen:
Begriff des Algorithmus, Datenstruktur, Datentyp, abstrakter Datentyp, grundlegende Datenstrukturen, Mengenrepräsentierungen, Polynomdarstellungen, Sortieralgorithmen, Graphenalgorithmen.
Computer Algebra:
Symbolische Verfahren zum konstruktiven Rechnen in algebraischen Strukturen werden behandelt; insbesonders Algorithmen zur Lösung algebraischer/polynomialer Gleichungssysteme, wie der Euklidsche
Algorithmus zur Berechnung größter gemeinsamer Teiler, Berechnung von Resultanten, sowie die Grundlagen der Theorie der Gröbnerbasen.
Algorithmische Kombinatorik:
algorithmische Methoden zur Lösung kombinatorischer Probleme
Computational Logic:
Logik als grundlegende Struktur der Informatik
|
