Seite - 287 - in Reflexionen vor Reflexen - Memoiren eines Forschers

4.1. QUALIFIZIERUNGALSWISSENSCHAFTLER 287 1970wieder nahm ich sowohl an der Tagung überMathematische Logik inOberwolfach als auchamBayerischenMathematischenKolloquiuminRegensburg teil.All dieseReisen wurdenmir vonAnfang an vom Institut auch finanziert. Als fortgeschrittenerMitarbeiter in einem Informatik Institut erwartete man vonmir natürlich auch ein entsprechendesWissensniveau indiesem fürmichwieder einmal neuen Fach. Da ich im Laufe meines Studiums bereits drei Fachwechsel absolviert hatte, war ich bei diesem vierten Neuanfang gewissermaßen darin schon geübt. Unsere Institutsbi- bliothek warmit Büchern und Zeitschriften exzellent ausgestattet, sodaß esmir auf der GrundlagemeinesWissensniveaus inMathematik undLogik relativ schnell gelang, auch einen gewissenÜberblick über die Informatik zu erarbeiten. Neben der Forschungsarbeitmußte ichmich als Assistent natürlich auch an der Lehre angemessenbeteiligen.BauerhattedasvonihmdominierteInstituthervorragenddurchor- ganisiertundeinezweiteLeitungsebeneeingeführt.DerbereitserwähnteGuntherSchmidt beispielsweise war für das Personalressort zuständig. Ähnlich war auch die Lehre orga- nisiert. Die Vorlesungen hielten natürlich die Professoren selbst. Aber der aufwändige Übungs- und Praktikumsbetrieb war in den Händen der Mitarbeiter, wobei wiederum hauptverantwortliche Mitarbeiter die Leitung für eine Veranstaltung möglichst langfri- stig in Händen behielten. Als neuer Mitarbeiter war ich daher in der ersten Zeit unter einemderartigenLeiter als ausführenderTutor fürGruppenvon etwa zwanzig Studenten eingeteilt. Die vonmir so betreuten Übungen betrafen inhaltlich das Programmieren in ALGOL60, die Mathematikvorlesungen für Ingenieure, das Compilerbaupraktikum etc. Wohl gleich im ersten Semester an der TU nahm ich auch an einem Oberseminar von Bauer und Samelson über Kettenbrüche teil, mehr aus Ergebenheit zu meinen neuen Chefs als aus Interesse anNumerischerMathematik. Wohl im SS 1970 überließ mir Herr Samelson die eigenständige Durchführung eines Proseminars, in demwir das 1968 erschieneneBuch R.M. Smullyan, FirstOrder Logic studierten.DieVeranstaltungwaraus zweiGründenbemerkenswert.Zumeinen integrier- te ich die Studenten in denBewertungsprozeß, indemnach jedem studentischenVortrag dessen schriftlich fixierte Bewertungen durch die anderen Studenten vonmir eingesam- meltundnachFestlegungmeinereigenenBewertungzumVergleichherangezogenwurden. Die durchschnittliche studentischeBewertungunterschied sich in allenFällen vonmeiner höchstens um eine halbe Note, wasmich sehr erstaunte. Zum anderen nahm an diesem Proseminar der exzellente Student Kurt Mehlhorn teil, den ich dann in seinen Bemü- hungen um ein Studium bei Hartmanis in den USA unterstützte. Er lehrte später an