Lehrende: Prof. Dr. Petra Berenbrink
Veranstaltungsart: Vorlesung
Anzeige im Stundenplan: FGI I - VL
Semesterwochenstunden: 4
Credits: 5,0
Unterrichtssprache: Deutsch
Min. | Max. Teilnehmerzahl: - | 80
Kommentare/ Inhalte: Die Vorlesung ist eine Erzatzvorlesung fuer FGI 1. Sie beinhaltet den zweiten Teil von FGI 1, Hoerer muessen ebenfalls an ETI teilnehmen.
Lernziel: Die Studierenden sollen grundlegende formale Konzepte und Methoden, die für fast alle Teilgebiete der Informatik von Bedeutung sind, kennenlernen. Ferner sollen grundlegende Hilfsmittel für die Beschreibung, die Analyse, den Entwurf und die Bewertung von Problemen und deren Lösung besprochen und benutzt werden. Die Fähigkeit, mathematische Beweise verstehen und selbst führen zu können, ist hierbei ein weiteres zentrales Lernziel.
Vorgehen: Es gibt für jede Vorlesung On-line-Tests, die mittels formativer Selbsttests Studierende unterstützen, so dass das Erlernte in Hinblick auf einfache Aussagen eigenständig überprüft werden kann. Die Tests werden in der OpenOlat-Umgebung https://www.openolat.uni-hamburg.de/dmz/ ebenso bereitgestellt wie die meisten anderen Materialien des Moduls. Eine Anmeldung von allen Teilnehmenden mittels der Benutzerkennung, z.B. BAO1234, der Universtität ist für die Nutzung zwingend notwendig.
Literatur: Die Vorlesung stützt sich insbesondere auf das Buch:
Zusätzliche Hinweise zu Prüfungen: Für die Vorlesung ist zusätzlich zur Klausur das Bestehen der On-line-Tests in OpenOlat eine der Voraussetzungen für das Bestehen des Moduls.