Vorkurs: Formale Grundlagen der Informatik
Eine allgemeine Beschreibung des Vorkurses, eine Eingliederung des Vorkurses in die Veranstaltungen zur Theoretischen Informatik und weitere hilfreiche Darstellungen finden Sie bei den „Lehrinformationen”.
Themen des Vorkurses
Viele Studierende der Informatik und verwandter Disziplinen, insbesondere während der ersten Studiensemester, wundern sich über den Umfang und die Art mathematisch-formaler Darstellungen. Der Vorkurs möchte darauf vorbereiten.
Formale Fähigkeiten und Fertigkeiten, die teils aus der Schule bekannt sind, werden wiederholt und vertieft. An fünf Tagen einer Woche werden wir uns kompakt um folgende Themen kümmern:
- Rechnen: Gesetze und Regeln
- Modellieren und Formalisieren: Keine Angst vor Formalismen
- Was ist hier schon logisch? Zum formalen Umgang mit der Logik
- Warum stimmt das eigentlich? Beweisverfahren
- Herangehen an Aufgaben aus Informatik und Mathematik.
Der Vorkurs richtet sich vorrangig an Studienanfänger dieser Fachgebiete:
- Informatik und Wirtschaftsinformatik
- Sprach- und Texttechnologie bzw. Computerlinguistik und Digital Humanities.
Studieren Sie Informatik im Nebenfach oder sind Sie möglicherweise Oberstufenschüler und möchten mal in den Herbstferien in den Uni-Betrieb hineinschnuppern, so halten Sie zunächst Rücksprache mit dem Dozenten.
Unterlagen
Hinweise und Bemerkungen
Die Veranstaltung findet statt in der Woche: 20. - 24. Oktober 2014.
Melden Sie sich im LSF-Portal der Universität an, sofern dies möglich, und zusätzlich bei Prof. Fernau durch eine kurze Email.