Allgemeine Informationen

Veranstaltungsname	Übung: Übung zu Logik für Informatiker / Modellierung diskreter Systeme / Modellierung informationstechnischer Systeme / Modellierung und Analyse technischer Systeme
Veranstaltungsnummer	INF-0155/-0355/-0190/-0262
Semester	WS 2023/24
Aktuelle Anzahl der Teilnehmenden	37
Heimat-Einrichtung	Grundlagen des Software & Systems Engineering
Veranstaltungstyp	Übung in der Kategorie Lehre
Erster Termin	Donnerstag, 26.10.2023 10:00 - 11:30, Ort: (1054 N)
Online/Digitale Veranstaltung	Veranstaltung wird als Hybrid/gemischt abgehalten.
Hauptunterrichtssprache	deutsch
ECTS-Punkte	6

Lehrende

Räume und Zeiten

(1054 N): Donnerstag: 10:00 - 11:30, wöchentlich (11x)

Studienbereiche

Modulzuordnungen

Wirtschaftsmathematik Bachelorstudiengang Wirtschaftsmathematik (PO 2013), 15. Version (WS 2023/24) > Modulgruppe G: Wahlpflichtbereich [BacWiMa PO 2013] > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
Wirtschaftsmathematik Bachelorstudiengang Wirtschaftsmathematik (PO 2013), 15. Version (WS 2023/24) > Modulgruppe F: Informatik Grundlagen [BacWiMa] > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
Informatik B.Sc. Informatik, PO 2018, 11. Version (WS 2023/24) > Informatik-Vertiefung A > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
Wirtschaftsinformatik Bachelorstudiengang Wirtschaftsinformatik (PO 2008), 29. Version gültig ab WS 2023/24 > Vertiefungsrichtung Wirtschaft (PO 2008) - DWI-1: Allgemeine Wirtschaftsinformatik > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
Informatik und Multimedia B.Sc. Informatik und Multimedia, PO 2013, 19. Version (WS 2023/24) > B.Sc. Informatik und Multimedia (PO '13) - Mathematische Grundlagen > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
Informatik B.Sc. Informatik, PO 2013, 19. Version (WS 2023/24) > B.Sc. Informatik (PO '13) - Mathematische Grundlagen > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
Wirtschaftsinformatik Bachelorstudiengang Wirtschaftsinformatik (PO 2008), 29. Version gültig ab WS 2023/24 > Vertiefungsrichtung Informatik (PO 2008) - INF-2: Mathematische Methoden > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
Mathematik Bachelorstudiengang Mathematik, 17. Version (WS 2023/24) > Bachelor Mathematik N-Info: Nebenfach Informatik > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
Informatik und Multimedia B.Sc. Informatik und Multimedia, PO 2016, 16. Version (WS 2023/24) > B.Sc. Informatik und Multimedia (PO '15) - Mathematische Grundlagen > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
Wirtschaftsmathematik Bachelorstudiengang Wirtschaftsmathematik (PO 2015), 15. Version (WS 2023/24) > Modulgruppe F: Informatik Grundlagen [BacWiMa] > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
Wirtschaftsmathematik Bachelorstudiengang Wirtschaftsmathematik (PO 2015), 15. Version (WS 2023/24) > Modulgruppe G: Wahlbereich [BacWiMa PO 2015] > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
Geoinformatik B.Sc. Geoinformatik, PO 2011, 17. Version gültig ab SS 2023 > B.Sc. Geoinformatik (PO '11) - E: Wahlbereich > INF-0155 (=BScGI_Linf) - Logik für Informatiker > Logik für Informatiker (Übung)
Geoinformatik B.Sc. Geoinformatik, PO 2018, 12. Version (WS 2023/24) > B.Sc. Geoinformatik (PO '18) - E. Wahlpflichtbereich > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
Ingenieurinformatik B.Sc. Ingenieurinformatik, PO 2021, 6. Version (WS 2023/24) > Grundlagen der Informatik > INF-0355 - Modellierung diskreter Systeme > Modellierung diskreter Systeme (Übung)
Ingenieurinformatik B.Sc. Ingenieurinformatik, PO 2018, 11. Version (WS 2023/24) > Informatik-Grundlagen > INF-0262 - Modellierung informationstechnischer Systeme > Modellierung informationstechnischer Systeme (Übung)
Ingenieurinformatik B.Sc. Ingenieurinformatik, PO 2017, 13. Version (WS 2023/24) > B.Sc. Ingenieurinformatik (PO '17) - Informatik-Grundlagen > INF-0262 - Modellierung informationstechnischer Systeme > Modellierung informationstechnischer Systeme (Übung)
Ingenieurinformatik B.Sc. Ingenieurinformatik, PO 2013, 18. Version (WS 2023/24) > B.Sc. Ingenieurinformatik (PO '13) - Informatik-Grundlagen > INF-0190 - Modellierung und Analyse technischer Systeme > Modellierung und Analyse technischer Systeme (Übung)

Kommentar/Beschreibung

Übung zur gleichnamigen Vorlesung.