Modul / Veranstaltung Modulverantwortlich / Dozent:innen Zeitraum |
Veranstaltungsart | Startsemester | ||
---|---|---|---|---|
M1101-CMS72 Models of Computation N.N. |
SoSe 2022 | |||
K1101-MA0002V Advanced Logics (V) | ||||
K1101-MA0002V Advanced Logics (V) Prof. Dr. rer. nat. Christine Baier; Jakob Piribauer Do, 7. Apr. 2022 [09:20] - Fr, 15. Jul. 2022 [10:50] |
Vorlesung | |||
K1101-MA0002Ü Advanced Logics (Ü) | ||||
K1101-MA0002Ü Advanced Logics (Ü) Prof. Dr. rer. nat. Christine Baier; Jakob Piribauer Do, 7. Apr. 2022 [11:10] - Do, 14. Jul. 2022 [12:40] |
Übung | |||
K1107-MA0018V Database Theory (V) | ||||
K1107-MA0018V Database Theory (V) Prof. Dr. rer. pol. Markus Krötzsch Mo, 11. Apr. 2022 [09:20] - Di, 12. Jul. 2022 [10:50] |
Vorlesung | |||
K1107-MA0018Ü Database Theory (Ü) | ||||
K1107-MA0018Ü Database Theory (Ü) Prof. Dr. rer. pol. Markus Krötzsch Di, 12. Apr. 2022 [14:50] - Di, 12. Jul. 2022 [16:20] |
Übung | |||
M1101-CMS74 Advanced Logical Modeling N.N. |
SoSe 2022 | |||
K1101-MA0002V Advanced Logics (V) | ||||
K1101-MA0002V Advanced Logics (V) Prof. Dr. rer. nat. Christine Baier; Jakob Piribauer Do, 7. Apr. 2022 [09:20] - Fr, 15. Jul. 2022 [10:50] |
Vorlesung | |||
K1101-MA0002Ü Advanced Logics (Ü) | ||||
K1101-MA0002Ü Advanced Logics (Ü) Prof. Dr. rer. nat. Christine Baier; Jakob Piribauer Do, 7. Apr. 2022 [11:10] - Do, 14. Jul. 2022 [12:40] |
Übung | |||
K1101-MA0008V Concurrency Theory (V) | ||||
K1101-MA0008V Concurrency Theory (V) Prof. Dr. rer. pol. Markus Krötzsch; Dr. rer. nat. Stephan Mennicke Di, 12. Apr. 2022 [11:10] - Di, 12. Jul. 2022 [12:40] |
Vorlesung | |||
K1101-MA0008Ü Concurrency Theory (Ü) | ||||
K1101-MA0008Ü Concurrency Theory (Ü) Prof. Dr. rer. pol. Markus Krötzsch; Dr. rer. nat. Stephan Mennicke Mi, 13. Apr. 2022 [11:10] - Mi, 13. Jul. 2022 [12:40] |
Übung | |||
K1101-MA0016V Description Logic (V) | ||||
K1101-MA0016V Description Logic (V) Prof. Dr.-Ing. Franz Baader Di, 5. Apr. 2022 [16:40] - Do, 14. Jul. 2022 [18:10] |
Vorlesung | |||
K1101-MA0016Ü Description Logic (Ü) | ||||
K1101-MA0016Ü Description Logic (Ü) Prof. Dr.-Ing. Franz Baader Mi, 6. Apr. 2022 [14:50] - Mi, 13. Jul. 2022 [16:20] |
Übung | |||
K1101-MA0018V Logic based Ontology Engineering (V) | ||||
K1101-MA0018V Logic Based Ontology Engineering (V) Prof. Dr.-Ing. Franz Baader; Dr.-Ing. Stefan Borgwardt Mi, 6. Apr. 2022 [09:20] - Mi, 13. Jul. 2022 [10:50] |
Vorlesung | |||
K1101-MA0018Ü Logic based Ontology Engineering (Ü) | ||||
K1101-MA0018Ü Logic Based Ontology Engineering (Ü) Prof. Dr.-Ing. Franz Baader; Dr.-Ing. Stefan Borgwardt Fr, 8. Apr. 2022 [13:00] - Fr, 15. Jul. 2022 [14:30] |
Übung | |||
K1107-MA0004S Seminar Knowledge Representation and Reasoning (S) | ||||
K1107-MA0004S Seminar Knowledge Representation and Reasoning (S) Dr. rer. nat. Marcos Cramer Do, 7. Apr. 2022 [14:50] - Do, 14. Jul. 2022 [16:20] |
Seminar | |||
M1101-CMS75 Logical Modeling Teamproject Prof. Dr. rer. pol. Markus Krötzsch |
SoSe 2022 | |||
K1104-CMS04X Teamprojekt Computergraphik und Visualisierung (X) | ||||
K1104-CMS04X Teamprojekt Computergraphik und Visualisierung (X) Prof. Dr. rer. nat. Stefan Gumhold |
Projektbearbeitung | |||
K1104-CMS11X Teamprojekt Immersive Systems (X) | ||||
K1104-CMS11X Teamprojekt Immersive Systems (X) Juniorprofessor Dr. Ing. Matthew McGinity |
Projektbearbeitung | |||
K1107-CMS02X Teamprojekt Computational Biology (X) | ||||
K1107-CMS02X Teamprojekt Computational Biology (X) Prof. Dr. sc. techn. Ivo F. Sbalzarini |
Projektbearbeitung |
Sie können gerne das ServiceCenterStudium kontaktieren: