Veranstaltungsank ̈ ndigung               u
                                  — Wintersemester 2007 —
                                      Vorkurs:
      Formale Grundlagen der Informatik
                      Prof. Dr. Henning Fernau und Mitarbeiter
                                    FB IV — Informatik
                                                                               ̈
Viele Studierende der Informatik und verwandter Disziplinen wundern sich uber den Umfang
und die Art mathematisch-formaler Darstellungen, insbesondere in den ersten Semestern.
In diesem Vorkurs sollen die formalen F ̈ higkeiten und Fertigkeiten, die aus der Schule be-
                                           a
kannt sein sollten, wiederholt und vertieft werden. Wir werden uns an f ̈ nf Tagen kompakt
                                                                           u
um folgende Themen k ̈ mmern:
                        u
   1. Rechnen: Gesetze und Regeln
   2. Z ̈ hlen und W ̈ rfeln: Kombinatorik und Wahrscheinlichkeitsrechnung
        a             u
   3. Modellieren und Formalisieren: Keine Angst vor Formalismen
   4. Warum stimmt das eigentlich ? Beweisverfahren
   5. Herangehen an Aufgaben aus Informatik und Mathematik
Die Veranstaltung richtet sich an
    • Neu-Immatrikulierte der Informatik (Bachelor) oder
    • Neu-Immatrikulierte der Wirtschaftsinformatik (Bachelor) oder
    • Neu-Immatrikulierte der Sprach- und Texttechnologie (Bachelor) oder auch
    • Neu-Immatrikulierte mit Nebenfach Informatik (bitte R ̈ cksprache !)
                                                                 u
Termin:
Mo., 8.10. bis Fr., 12.10. ganzt ̈ gig 8:15 (8 c.t.) bis 15:45 im HS 11/12 auf dem Campus II.
                                a