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