inf803 - Spezielle Themen der Informatik I (Veranstaltungsübersicht)

inf803 - Spezielle Themen der Informatik I (Veranstaltungsübersicht)

Department für Informatik 6 KP
Semesterveranstaltungen Sommersemester 2021
Lehrveranstaltungsform: VA-Auswahl
  • Kein Zugang 2.01.803 - Formale Methoden Lehrende anzeigen
    • Prof. Dr. Heike Wehrheim

    Mittwoch: 10:00 - 12:00, wöchentlich (ab 14.04.2021), Die Vorlesung entfällt und wird durch Videos der Vorlesungsinhalte ersetzt.
    Donnerstag: 14:15 - 15:00, wöchentlich (ab 15.04.2021), Dies ist der Tutoriumstermin.
Hinweise zum Modul
Teilnahmevoraussetzungen

Die erwarteten Vorkenntnisse werden in den Details der zugeordneten Lehrveranstaltung genauer spezifiziert.

Hinweise

Falls mehr dem Modul mehr als eine Veranstaltung zugeordnet ist, wählen Sie in der Regel Veranstaltungen im Gesamtumfang von 4 SWS aus, bspw. eine Vorlesung mit zugehöriger Übung.
Weitere Informationen finden Sie in der Beschreibung (Details) der zugeordneten Veranstaltungen.

Prüfungsleistung Modul

Portfolio oder Referat oder mündliche Prüfung oder Klausur

Kompetenzziele

Das Modul hat zum Ziel aktuelle Entwicklungen in der Informatik in den jeweils angemessenen Lehrveranstaltungsformen in das Studium zu integrieren.
Fachkompetenzen
Die Studierenden:

  • kennen neuere technische oder wissenschaftliche Entwicklungen der Informatik
  • transferieren Informatik-Methoden und
  • Vorgehensmodelle auf die Anforderungen von IT-Anwendungsgebieten
  • bewerten die Möglichkeiten und Grenzen informatischer Verfahren und Werkzeuge und setzen diese sachangemessen ein

Methodenkompetenzen
Die Studierenden:

  • begutachten Probleme, formulieren diese mit Hilfe formaler Modelle und untersuchen diese adäquat
  • finden (einen oder mehrerer) Lösungszugänge informatischer Probleme und stellen sie dar
  • wählen aufgabenangemessene Werkzeuge und Methoden aus und evaluieren diese
  • untersuchen Probleme anhand technischer und wissenschaftlicher Literatur

Sozialkompetenzen
Die Studierenden:

  • kooperieren im Team

Selbstkompetenzen
Die Studierenden:

  • planen ihr eigenständiges Vorgehen in der Informatik