Vorlesung Computer-Algebra im WS 2014/15

English website

Hörerkreis:
Masterstudiengänge Informatik und IT-Sicherheit im Übergangblock für Studierende, die im Bachelor nur 180 ECTS-Punkte erworben haben (6 Semester)

Arbeitsaufwand: 4 ECTS-Punkte

Vorlesungstermin: Do 17:00 Uhr - 18:30 Uhr, HS 1, danach Übungsstunde in RZ 5
letzter Termin: Do, 22.01.2015, 11:00- 12:15 Uhr, SR 11 (als abschließende Übung)

ACHTUNG: Diese Vorlesung findet in diesem Semester letztmalig statt. Studierende, die zukünftig noch Punkte für den Übergangsblock brauchen, müssen sich bei anderen Veranstaltungen bedienen. Hierfür gibt es ein großzüges Angebot aus den 7-semestrigen Bachelorstudiengängen. Aber viele hier gelehrte Inhalte entfallen zukünftig ersatzlos. Es ist also die letzte Gelegenheit, sich mit dem Thema der Computer-Algebra an der FH Wedel vertraut zu machen.

Vorlesungsinhalte

Computer-Algebra beschäftigt sich mit symbolischem Rechnen. So werden z.B. Funktionen exakt differenziert und integriert, ihre Nullstellen exakt berechnet. Polynome werden in ihre irreduziblen Faktoren zerlegt. Es kann mit beliebig großen Zahlen exakt gerechnet werden.

Computer-Algebra-Systeme sind ferner in der Lage, die symbolisch ausgerechneten Werte in Koordinatensystemen grafisch darzustellen und so z.B. komplette Kurvendiskussionen vorzunehmen, wie Sie es in der Schule noch per Hand durchführen mussten.

Durch die exakte Weiterverarbeitung von Termen können auch Vereinfachungen erkannt werden (Kürzen, Zusammenfassen, Faktorisierungen) und so Ungenauigkeiten vermieden werden, wie sie durch das zu frühe Einsetzen von approximierten Zahlenwerten entstehen würden.

In diesem Sinne liefert die Computer-Algebra eine exakte Alternative zur numerischen Datenverarbeitung. Während die Numerik auf analytischen Konvergenzuntersuchungen von Folgen und Reihen beruht, basiert die Computer-Algebra mehr auf den Methoden der Diskreten Mathematik und Algorithmik.

In dieser Vorlesung wird der inhaltliche Schwerpunkt auf das exakte Rechnen mit Zahlen und Polynomen, auch in endlichen Körpern, gelegt. Wir werden auch Anwendungen in der Kryptographie diskutieren. Dafür spielt vor allem auch die Faktorisierung von Zahlen und Polynomen eine große Rolle, mit der wir uns eingehend beschäftigen werden. Über das in der Linearen Algebra vermittelte Lösen von linearen Gleichungssystemen hinaus beschäftigen wir uns auch mit dem Lösen von polynomialen Gleichungssystemen.

Neben einer theoretischen Behandlung wird auch Einblick in die Praxis gegeben, indem wir die Verfahren in Computer-Algebra-Systemen ausprobieren. Wir werden in der Vorlesung selbst nur das open-source-System Maxima behandeln, aber es ist auch möglich, mit dem kommerziellen System Mupad zu arbeiten. Mupad ist in die ursprünglich rein numerische Mathematiksoftware Matlab eingebettet und im RZ3 vorhanden. Die wichtigsten im Internet erhältlichen Tutorials für diese beiden Werkzeuge sowie eine Installationsroutine von Maxima stehen auch auf dem Handout-Server (nur für Hochschulangehörige zugänglich).

Vorlesungsunterlagen

Der Leitfaden wird das Buch von Köpf sein, das wir im Wesentlichen in der angegebenen Reihenfolge durcharbeiten werden. Einige der angesprochenen Themen sind bereits aus dem Bachelorstudium bekannt (Diskrete Mathematik) und werden daher nur kurz wiederholt. Andere Themen bedürfen einer ausführlicheren Behandlung. Hierfür werden wir auch Anleihen in den Büchern von Kaplan und von zur Gathen / Gerhard machen. Die Themen ab Kap. 9 in Köpf werden aus Zeitgründen nicht mehr behandelt. Sie beschäftigen sich hauptsächlich mit symbolischer Lösung von Aufgaben aus der Analysis.

Ein großer Teil des zu behandelnden Inhalts wird durch die Vorträge und Ausarbeitungen des Seminars zur Computeralgebra aus dem WS 2007/2008 abgedeckt. Ich werde die Vorträge, wenn sie geeignet sind, in der Vorlesung vorstellen und durch eigene Ausführungen an der Tafel ergänzen. Einige Unterlagen werden noch modifiziert und ergänzt werden.

Es wird in keinem Fall von mir komplett ausgearbeitete Foliensätze geben, sondern nur eine Übersicht über die zu behandelnden Themen (analog zu den ersten Folien meiner Vorlesung Diskrete Mathematik) sowie die verwendeten Materialien. Details werden in der Regel an der Tafel vorgestellt.

Im Folgenden wird die Gliederung der Vorlesung gegeben sowie die dazugehörigen Übersichtsfolien. Die angegebenen Inhalte werden unter Umständen noch zeitnah (kurz vor oder nach der Vorlesung) verändert.

Für den praktischen Teil werden an jedem Tag Übungsaufgaben gestellt. Diese werden im Übungsteil der Lehrveranstaltung im Rechenzentrum besprochen und dann bearbeitet. Es wird erwartet, dass diese Hausaufgaben nach Ende der offiziellen Übungszeit in Eigenarbeit beendet werden. Die Ergebnisse werden in einem SVN-Repository eingecheckt (Einteilung am ersten Vorlesungstag) und von mir durchgesehen. In der nächsten Übung werden dann die wichtigsten Schwierigkeiten noch einmal besprochen. Die Aufgaben, eventuelle Demolösungen sowie vertiefende Artikel werden auf den Handout-Server (nur für Studierende der FH Wedel zugänglich) unter Vorlesungsmaterial gestellt.

Das Folienmaterial ist größtenteils auf Englisch, weil die Vorlesung in einem früheren Semester auf Englisch gehalten wurde. In diesem Jahr wird die Vorlesung aber auf Deutsch gehalten.

1) Einführung in das Computer-Algebra-System Maxima (16.10.)

2) Ganzzahlarithmetik 
    2.1) Zahlendarstellung, Vergleiche, Addition, Multipikation (23.10.) (geändert am 23.10.)
    2.2) Division, Rationale Arithmetik (30.10.)

3) Modulare Arithmetik
    3.1) Berechnung modularer Funktionen (06.11.) (geändert am 06.11.)
    3.2) Anwendungen in der Kryptographie (13.11.)
    3.3) Primzahltest mit Hilfe modularer Arithmetik (13.11.)

4) Polynomarithmetik
    4.1) Addition und Multiplikation (20. + 27.11.)
    4.2) Division und Rationale Funktionen (entfällt)

5) Polynomiale Gleichungssysteme
    5.1) Algebraische Grundlagen (11.12.)
    5.2) Lösung über Resultanten (18.12.)

6) Faktorisierung von Polynomen 
    6.1) Einfache Faktorisierung (08.01.)
    6.2) Faktorisierung in Zp[x] und GF(q)[x] (15.01.)
    6.3) Faktorisierung in Q[x] über den Umweg Zp[x] (15.01.)

Zusammenfassung der Vorlesung und Prüfungsabgrenzung (22.01.)

Literatur

Joachim von zur Gathen / Jürgen Gerhard: Modern Computer Algebra, Cambridge University Press 2003 (2nd ed.), ISBN 0-521-82646-2

Keith O. Geddes/ Stephen R. Czapor / George Labahn: Algorithms for Computer Algebra, Springer 1992, ISBN 0-792-39259-0

Michael Kaplan: Computeralgebra, Springer 2005, ISBN 3-540-21379-1

Donald Knuth: The Art of Computer Programming, vol. 1,2,3,
Addison Wesley 1997, ISBN 0-201-89683-4,  0-201-89684-2, 0-201-89685-0

Wolfram Koepf: Computeralgebra, Springer 2006, ISBN 3-540-29894-0

Zum Wiederholen und Nacharbeiten von algebraischen Grundlagen:

             Rainer Schulze-Pillot: Elementare Algebra und Zahlentheorie: Springer 2007, ISBN 978-3-540-45379-6

Zur Vertiefung der Theorie der Gruppen und Körper:

             Steven Weintraub: Galois Theory, Springer 2009 (2nd ed.), ISBN 978-0-387-87574-3