Der Vorkurs ist vorbei! Ich freue mich, dass ich den Kurs auch dieses Jahr wieder halten durfte. Ich hoffe, dass die kommenden Informatik-Studenten in meiner Vorlesung viel gelernt haben. Die Übungen waren gut besucht und dank der guten Mithilfe meiner Tutoren sind Übungen und Vorlesung wieder mal ein wenig besser und “runder” geworden.

Ich danke allen Tutoren (besonders Sarah und Matthias) ausdrücklich für ihre gute Arbeit und allen Studenten für ihr Interesse.

Eine leicht überarbeitete Version des Skripts ist hier verfügbar.

Der Sommer geht zu Ende, ein neues Semester steht vor der Tür und die Bonner Informatik bietet erneut ihren Vorkurs “formale Methoden der Informatik” an und ich werde ihn wieder halten.

Jetzt am Montag, dem 3.9., geht es los. Interessenten mögen sich bitte bei https://precampus.uni-bonn.de/ anmelden. Der Kurs ist wie immer freiwillig und nicht benotet.

Er findet vom 3. – 14.9. statt im Hörsaal IV in der Meckenheimer Allee 176. Die Vorlesung findet jeden Tag statt von 10-12h. Übungen gibt es auch, jeden Tag von 13-15h. Es gibt keine Hausaufgaben.

Es gibt auch wieder ein aktualisiertes Skript. Ich werde es laufend weiter updaten. Die jeweils aktuelle Version findet sich immer auf precampus.

Ich freue mich auf die Vorlesung und auch auf jede Anmerkung dazu oder zum Skript. Am Besten persönlich oder per Email, siehe “About”.