Modulnummer

Modulbezeichnung

Titel (englisch)

Pflicht/Wahl

Erklärung

CP

Berechnung des Workloads

Turnus

Dauer

Form

Prüfung

Anforderungen

Lernziele

Die Studierenden erwerben aufbauend auf den in den Pflichtmodulen erworbenen Kompetenzen ein grundlegendes Verständnis eines Teilgebietes der Theoretischen Informatik oder Mathematik. Sie kennen damit exemplarisch den formalen und mathematisch präzisen Zugang zu Themen der Informatik. Zudem sind sie vertraut mit den zentralen formalen Begriffen des betreffenden Teilgebiets und dessen essentiellen Theoremen, Beweis- und Analysemethoden. Die Studierenden können die wichtigsten Resultate und Konstruktionen des Gebietes sowie grundlegende Beweismethoden selbständig anwenden. Die erworbenen Kompetenzen sind inhaltliche Voraussetzung für vertiefende Module im jeweiligen Teilgebiet. Die konkreten Kompetenzen sind abhängig von der gewählten Alternative.

Lerninhalte

Die konkreten Inhalte sind abhängig von der gewählten Alternative. Derzeit im Angebot sind:

• BB-600.03 Statistik

• BB-602.01 Algorithmen auf Graphen

• BB-605.01 Logik

• BB-699.01 Grundlagen der linearen Optimierung

• BB-699.02 Petri-Netze

• BB-699.08 Korrekte Software

[Angebot wird abhängig von verfügbaren Personalkapazitäten fortgeschrieben]

Quellen

Abhängig von der gewählten Alternative

Sprache

Bemerkung

Zuletzt geändert