Übung: Übung zu Logik für Informatiker / Modellierung diskreter Systeme / Modellierung informationstechnischer Systeme - Details

Allgemeine Informationen

Veranstaltungsname	Übung: Übung zu Logik für Informatiker / Modellierung diskreter Systeme / Modellierung informationstechnischer Systeme
Veranstaltungsnummer	INF-0155/-0355/-0262
Semester	WS 2025/26
Aktuelle Anzahl der Teilnehmenden	45
Heimat-Einrichtung	Theorie verteilter und paralleler Systeme
beteiligte Einrichtungen	Institut für Informatik
Veranstaltungstyp	Übung in der Kategorie Lehre
Erster Termin	Montag, 27.10.2025 15:45 - 17:15, Ort: (1057 N)
Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile	Ja
Hauptunterrichtssprache	deutsch

Lehrende

• Lukas Bartl
• Prof.Dr. Kirstin Peters

Tutor/-in

• Moritz Manke

Räume und Zeiten

(1057 N)

Montag: 15:45 - 17:15, wöchentlich (9x)

Studienbereiche

• Fakultät für Angewandte Informatik > Informatik

Modulzuordnungen

• Wirtschaftsmathematik Bachelorstudiengang Wirtschaftsmathematik (PO 2013), 17. Version gültig ab WS 2024/25 > Modulgruppe G: Wahlpflichtbereich [BacWiMa PO 2013] > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
• Informatik B.Sc. Informatik, PO 2013, 21. Version gültig ab WS 2024/25 > B.Sc. Informatik (PO '13) - Mathematische Grundlagen > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
• Informatik und Multimedia B.Sc. Informatik und Multimedia, PO 2013, 21. Version gültig ab WS 2024/25 > 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, 22. Version gültig ab SS 2025 > B.Sc. Informatik (PO '13) - Mathematische Grundlagen > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
• Mathematik Bachelorstudiengang Mathematik, 21. Version gültig ab WS 2025/26 > Bachelor Mathematik N-Info: Nebenfach Informatik > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
• Mathematik Bachelorstudiengang Mathematik, 19. Version gültig ab WS 2024/25 > Bachelor Mathematik N-Info: Nebenfach Informatik > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
• Informatik B.Sc. Informatik, PO 2018, 15. Version gültig ab WS 2025/26 > Informatik-Vertiefung A > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
• Informatik und Multimedia B.Sc. Informatik und Multimedia, PO 2013, 22. Version gültig ab SS 2025 > B.Sc. Informatik und Multimedia (PO '13) - Mathematische Grundlagen > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
• Wirtschaftsmathematik Bachelorstudiengang Wirtschaftsmathematik (PO 2013), 18. Version (SS 2025 - WS 2025/26) > Modulgruppe G: Wahlpflichtbereich [BacWiMa PO 2013] > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
• Wirtschaftsmathematik Bachelorstudiengang Wirtschaftsmathematik (PO 2015), 17. Version gültig ab WS 2024/25 > Modulgruppe G: Wahlbereich [BacWiMa PO 2015] > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
• Informatik und Multimedia B.Sc. Informatik und Multimedia, PO 2016, 19. Version gültig ab SS 2025 > 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), 17. Version gültig ab WS 2024/25 > Modulgruppe F: Informatik Grundlagen [BacWiMa] > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
• Informatik und Multimedia B.Sc. Informatik und Multimedia, PO 2016, 18. Version gültig ab WS 2024/25 > B.Sc. Informatik und Multimedia (PO '15) - Mathematische Grundlagen > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
• Informatik B.Sc. Informatik, PO 2018, 14. Version gültig ab SS 2025 > Informatik-Vertiefung A > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
• Wirtschaftsmathematik Bachelorstudiengang Wirtschaftsmathematik (PO 2013), 18. Version (SS 2025 - WS 2025/26) > Modulgruppe F: Informatik Grundlagen [BacWiMa] > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
• Informatik B.Sc. Informatik, PO 2018, 13. Version gültig ab WS 2024/25 > Informatik-Vertiefung A > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
• Informatik B.Sc. Informatik, PO 2013, 23. Version gültig ab WS 2025/26 > B.Sc. Informatik (PO '13) - Mathematische Grundlagen > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
• Mathematik Bachelorstudiengang Mathematik, 20. Version gültig ab SS 2025 > Bachelor Mathematik N-Info: Nebenfach Informatik > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
• Wirtschaftsmathematik Bachelorstudiengang Wirtschaftsmathematik (PO 2015), 18. Version gültig ab SS 2025 > Modulgruppe F: Informatik Grundlagen [BacWiMa] > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
• Wirtschaftsmathematik Bachelorstudiengang Wirtschaftsmathematik (PO 2015), 18. Version gültig ab SS 2025 > Modulgruppe G: Wahlbereich [BacWiMa PO 2015] > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
• Geoinformatik B.Sc. Geoinformatik, PO 2018, 15. Version gültig ab SS 2025 > B.Sc. Geoinformatik (PO '18) - E. Wahlpflichtbereich > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
• Geoinformatik B.Sc. Geoinformatik, PO 2018, 16. Version gültig ab WS 2025/26 > B.Sc. Geoinformatik (PO '18) - E. Wahlpflichtbereich > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
• Geoinformatik B.Sc. Geoinformatik, PO 2018, 14. Version gültig ab WS 2024/25 > B.Sc. Geoinformatik (PO '18) - E. Wahlpflichtbereich > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
• Wirtschaftsmathematik Bachelorstudiengang Wirtschaftsmathematik (PO 2013), 17. Version gültig ab WS 2024/25 > Modulgruppe F: Informatik Grundlagen [BacWiMa] > 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)
• Ingenieurinformatik B.Sc. Ingenieurinformatik, PO 2021, 9. Version gültig ab SS 2025 > Grundlagen der Informatik > INF-0355 - Modellierung diskreter Systeme > Modellierung diskreter Systeme (Übung)
• Ingenieurinformatik B.Sc. Ingenieurinformatik, PO 2021, 8. Version gültig ab WS 2024/25 > Grundlagen der Informatik > INF-0355 - Modellierung diskreter Systeme > Modellierung diskreter Systeme (Übung)
• Ingenieurinformatik B.Sc. Ingenieurinformatik, PO 2021, 10. Version gültig ab WS 2025/26 > Grundlagen der Informatik > INF-0355 - Modellierung diskreter Systeme > Modellierung diskreter Systeme (Übung)
• Ingenieurinformatik B.Sc. Ingenieurinformatik, PO 2017, 15. Version gültig ab WS 2024/25 > B.Sc. Ingenieurinformatik (PO '17) - Informatik-Grundlagen > INF-0262 - Modellierung informationstechnischer Systeme > Modellierung informationstechnischer Systeme (Übung)
• Ingenieurinformatik B.Sc. Ingenieurinformatik, PO 2018, 15. Version gültig ab WS 2025/26 > Informatik-Grundlagen > INF-0262 - Modellierung informationstechnischer Systeme > Modellierung informationstechnischer Systeme (Übung)
• Ingenieurinformatik B.Sc. Ingenieurinformatik, PO 2018, 14. Version gültig ab SS 2025 > Informatik-Grundlagen > INF-0262 - Modellierung informationstechnischer Systeme > Modellierung informationstechnischer Systeme (Übung)
• Ingenieurinformatik B.Sc. Ingenieurinformatik, PO 2018, 13. Version gültig ab WS 2024/25 > Informatik-Grundlagen > INF-0262 - Modellierung informationstechnischer Systeme > Modellierung informationstechnischer Systeme (Übung)
• Ingenieurinformatik B.Sc. Ingenieurinformatik, PO 2013, 20. Version gültig ab WS 2024/25 > B.Sc. Ingenieurinformatik (PO '13) - Informatik-Grundlagen > INF-0190 - Modellierung und Analyse technischer Systeme > Modellierung und Analyse technischer Systeme (Übung)
• Ingenieurinformatik B.Sc. Ingenieurinformatik, PO 2013, 21. Version gültig ab SS 2025 > 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.