Wir sind umgezogen! Fortan findet ihr uns im Raum 4.424 in RUD25.
Immatrikulationsnummern stehen nun schon auf fast jedem Blatt, aber die Angabe der Übungsgruppe ist weiterhin problematisch, so dass einigen von Euch die korrigierten Lösungen nicht mitgebracht werden konnten. Allein der Name Eures Übungsleiters oder "Gruppe 2" sagen uns noch nicht, welche der Übungen Ihr besucht, wo Ihr also die Zettel zurückerhalten wollt. Bitte gebt deshalb Wochentag und Uhrzeit an.
Wenn ihr Eure Blätter dann nachträglich abholen wollt, tut dies während unserer Sprechstunde: Donnerstags 15 bis 16 Uhr in RUD25, 4.424.
Wir (Alexander, Berit, Christoph) werden Eure Lösungen zur Vorlesung Theoretische Informatik I korrigieren. Da wir mit Euch normalerweise nur via Rotstift kommunizieren können, nutzen wir diese Seite, um ggf. Mitteilungen bzgl. der Korrekturen machen zu können. Vorab noch ein paar allgemeine Hinweise zu den Korrekturen:
Wir werden uns bemühen, alle Lösungen, die in den Übungsgruppen abgegeben wurden, jeweils bis zur nächsten Woche korrigiert zu haben.
Ihr erleichtert uns die Arbeit, wenn Ihr Eure Matrikelnummer und Übungsgruppe unbedingt und gut leserlich auf Eure Abgaben schreibt und die einzelnen Blätter zusammengeklammert abgebt. Auf jedem Blatt sollte nur eine einzige Aufgabe bearbeitet werden. Außerdem müsst Ihr in Goya für eine Übungsgruppe eingetragen sein, um Punkte zu erhalten.
Versucht die Antworten nach Möglichkeit kurz und präzise zu formulieren. Uns interssieren keine langen Umformungen und Nebenrechnungen, sondern eine klare und nachvollziehbare Darstellung der Argumentationstruktur und der entscheidenen Argumente. Das erleichtert uns die Korrektur und garantiert Euch, dass wir (und Ihr selbst!) wirklich verstehen, was Ihr meint. Wir empfehlen diesbezüglich unbedingt die Lektüre des Textes von Dr. K. Schmidt Mein erster Beweis [html] [ps], der zwar passend zu einer anderen Vorlesung entstanden ist, hier aber kaum an Gültigkeit verliert. Wichtig ist auch, dass Ihr die richtige Notation verwendet. Zeichen wie ∀, ∧ usw. haben außerhalb von Formeln nichts zu suchen. Nicht in der Vorlesung eingeführte Notation darf nicht verwendet werden. Weiterhin dürfen auch nur Sätze und Lemmas aus der Vorlesung benutzt werden.
Sobald alle Zettel korrigiert sind, werden wir die Punkte in Goya eintragen. Die Aktualisierung der Punktestände für eine Serie kann sich dabei jeweils um ein paar Tage über die Rückgabe der Serie hinaus verzögern.
Bei bis zu 200 zu korrigierenden Abgaben pro Woche kann schon mal ein Fehler unterlaufen. Mit Nachfragen und Beschwerden könnt Ihr Euch an uns wenden. Finden könnt Ihr uns (innerhalb des Vorlesungszeitraumes) im Johann von Neumann-Haus (RUD 25), Haus IV, Zimmer 424, Donnerstags von 15 bis 16 Uhr oder aber nach Vereinbarung. Ansonsten erreicht Ihr uns per Email an grussien, berkholz oder aholz. Nachrichten durch Goya sind auch möglich, jedoch kann es länger dauern, bis Ihr eine Antwort bekommt, da wir i.d.R. nicht so oft Goya benutzen wie wir Mails lesen. Gebt in jedem Fall bei allen Anfragen die entsprechende Übungsblattnummer und Eure Übungsgruppe an, da wir sonst nicht wissen wer Euch korrigiert hat.
Wir wünschen Euch viel Erfolg (und Spaß ;-) beim Lösen der Aufgaben!
