Allgemeine Informationen

Veranstaltungsname	Kurs: 03-IMAT-TRS Theorie reaktiver Systeme
Untertitel
Veranstaltungsnummer	03-IMAT-TRS
Semester	SoSe 2025
Aktuelle Anzahl der Teilnehmenden	31
Heimat-Einrichtung	Informatik
Veranstaltungstyp	Kurs in der Kategorie Lehre
Erster Termin	Mittwoch, 09.04.2025 08:00 - 10:00, Ort: MZH 1470
Art/Form
Englischsprachige Veranstaltung	Nein
ECTS-Punkte	6

Lehrende

Wen-Ling Huang

Räume und Zeiten

MZH 1470: Mittwoch: 08:00 - 10:00, wöchentlich (14x)
MZH 1450: Donnerstag: 08:00 - 10:00, wöchentlich (12x)

Modulzuordnungen

Universität Bremen
- Informatik Informatik (Bachelor), 3. Version gültig ab WiSe 2024/2025
  - General Studies
    - 03-INF-BA-IBGS-FW - General Studies - Freie Wahl (gültig ab WiSe 2020/2021)
      - Freie Wahl
- Informatik Informatik (Master) mit Schwerpunkt VMC, 3. Version gültig ab WiSe 2024/2025
  - General Studies
    - 03-INF-MA-IM-GS - General Studies - Fachergänzende Studien (gültig ab WiSe 2024/2025)
      - General Studies
  - Ergänzung
    - 03-INF-MA-IMAT - Aufbau Theoretische Informatik (gültig ab WiSe 2023/2024)
      - Aufbau Theoretische Informatik
    - 03-INF-MA-IMV - Vertiefung Informatik (gültig ab WiSe 2023/2024)
      - Vertiefung Informatik
- Informatik Informatik (Master) mit Schwerpunkt DMI, 3. Version gültig ab WiSe 2024/2025
  - General Studies
    - 03-INF-MA-IM-GS - General Studies - Fachergänzende Studien (gültig ab WiSe 2024/2025)
      - General Studies
  - Ergänzung
    - 03-INF-MA-IMAT - Aufbau Theoretische Informatik (gültig ab WiSe 2023/2024)
      - Aufbau Theoretische Informatik
    - 03-INF-MA-IMV - Vertiefung Informatik (gültig ab WiSe 2023/2024)
      - Vertiefung Informatik
- Informatik Informatik (Master) mit Schwerpunkt AI, 3. Version gültig ab WiSe 2024/2025
  - General Studies
    - 03-INF-MA-IM-GS - General Studies - Fachergänzende Studien (gültig ab WiSe 2024/2025)
      - General Studies
  - Ergänzung
    - 03-INF-MA-IMAT - Aufbau Theoretische Informatik (gültig ab WiSe 2023/2024)
      - Aufbau Theoretische Informatik
    - 03-INF-MA-IMV - Vertiefung Informatik (gültig ab WiSe 2023/2024)
      - Vertiefung Informatik
  - Schwerpunkt Artificial Intelligence (AI) - Wahlpflicht
    - 03-INF-MA-IMVT-AI - Vertiefung Theoretische Informatik (AI) (gültig ab WiSe 2023/2024)
      - Vertiefung Theoretische Informatik (AI)
- Informatik Informatik (Master) mit Schwerpunkt SQ, 3. Version gültig ab WiSe 2024/2025
  - General Studies
    - 03-INF-MA-IM-GS - General Studies - Fachergänzende Studien (gültig ab WiSe 2024/2025)
      - General Studies
  - Ergänzung
    - 03-INF-MA-IMAT - Aufbau Theoretische Informatik (gültig ab WiSe 2023/2024)
      - Aufbau Theoretische Informatik
    - 03-INF-MA-IMV - Vertiefung Informatik (gültig ab WiSe 2023/2024)
      - Vertiefung Informatik
  - Schwerpunkt Sicherheit und Qualität (SQ) - Wahlpflicht
    - 03-INF-MA-IMVT-SQ - Vertiefung Theoretische Informatik (SQ) (gültig ab WiSe 2023/2024)
      - Vertiefung Theoretische Informatik (SQ)
- Informatik Informatik (Master) ohne Schwerpunkt, 4. Version gültig ab SoSe 2025
  - General Studies
    - 03-INF-MA-IM-GS - General Studies - Fachergänzende Studien (gültig ab WiSe 2024/2025)
      - General Studies
  - Aufbau
    - 03-INF-MA-IMA - Aufbau Informatik (ohne Schwerpunkt) (gültig ab WiSe 2023/2024)
      - Aufbau Informatik 1
      - Aufbau Informatik 2
    - 03-INF-MA-IMAT - Aufbau Theoretische Informatik (gültig ab WiSe 2023/2024)
      - Aufbau Theoretische Informatik
  - Vertiefung - Pflicht
    - 03-INF-MA-IMV - Vertiefung Informatik (gültig ab WiSe 2023/2024)
      - Vertiefung Informatik
  - Vertiefung - Wahlpflicht
    - 03-INF-MA-IMVT - Vertiefung Theoretische Informatik (gültig ab SoSe 2025)
      - Vertiefung Theoretische Informatik
- Mathematics Master Mathematics (Single Major Subject) with Application Subject, 4. Version SoSe 2025
  - Application Subject - Computer Science - Compulsory Elective Modules
    - 03-INF-MA-IMVT-AI - Vertiefung Theoretische Informatik (AI) (gültig ab WiSe 2023/2024)
      - Vertiefung Theoretische Informatik (AI)
    - 03-INF-MA-IMVT-SQ - Vertiefung Theoretische Informatik (SQ) (gültig ab WiSe 2023/2024)
      - Vertiefung Theoretische Informatik (SQ)
- Industrial Mathematics and Data Analysis Master Industrial Mathematics and Data Analysis (Single Major Subject) with Focus on Data Analysis, 4. Version gültig ab SoSe 2025
  - Technical Application Subject - Computer Science
    - 03-INF-MA-IMVT-AI - Vertiefung Theoretische Informatik (AI) (gültig ab WiSe 2023/2024)
      - Vertiefung Theoretische Informatik (AI)
    - 03-INF-MA-IMVT-SQ - Vertiefung Theoretische Informatik (SQ) (gültig ab WiSe 2023/2024)
      - Vertiefung Theoretische Informatik (SQ)
- Industrial Mathematics and Data Analysis Master Industrial Mathematics and Data Analysis (Single Major Subject) with Focus on Industrial Mathematics, 4. Version gültig ab SoSe 2025
  - Technical Application Subject - Computer Science
    - 03-INF-MA-IMVT-AI - Vertiefung Theoretische Informatik (AI) (gültig ab WiSe 2023/2024)
      - Vertiefung Theoretische Informatik (AI)
    - 03-INF-MA-IMVT-SQ - Vertiefung Theoretische Informatik (SQ) (gültig ab WiSe 2023/2024)
      - Vertiefung Theoretische Informatik (SQ)
- Master Systems Engineering I MA Studiengang Systems Engineering I, 2. Version gültig ab SoSe 2024
  - Vertiefungsmodule - Profilbildung
    - 04-PT-MA-M07-PB-ESS - Modul Profilbildung (in der Vertiefungsrichtung Eingebettete Systeme und Systemsoftware) (gültig ab WiSe 2021/2022)
      - Lehrveranstaltungen im Umfang von 6 CP für das Modul Profilbildung (ESS)
- Master Systems Engineering II MA Studiengang Systems Engineering II, 3. Version gültig ab SoSe 2024
  - Vertiefungsmodule - Profilbildung
    - 04-PT-MA-M07-PB-ESS - Modul Profilbildung (in der Vertiefungsrichtung Eingebettete Systeme und Systemsoftware) (gültig ab WiSe 2021/2022)
      - Lehrveranstaltungen im Umfang von 6 CP für das Modul Profilbildung (ESS)

Kommentar/Beschreibung

Profil: SQ, KIKR.
Schwerpunkt: IMVT-SQ, IMVT-AI
https://lvb.informatik.uni-bremen.de/imat/03-imat-trs.pdf

Anmeldemodus

Die Auswahl der Teilnehmenden wird nach der Eintragung manuell vorgenommen.

Nutzer/-innen, die sich für diese Veranstaltung eintragen möchten, erhalten nähere Hinweise und können sich dann noch gegen eine Teilnahme entscheiden.

Kurs: 03-IMAT-TRS Theorie reaktiver Systeme - Details