Allgemeine Informationen

Veranstaltungsname	Übung: Übung zu Logik für Informatiker / Modellierung diskreter Systeme / Modellierung informationstechnischer Systeme
Veranstaltungsnummer	INF-0155/-0355/-0262
Semester	WS 2026/27
Aktuelle Anzahl der Teilnehmenden	19
Heimateinrichtung	Theorie verteilter und paralleler Systeme
Beteiligte Einrichtungen	Institut für Informatik
Veranstaltungstyp	Übung in der Kategorie Lehre
Nächster Termin	Mittwoch, 21.10.26, 14:00 - 15:30 Uhr 1058 N
Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile	Ja
Hauptunterrichtssprache	deutsch

Lehrende

Tutor/-in

Moritz Manke

Räume und Zeiten

1058 N

Mittwoch, 14:00 - 15:30, Wöchentlich (ab dem 21.10.26)

Studienbereiche

Fakultät für Angewandte Informatik > Informatik

Modulzuordnungen

Informatik B.Sc. Informatik, PO 2018, 17. Version gültig ab WS 2026/27 > Informatik-Vertiefung A > INF-0155 - Logik für Informatiker (gültig ab SS 2014) > Logik für Informatiker (Übung)
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 (gültig ab SS 2014) > Logik für Informatiker (Übung)
Wirtschaftsmathematik Bachelorstudiengang Wirtschaftsmathematik (PO 2015), 20. Version gültig ab WS 2026/27 > Modulgruppe F: Informatik Grundlagen [BacWiMa] > INF-0155 - Logik für Informatiker (gültig ab SS 2014) > 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 (gültig ab SS 2014) > 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 (gültig ab SS 2014) > 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 (gültig ab SS 2014) > 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 (gültig ab SS 2014) > 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 (gültig ab SS 2014) > 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 (gültig ab SS 2014) > 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 (gültig ab SS 2014) > Logik für Informatiker (Übung)
Mathematik Bachelorstudiengang Mathematik, 23. Version gültig ab WS 2026/27 > Bachelor Mathematik N-Info: Nebenfach Informatik > INF-0155 - Logik für Informatiker (gültig ab SS 2014) > Logik für Informatiker (Übung)
Geoinformatik B.Sc. Geoinformatik, PO 2018, 18. Version gültig ab WS 2026/27 > B.Sc. Geoinformatik (PO '18) - E. Wahlpflichtbereich > INF-0155 - Logik für Informatiker (gültig ab SS 2014) > 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 (gültig ab SS 2014) > 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 (gültig ab SS 2014) > 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 (gültig ab SS 2014) > Logik für Informatiker (Übung)
Informatik Bachelor Informatik, FPO 2026, 2. Version gültig ab WS 2026/27 > G1. Informatik-Vertiefung > INF-0155 - Logik für Informatiker (gültig ab SS 2014) > 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 (gültig ab SS 2014) > 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 (gültig ab SS 2014) > Logik für Informatiker (Übung)
Informatik B.Sc. Informatik, PO 2013, 25. Version gültig ab WS 2026/27 > B.Sc. Informatik (PO '13) - Mathematische Grundlagen > INF-0155 - Logik für Informatiker (gültig ab SS 2014) > Logik für Informatiker (Übung)
Informatik B.Sc. Informatik, PO 2018, 17. Version gültig ab WS 2026/27 > Informatik-Wahlbereich > INF-0155 - Logik für Informatiker (gültig ab SS 2014) > 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 (gültig ab SS 2014) > 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 (gültig ab SS 2014) > 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 (gültig ab SS 2014) > Logik für Informatiker (Übung)
Informatik Bachelor Informatik, FPO 2026, 2. Version gültig ab WS 2026/27 > E. Informatik-Wahlbereich > INF-0155 - Logik für Informatiker (gültig ab SS 2014) > 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 (gültig ab SS 2014) > 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 (gültig ab SS 2014) > 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 (gültig ab SS 2014) > 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 (gültig ab SS 2014) > 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 (gültig ab SS 2014) > 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 (gültig ab SS 2014) > Logik für Informatiker (Übung)
Wirtschaftsmathematik Bachelorstudiengang Wirtschaftsmathematik (PO 2015), 20. Version gültig ab WS 2026/27 > Modulgruppe G: Wahlbereich [BacWiMa PO 2015] > INF-0155 - Logik für Informatiker (gültig ab SS 2014) > 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 (gültig ab SS 2014) > 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, 12. Version gültig ab WS 2026/27 > 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 (gültig ab WS 2017/18) > 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 (gültig ab WS 2017/18) > Modellierung informationstechnischer Systeme (Übung)
Ingenieurinformatik B.Sc. Ingenieurinformatik, PO 2018, 14. Version gültig ab SS 2025 > Informatik-Grundlagen > INF-0262 - Modellierung informationstechnischer Systeme (gültig ab WS 2017/18) > 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 (gültig ab WS 2017/18) > Modellierung informationstechnischer Systeme (Übung)

Kommentar/Beschreibung

Übung zur gleichnamigen Vorlesung.

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

1058 N