Category Archives: Vorkurs

Nach dem Vorkurs ist vor dem Studium

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.

It’s Vorkurs-Time!

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

Skript v4.7 verfügbar

Eine neue Version des Skripts zum Vorkurs “formale Methoden der Informatik”ist hier (Link dead) verfügbar.

In Version 4.7 hat sich geändert:

  • Kapitel 8.1: Erklärungen zu Beweisen und Beispiele für Anwendungen von Gruppen hinzugefügt.
  • Kapitel 9.2: Auf- und Abrundungsfunktion neu definiert.
  • Kapitel 9.3 (Restklassenring) neu hinzugefügt.
  • Kapitel 9.1: Beispiel für Nullteiler hinzugefügt.
  • Kapitel 9.6: Beispiel für endlichen Körper hinzugefügt.
  • Kapitel 10.3: Erklärung zur Verallgemeinerung der Exponenten hinzugefügt.

Skript v4.6 verfügbar

Eine neue Version des Skripts zum Vorkurs “formale Methoden der Informatik”ist hier (Link dead) verfügbar.

In Version 4.6 hat sich geändert:

  • Kapitel 7.1: weitere Beispiele für Relationen hinzugefügt und zwei Fehler gefixt.
  • Kapitel 7.2: Beweisverfahren für Surjektivität und Injektivität und mehrere Beispiele dazu hinzugefügt.

Neues Skript zum Vorkurs, v4.5

Eine neue Version des Skripts zum Vorkurs “formale Methoden der Informatik” ist hier (Link dead) verfügbar.

In Version 4.5 hat sich geändert:

  • Weitere Beispiele zur vollständigen Induktion hinzugefügt.
  • Kapitel 7.1: wesentlich mehr Beispiele für Relationen hinzugefügt.

In Version 4.4 hat sich geändert:

  • Hinweis auf Einschreibtermine hinzugefügt.
  • Kapitel 3.6: Motivation zum “Umdrehen” der Quantoren hinzugefügt.
  • Kapitel 6.2: Beweise zur Partialsumme der geometrischen Reihe und zu x · x = x + x hinzugefügt.

Vorkurs “formale Methoden der Informatik” im WS 2017/18

Das Institut für Informatik der Universität Bonn bietet dieses Jahr wieder den Vorkurs “formale Methoden der Informatik” an, den ich wieder halten werde, jetzt bereits im vierten Jahr.

Der Vorkurs wird angeboten für frische Erstsemester in Informatik und gibt einen Überblick über das Wissen, was von den Studenten erwartet wird und einen Ausblick, was im ersten Semester an Stoff noch kommen wird. Er ist freiwillig und unbenotet.

Ich kann allen neuen Studenten den Vorkurs nur ans Herz legen, da sie einen schnellen und einfachen Überblick über den Stoff erhalten, der dann später im Semester noch einmal in Tiefe behaltelt wird. Und Sie lernen schon etwas vor dem Semster Ihre Kommilitonen und den Betrieb der Universität kennen.

Interessenten melden sich bitte im precampus-System an.

Der Vorkurs findet statt von Montag, 18.9.2017 bis Freitag, 29.9.2017, jeden Tag von 10-12 Uhr im Hörsaal 2, Institut für Informatik, Römerstr. 164, Bonn.

Weiterhin finden jeden Tag Übungen dazu statt, von 12-14 Uhr. Allen Studenten sei angeraten, zu den Übungen zu gehen, auch wenn der Stoff vielleicht einfach erscheint. In den Übungen besteht Gelegenheit, Fragen zu stellen, es werden Aufgaben zur Vorlesung gerechnet und man kann die neuen Kommilitonen kennenlernen. Es werden keine Hausaufgaben gestellt.

Es gibt ein Skript, welches hier verfügbar ist (Link dead; Version 4.0 vom 12.9.2017). Da es auch während des Vorkurses Updates geben wird, drucken Sie besser immer nur Teile aus—falls Sie es überhaupt ausdrucken!  Ich werde hier immer die neueste Version des Skripts anbieten. Ich bin sehr interessiert daran, Fehler im Skript zu korrigieren: bitte sprechen Sie mich in oder nach der Vorlesung an oder auch online.

Vorkurs “Formale Methoden der Informatik” im WS 2016/17

Ich halte auch im WS 2016/17 wieder den Vorkurs “Formale Methoden der Informatik” an der Universität Bonn. Der Vorkurs wendet sich an Studierende, die jetzt im Wintersemester ihr Studium der Informatik beginnen.

Der Vorkurs ist freiwillig und unbenotet, aber eine Anmeldung ist hier erforderlich.

Der Vorkurs findet statt von Montag, 26.9.2016 bis Freitag, 7.10.2016, jeden Tag von 10-12 Uhr im Hörsaal 2, Institut für Informatik, Römerstr. 164, Bonn. Am 3.10. (Feiertag) fällt der Kurs ersatzlos aus.

Weiterhin finden jeden Tag Übungen dazu statt, von 12-14 Uhr. Wir raten Ihnen, zu den Übungen zu gehen, auch wenn Sie denken, dass Sie das alles schon voll drauf haben. 😉 In den Übungen haben Sie Gelegenheit, Fragen zu stellen, es werden Aufgaben zur Vorlesung gerechnet und Sie lernen Ihre neuen Kommilitonen kennen. Es gibt keine Hausaufgaben.

Es gibt ein Skript, welches hier verfügbar ist (Version 3.2 vom 7.10.2016). Da es auch während des Vorkurses Updates geben wird, drucken Sie besser immer nur Teile aus, falls Sie es überhaupt ausdrucken. 🙂 Ich werde hier immer die neueste Version des Skripts anbieten. Ich bin sehr interessiert daran, Fehler im Skript zu korrigieren: bitte sprechen Sie mich in oder nach der Vorlesung an oder auch online.