Computermathematik 1 WS 2018/19 (Informatik)

Indignum est excellentium virorum horas servili
calculandi labore perire quia machina adhibita
vilissimo cuique secure transcribi possit.

G.W. Leibniz 1

Aktuelles

Achtung Windows-Benutzer! Im Gegensatz zu früheren Versionen ist die aktuelle Sage-Versionen auch für Windows verfügbar und keine Virtualbox mehr notwendig. Bitte verwenden Sie für die Abgaben das alte Notebook-Format (sws). Start mit

sage --notebook sagenb

Inhalt

Einführung in Softwarepakete, die nützlich sind zur Lösung und Präsentation mathematischer Aufgaben:

Kontakt

Vorlesung und Organisation: Übungsgruppen: Fragen, die auch andere Studierende interessieren könnten, passen besser in die Newsgroup.
Konstruktive Vorschläge sind immer erwünscht.

Termine

Es finden abwechselnd Vorlesungs- und Übungs-Einheiten statt. Die Vorlesungstermine sind für alle Gruppen gemeinsam:
VOAlle Gruppen Mi 11:15–12:45 Hörsaal i12 Franz Lehner
Die Übungstermine finden für die 6 Gruppen separat statt. (Kreuzerlschluss ist für alle am Di um 14:00.)

Die genauen Termine stehen im TUGRAZonline.

Anmeldung

Anmeldung via TUGRAZonline und danach Passwort im Kreuzerlsystem für die Übung anfordern.

Unterlagen

Vorlesung

Datum Inhalt Folien Beispiele
03.10.2018 Vorbesprechung, LaTeX 1: Grundlagen, Formeln, Tabellen pdf bsp
17.10.2018 LaTeX 2+3: Referenzen, Grafik pdf1/pdf2 bsp,demo

31.10.2018

Sage 1: Grundlagen, Zahlen
Folien,
pdf / sws
14.11.2018 Sage 2: Formales Rechnen, Gleichungen, Polynome pdf / sws
28.11.2018 Sage 3: Programmieren, Funktionen, Listen pdf / sws
12.12.2018 Sage 4: Grafik pdf / sws
16.01.2019 Sage 5: Lineare Algebra, Generatoren pdf / sws

Übungsbeispiele

Präsentation Kreuzerlschluss Inhalt Übungsbeispiele
07.10. um 23:59 LaTeX 0 1
10.10.2018 09.10. um 14:00 LaTeX 1 2, 3, Bonus
24.10.2018 23.10. um 14:00 LaTeX 2 4, 5
07.11.2018 06.11. um 14:00 Sage 1 6,7,8
21.11.2018 20.11. um 14:00 Sage 2 9, 10
05.12.2018 04.12. um 14:00 Sage 3 11,12,13
09.01.2019 08.01. um 14:00 Sage 4 14, 15
23.01.2019 22.01. um 14:00 Sage 5 16,17

Links

Online-Kreuzerlsystem

Für die Übung wird ein Online-Kreuzerlsystem verwendet, in dem vor jeder Übung anzukreuzen ist, welche Beispiele man gelöst hat, und die Lösung abzugeben ist. Auch der aktuelle eigene Punktestand ist einsehbar. Um sich im Kreuzerlsystem zu registrieren, muss man im TUGRAZonline für die Lehrveranstaltung angemeldet sein; manchmal dauert es nach der Anmeldung ein bisschen, bis das Kreuzerlsystem davon weiß. Bei Problemen einfach melden.

Zum Kreuzerlsystem

Newsgroup

Für Fragen und Diskussionen zur Vorlesung und Übung gibt es die Newsgroup
tu-graz.lv.informatik.computermathematik
Newsgroups sind ähnlich wie Foren, man benötigt aber einen Newsreader wie etwa Thunderbird (Hilfe?!).
Fragen zu einzelnen Übungsbeispielen sind erwünscht, aber bitte keine fertigen Lösungen posten.

Prüfungsmodus

Da die Lehrveranstaltung eine VU (Vorlesungs-Übung) ist, besteht die Beurteilung aus zwei Teilen:

Mitarbeit im Rahmen der Übungseinheiten

Für jede Übungsstunde wird eine Woche davor in der Vorlesung eine Liste von Übungsbeispielen veröffentlicht. Diese Beispiele sind zu Hause eigenständig zu lösen. Bei Problemen und Fragen bietet sich die Newsgroup an. Bis zum Kreuzerlschluss (Di vor der Übung um 14:00) ist im Kreuzerlsystem anzukreuzen, welche Beispiele man gelöst hat und präsentieren könnte. Für jedes angekreuzte Beispiel ist außerdem einzeln eine Datei mit der Lösung für dieses Beispiel abzugeben (für LaTeX .tex, für Sage .sws). Pro angekreuztem Beispiel gibt es Punkte (Anzahl laut Angabe),

Anhand dieser Kreuze werden in der Übung per Zufallsgenerator Studierende ausgewählt, um das jeweilige Beispiel vorzuführen. Daher gilt in der Übung Anwesenheitspflicht, sofern man mindestens ein Beispiel angekreuzt hat. Die Präsentation der Beispiele soll einerseits jenen Studierenden helfen, die das Beispiel anders oder gar nicht gelöst haben; andererseits soll für den Übungsleiter erkennbar sein, dass der Vorführende das Beispiel selbst gelöst und gut verstanden hat. Daher wird neben der Korrektheit der Lösung auch auf die Qualität der Präsentation entsprechend Wert gelegt. Entsprechend werden −3 bis 3 Punkte vergeben.

Die Gesamtpunktezahl ergibt sich als Summe der Kreuzerl-, Präsentations-, Hausaufgaben- und Klausur-Punkte nach der Formel P=L+S + 50 · (K+T)/G wobei

LPunkte auf LaTeX-Hausaufgabe,
SPunkte auf Sage-Test,
KAnzahl der angekreuzten Beispiele,
TSumme Punkte auf Tafelleistungen,
GGesamtpunktezahl aus ankreuzbaren Beispiele.

Eine notwendige Bedingung für eine positive Note sind mindestens 10 Punkte aus der LaTeX-Hausarbeit und 15 Punkte auf den Sage-Test.

Der aktuelle Punktestand ist jederzeit im Kreuzerlsystem einsehbar. Die Note ermittelt sich daraus wie folgt:

Punkte Note
00.0–49.5 Nicht genügend
50.0–62.0 Genügend
62.5–74.5 Befriedigend
75.0–87.0 Gut
87.5–100.0+ Sehr gut

Für den Fall einer entschuldigten Verhinderung/Krankheit gibt es die Möglichkeit eines Abgabegesprächs bei Ihrem Übungsleiter. Dazu vor Kreuzerlschluss den zuständigen Übungsleiter per Email kontaktieren.

Wenn eine Präsentation darauf schließen lässt, dass das Beispiel zu Unrecht angekreuzt wurde (keine Lösung, Abwesenheit, überhaupt nicht verstanden usw.), wird der Wert der Kreuze für das ganze Semester um 25 Prozent gemindert. Im Wiederholungsfall wird die Lehrveranstaltung negativ beurteilt. Lassen die abgegebenen Dateien auf täuschende Absichten schließen (keine Lösung, Plagiarismus usw.), werden die betroffenen Kreuze gestrichen und/oder die obige Regelung kommt zur Anwendung.

Hausaufgabe und schriftliche Prüfung

Als Abschluss des LaTeX- und des Sage-Teils sollen jeweils die erlernten Fähigkeiten demonstriert werden. Für LaTeX ist dazu eine individuelle Hausaufgabe auszuarbeiten, die korrigiert und beurteilt wird. Für Sage gibt es eine kleine schriftliche Prüfung zu Semesterende.

Vorausgesetzt werden zur Klausur die Kenntnisse, die beim Lösen der Übungsbeispiele erworben wurden. Grundsätzliche Werkzeuge der jeweiligen Sprachen reichen aus, es ist nicht notwendig, Listen von Funktionssignaturen aus Bibliotheken auswendig zu lernen. Außer Stiften sind keine technischen Hilfsmittel erlaubt.

Software

Die für diese Vorlesung notwendige Software ist frei verfügbar, und zwar

Die Programme (außer Sage) sind in den meisten Linux-Distributionen bereits im Paketsystem enthalten, alternativ auch selbst kompilierbar. GNU/Linux ist zwar die empfehlenswerteste Betriebssystem-Umgebung dazu, aber Windows und Mac OS werden auch weitgehend unterstützt. In der Vorlesung und Übung wird TeX Live verwendet.

Die obige Auswahl beruht einerseits auf den subjektiven Präferenzen der Vortragenden, andererseits sind LaTeX und Sage sehr universell einsetzbar und weit verbreitet. LaTeX ist bei wissenschaftlichen Publikationen weitgehend konkurrenzlos; Sage-Alternativen werden in der Vorlesung kurz vorgestellt, bei den meisten wirft aber das kommerzielle Lizenzmodell Probleme auf. Bei Bedarf sollten die in der Vorlesung vermittelten Fähigkeiten ausreichen, um sich gegebenenfalls rasch in ein neues System einzuarbeiten.

Dokumentation

LaTeX

Tutorials, FAQs, etc:

Dokumentation zu spezifischen Paketen:

Sage


Franz Lehner, WS 2018/19

(lat.) Es ist unwürdig, die Zeit von hervorragenden Leuten mit knechtlichen Rechenarbeiten zu verschwenden, weil bei Einsatz einer Maschine auch der Einfältigste die Ergebnisse sicher hinschreiben kann.