Seminar: Seminar zu Logik - Details

Allgemeine Informationen

Veranstaltungsname	Seminar: Seminar zu Logik
Veranstaltungsnummer	INF-3029
Semester	WS 2026/27
Aktuelle Anzahl der Teilnehmenden	0
Heimateinrichtung	Theoretische Informatik
Veranstaltungstyp	Seminar in der Kategorie Lehre
Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile	Ja
Hauptunterrichtssprache	deutsch

Lehrende

• PD Dr. Martin Müller
• Prof.Dr. Pascal Lenzner

Räume und Zeiten

Die Zeiten der Veranstaltung stehen nicht fest.

Studienbereiche

• Fakultät für Angewandte Informatik > Informatik

Modulzuordnungen

• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 8. Version gültig ab SS 2025 > Wahlbereich > INF-3029 - Seminar Theoretical Computer Science - Master (gültig ab WS 2024/25) > Seminar Theoretical Computer Science - Master
• Data Science Master's Programme Data Science, 3. Version gültig ab WS 2026/27 > E. Computer Science Seminar > INF-3029 - Seminar Theoretical Computer Science - Master (gültig ab WS 2024/25) > Seminar Theoretical Computer Science - Master
• Informatik M.Sc. Informatik, PO 2018, 17. Version gültig ab WS 2026/27 > Seminar > INF-3029 - Seminar Theoretical Computer Science - Master (gültig ab WS 2024/25) > Seminar Theoretical Computer Science - Master
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 15. Version gültig ab WS 2025/26 > Seminar > INF-3029 - Seminar Theoretical Computer Science - Master (gültig ab WS 2024/25) > Seminar Theoretical Computer Science - Master
• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 9. Version gültig ab WS 2025/26 > Wahlbereich > INF-3029 - Seminar Theoretical Computer Science - Master (gültig ab WS 2024/25) > Seminar Theoretical Computer Science - Master
• Informatik Master Informatik, FPO 2026, 1. Version gültig ab WS 2026/27 > F. Seminar > INF-3029 - Seminar Theoretical Computer Science - Master (gültig ab WS 2024/25) > Seminar Theoretical Computer Science - Master
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 17. Version gültig ab WS 2026/27 > Seminar > INF-3029 - Seminar Theoretical Computer Science - Master (gültig ab WS 2024/25) > Seminar Theoretical Computer Science - Master
• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 9. Version gültig ab WS 2025/26 > Informatik > INF-3029 - Seminar Theoretical Computer Science - Master (gültig ab WS 2024/25) > Seminar Theoretical Computer Science - Master
• Informatik M.Sc. Informatik, PO 2018, 15. Version gültig ab WS 2025/26 > Seminar > INF-3029 - Seminar Theoretical Computer Science - Master (gültig ab WS 2024/25) > Seminar Theoretical Computer Science - Master
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 14. Version gültig ab SS 2025 > Seminar > INF-3029 - Seminar Theoretical Computer Science - Master (gültig ab WS 2024/25) > Seminar Theoretical Computer Science - Master
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 13. Version gültig ab WS 2024/25 > Seminar > INF-3029 - Seminar Theoretical Computer Science - Master (gültig ab WS 2024/25) > Seminar Theoretical Computer Science - Master
• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 8. Version gültig ab SS 2025 > Informatik > INF-3029 - Seminar Theoretical Computer Science - Master (gültig ab WS 2024/25) > Seminar Theoretical Computer Science - Master
• Informatik M.Sc. Informatik, PO 2018, 13. Version gültig ab WS 2024/25 > Seminar > INF-3029 - Seminar Theoretical Computer Science - Master (gültig ab WS 2024/25) > Seminar Theoretical Computer Science - Master
• Mathematics and Computer Science Master's Programme Mathematics and Computer Science PO 2024, 3. Version gültig ab WS 2026/27 > E. Computer Science Seminar > INF-3029 - Seminar Theoretical Computer Science - Master (gültig ab WS 2024/25) > Seminar Theoretical Computer Science - Master
• Informatik M.Sc. Informatik, PO 2018, 14. Version gültig ab SS 2025 > Seminar > INF-3029 - Seminar Theoretical Computer Science - Master (gültig ab WS 2024/25) > Seminar Theoretical Computer Science - Master
• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 7. Version gültig ab WS 2024/25 > Wahlbereich > INF-3029 - Seminar Theoretical Computer Science - Master (gültig ab WS 2024/25) > Seminar Theoretical Computer Science - Master
• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 11. Version gültig ab WS 2026/27 > Informatik > INF-3029 - Seminar Theoretical Computer Science - Master (gültig ab WS 2024/25) > Seminar Theoretical Computer Science - Master
• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 11. Version gültig ab WS 2026/27 > Wahlbereich > INF-3029 - Seminar Theoretical Computer Science - Master (gültig ab WS 2024/25) > Seminar Theoretical Computer Science - Master
• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 7. Version gültig ab WS 2024/25 > Informatik > INF-3029 - Seminar Theoretical Computer Science - Master (gültig ab WS 2024/25) > Seminar Theoretical Computer Science - Master