Vorlesungsverzeichnis (SoSe 2023)

Suche nach Veranstaltungen

PDF-Versionen Neben der tagesaktuellen Online-Version (diese Seite) bieten wir einzelne PDF-Fassungen des Vorlesungsverzeichnisses an, die Sie über unsere Übersichtsseite herunterladen können.

Vorlesungsverzeichnis

Fakultät für Mathematik und Informatik

Master-Studiengänge / Master program

Informatik M.Sc. / Computer Science M.Sc. (PO 2016)

Vertiefung Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 214344 Advanced Functional Programming   -   Universitätsprofessor Dr. Grelck Vorlesung/Übung     SS 2023 Fakultät für Mathematik und Informatik , Praktische Informatik belegen/abmelden 213651 Advanced Information Retrieval   -   Universitätsprofessor Dr. Hagen ,  Fröbe Vorlesung/Übung     SS 2023 Fakultät für Mathematik und Informatik , Institut für Informatik belegen/abmelden 213840 Algorithmische Netzwerkanalyse   -   Universitätsprofessor Dr. rer. nat. Komusiewicz Vorlesung/Übung     SS 2023 Fakultät für Mathematik und Informatik , Theoretische Informatik belegen/abmelden 213842 Algorithmische Netzwerkanalyse (LAB)   -   Universitätsprofessor Dr. rer. nat. Komusiewicz Vorlesung/Praktikum     SS 2023 Fakultät für Mathematik und Informatik , Theoretische Informatik belegen/abmelden 37198 Anwendungspraktikum 3D-Rechnersehen / Intelligente Systeme   -   Universitätsprofessor Dr.-Ing. Denzler ,  Penzel Projekt     SS 2023 Fakultät für Mathematik und Informatik , Institut für Informatik belegen/abmelden 10226 Elements of Computational and Data Science   -   Universitätsprofessor Dr.-Ing. Bücker ,  Dr.rer.nat. Bosse ,  Buchwald Vorlesung/Übung     SS 2023 Fakultät für Mathematik und Informatik , Technische und Angewandte Informatik belegen/abmelden 59724 Grundlagen und Techniken des automatischen Planens   -   Universitätsprofessor Dr.-Ing. Beckstein ,  Mitschunas Vorlesung/Übung     SS 2023 Fakultät für Mathematik und Informatik belegen/abmelden 65673 Hochleistungsrechnen   -   Universitätsprofessor Dr. Breuer ,  Universitätsprofessor Dr.-Ing. Bücker ,  Buchwald Vorlesung/Übung     SS 2023 Fakultät für Mathematik und Informatik , Technische und Angewandte Informatik belegen/abmelden 10159 Informationssysteme in mobilen und drahtlosen Umgebungen (ISMOD)   -   Universitätsprofessor Dr. König-Ries Vorlesung     SS 2023 Fakultät für Mathematik und Informatik belegen/abmelden 187234 Introduction to Causal Inference   -   Dr. Gerhardus ,  Universitätsprofessor Dr.-Ing. Denzler Vorlesung     SS 2023 Fakultät für Mathematik und Informatik , Institut für Informatik belegen/abmelden 15531 Lesen, diskutieren und schreiben   -   Universitätsprofessor Dr. Mundhenk ,  Universitätsprofessor Dr. Giesen Seminar     SS 2023 Fakultät für Mathematik und Informatik , Theoretische Informatik belegen/abmelden 9718 Logik und Beweisbarkeit   -   Universitätsprofessor Dr. Mundhenk ,  Staudt Vorlesung     SS 2023 Fakultät für Mathematik und Informatik , Theoretische Informatik belegen/abmelden 9598 Management of Scientific Data   -   Universitätsprofessor Dr. König-Ries ,  Dipl.-Geograph Gerlach ,  Petzold Vorlesung/Übung     SS 2023 Fakultät für Mathematik und Informatik belegen/abmelden 10237 Mobiler Code   -   apl. Prof. Dr. Amme Vorlesung     SS 2023 Fakultät für Mathematik und Informatik , Institut für Informatik belegen/abmelden 9705 Parallel Computing II   -   Universitätsprofessor Dr.-Ing. Bücker ,  Dr.rer.nat. Bosse ,  Schoder ,  Buchwald Vorlesung/Übung     SS 2023 Fakultät für Mathematik und Informatik , Technische und Angewandte Informatik belegen/abmelden 187217 Quantifizierte Boolesche Formeln: Komplexität und Solving   -   Universitätsprofessor Dr.rer.nat. Beyersdorff ,  Böhm Vorlesung     SS 2023 Fakultät für Mathematik und Informatik belegen/abmelden 65674 Quantifizierte Boolesche Formeln: Komplexität und Solving (LAB)   -   Universitätsprofessor Dr.rer.nat. Beyersdorff ,  Böhm ,  Spachmann Übung     SS 2023 Fakultät für Mathematik und Informatik belegen/abmelden 10098 Rechnersehen II   -   Universitätsprofessor Dr.-Ing. Denzler ,  Penzel Vorlesung/Übung     SS 2023 Fakultät für Mathematik und Informatik , Institut für Informatik belegen/abmelden 60327 Sichere Softwaretechnik (SWT-Spezialisierung I)   -   Dr. Brust Vorlesung     SS 2023 Fakultät für Mathematik und Informatik , Institut für Informatik belegen/abmelden 15459 Spezielle Probleme im Rechnersehen   -   Universitätsprofessor Dr.-Ing. Denzler ,  Dr. rer. nat. Sickert ,  Müsse Vorlesung     SS 2023 Fakultät für Mathematik und Informatik , Institut für Informatik belegen/abmelden 10167 SWEP - Software-Entwicklungsprojekt I/II   -   Universitätsprofessor Dr. König-Ries ,  Schöne ,  Universitätsprofessor Dr. Hagen ,  Dr. phil Dr. paed. Hoffmann Vorlesung/Praktikum     SS 2023 Fakultät für Mathematik und Informatik belegen/abmelden 51821 Übersetzerbau (SWT-Spezialisierung I)   -   apl. Prof. Dr. Amme Praktikum     SS 2023 Fakultät für Mathematik und Informatik , Institut für Informatik belegen/abmelden 22670 Visualisierung   -   Universitätsprofessor Dr.-Ing. habil. Lawonn ,  Lieb Vorlesung/Übung     SS 2023 Fakultät für Mathematik und Informatik , Technische und Angewandte Informatik belegen/abmelden