-
Wir (Thomas, Kornelius und Wojciech) 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 zusammengetackert abgebt. Außerdem müsst ihr in einer Ü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]. Wichtig ist auch, dass ihr dir 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. Uns könnt Ihr (innerhalb des Vorlesungszeitraumes) jeden Donnerstag zwischen 15 und 16 Uhr im Raum IV.406 im Institutsgebäude (RUD 25) und nach Vereinbarung finden. Ansonsten erreicht ihr uns per Email. 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!