Vortragender:
Übungsleiter und -innen:
- Stefan Hammer (Gruppen 5, 10, 16)
- Anna Hofer (Gruppen 8, 9)
- Franz Lehner (Gruppen 5, 10, 16)
- Matthias Likawetz (Gruppen 14, 15)
- Michael Mayer (Gruppen 3, 4)
- Isabel Pretterhofer (Gruppen 11, 12)
- Christoph Raunjak (Gruppen 6, 7)
- Amnon Rosenmann (Gruppen 1, 2)
- Alois Schaffler (Gruppe 13)
Es handelt sich um eine Lehrveranstaltung mit
immanentem Prüfungscharakter:
- 165 Minuten pro Woche Vorlesung (Dienstag zwischen 9:30 und 11:30, Donnerstag zwischen 8:00 und 10:00,
- 60 Minuten pro Woche Übungen (Dienstag zwischen 15.00 und 19.00 Uhr)
in 16 Übungsgruppen.
Die erste Vorlesung findet am Do 2.März statt,
die erste Übung am Di 7.März.
Anmeldung:
Jede(r) Teilnehmer(in) muß sich
per TUGonline
für eine Gruppe anmelden,
maximal 25 Personen pro Gruppe.
Weiters wird in Kürze ein Onlinekreuzesystem eingerichtet.
Ein Skriptum ist zum Preis von €8,00 bei Frau Urdl-Müller im Sekretariat,
Steyrergasse 30, 3. Stock, ST03206, Montag-Mittwoch vormittags erhältlich.
Skripten ab 2020 können im Wesentlichen wiederverwendet werden,
ältere Skripten sind aber unvollständig, weil die VU seit 2020 umfangreicher geworden ist.
Fragen zu den Übungen werden im Forum des
Teachcenters sowie im Konversatorium
Montag 8:15-9:00 im HS i11 beantwortet;
zusätzlich stehen Christoph Raunjak und Alois Schaffler
abwechselnd in einer Fragestunde jeden
Montag 18:15-19:00 im HS i12 zur Verfügung.
Außerdem steht es jederzeit frei, Fragen per Email
(bitte immer Matrikelnummer und Lehrveranstaltung anführen)
oder im Forum des Teachcenters zu stellen.
Der Test findet am Di 4.7. statt.
09.05.2023
Ergänzung zum Skriptum: Multinomialkoeffizienten und Inklusion-Exklusion.
Lehrinhalt:
- Zahlen, Kongruenzen
- Grundlagen der Logik
- Kombinatorik, Erzeugende Potenzreihen
- Graphen und Bäume
Literatur:
- Skriptum zur Lehrveranstaltung
- Eric Lehman, F. Thomson Leighton, Albert R. Meyer,
Mathematics for Computer Science
MIT Open Courseware,
insbesondere:
Kapitel 3: Formale Logik
Kapitel 8: Zahlentheorie
Kapitel 11, 12: Graphentheorie
Kapitel 15: Potenzreihen und Rekursionsgleichungen
-
Vladlen Koltun, Discrete Structures,
Lecture Notes, Stanford, Winter 2008
- G. Baron und P. Kirschenhofer.
Einführung in die Mathematik für Informatiker.
Bände 1 und 3, Springer, Wien
-
N.L. Biggs.
Discrete mathematics.
Oxford University Press
-
R.L. Graham, D.E. Knuth, O. Patashnik.
Concrete mathematics.
Addison-Wesley
- D. E. Knuth.
The Art of Computer Programming.
Volumes 1 - 3, Addison-Wesley (für Fortgeschrittene)
-
S. B. Maurer, A. Ralston.
Discrete Algorithmic Mathematics.
A K Peters Ltd
-
K.H. Rosen.
Discrete mathematics and its applications.
McGraw-Hill
-
S. Singh.
The Code Book, 2000
-
G. und S. Teschl.
Mathematik für Informatiker 1,
4.Aufl.,
Springer 2013
-
W. D. Wallis. A Beginner's Guide to Discrete Mathematics.
Birkhäuser, 2003.
Alle Teilnehmer und Teilnehmerinnen, die am Übungsbetrieb teilnehmen,
müssen sich im Onlinekreuzsystem anmelden.
Bei der ersten Anmeldung bitte Matrikelnummer und ein leeres Passwort eingeben,
daraufhin wird ein Passwort per Email zugestellt. Beachten Sie, dass eine
Anmeldung erst nach der Anmeldung zur LV im TUGonline möglich ist und dass
zwischen der Anmeldung im TUGonline und der Einspielung der Daten in das
Ankreuzsystem auch ein Tag oder mehr vergehen kann.
Die erste Befüllung findet im Lauf der ersten Semesterwoche statt.
Übungsmodus:
Die Teilnehmer/innen sind aufgefordert, die jeweils in der Vorwoche
bekanntgegebenen Übungsbeispiele eigenständig vorzubereiten.
Die vorbereiteten Beispiele können im Onlinekreuzsystem
angekreuzt werden.
Ankreuzschluß ist immer Dienstag um 13:00 Uhr!
Der/die Gruppenleiter/in ruft aufgrund dieser Liste jeweils
eine/n Teilnehmer/in ans Mikrophon, um das Beispiel zu präsentieren,
wofür bis zu 2 Punkte vergeben werden.
Dabei geht auch die Qualität der Präsentation wesentlich in die Benotung ein.
Zu Semesterende wird hieraus der folgende Erfolgskoeffizient bestimmt:
Tafelpunkte + Anzahl der angekreuzten Beispiele * Kreuzefaktor
e = ------------------------------------------------------------------
Gesamtzahl der Übungsbeispiele
dabei ist der Kreuzefaktor am Anfang 1 und wird bei jeder Nichtbeachtung der Regeln
(Fernbleiben der Übung trotz angekreuzter Beispiele, offensichtlicher Mißbrauch
des Systems) halbiert.
Außerdem findet zu Semesterende ein schriftlicher
Test statt.
Beim Test dürfen keine schriftlichen Unterlagen verwendet werden,
ausgenommen ein eigenhändig beschriebenes Blatt DIN A4.
Punktesystem:
Fü den Test gibt es maximal 60 Punkte und es müssen mindestens 30 Punkte erreicht werden.
Die Gesamtpunktezahl ermittelt sich aus der Formel
Testpunkte + e*40
Die Gesamtnote
errechnet sich am Ende des Semesters nach der folgenden Tabelle:
| Punkte: | Note: |
| 41 - 53 | Genügend |
| 54 - 66 | Befriedigend |
| 67 - 79 | Gut |
| ab 80 | Sehr gut |
Das Punkteschema ist so ausgelegt, daß man auch ohne Übungen positiv
abschließen kann.
Versäumte Übungseinheiten können in begründeten Fällen
in einem Abgabegsepräch nachgereicht werden.
Es sei noch einmal festgehalten, daß es sich um eine VU handelt
und es für SS2023 einen Test am 4.Juli sowie einen Ersatztermin
im Oktober geben wird.
Danach gibt es keine Wiederholungsprüfungen mehr.
Wer nicht genügend Punkte erreicht hat, muß sich nächstes
Jahr neu anmelden und bei Null beginnen.
Die Bedingungen für ein positives Zeugnis sind:
ein Punktestand > 40 sowie ein Minimum von 30 Punkten auf den Test.
Ein Zeugnis wird für alle ausgestellt, die nach dem 31.3. noch angemeldet sind.
Organisatorische Fragen, Fehler im Skriptum etc schicken Sie bitte an
Franz Lehner.
Bei Fragen zum Stoff wenden Sie sich an Ihren jeweiligen Gruppenleiter oder besuchen Sie das
Konversatorium, das Forum des
Teachcenters oder die Fragestunde.