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”.