Vorlesungsverzeichnis (WiSe 2019/20)


Seitenansicht wählen: kurz mittel lang

Vorlesungsverzeichnis

Mathematisch-Naturwissenschaftliche Fakultät

Institut für Mathematik

Master of Science

Mathematik (Prüfungsversion ab WiSe 2010/11)

Zusatzfach

Informatik

	Veranstaltungsart	Titel der Veranstaltung

410921	Vorlesung/Übung	Geschäftsprozessmanagement	belegen/abmelden
550811	Vorlesung	Principles of Data- and Knowledge-Base Systems	belegen/abmelden
550821	Übung	Principles of Data- and Knowledge-Base Systems	belegen/abmelden
550831	Praktikum	Principles of Data- and Knowledge-Base Systems	belegen/abmelden
550921	Vorlesung/Übung	Software Engineering I	belegen/abmelden
550931	Projekt	Software Engineering I	belegen/abmelden
551321	Vorlesung/Übung	Maschinelles Lernen & Intelligente Datenanalyse II	belegen/abmelden
551621	Vorlesung/Übung	Multimedia-Technologie	belegen/abmelden
551921	Vorlesung/Übung	Codierungstheorie	belegen/abmelden
551921	Vorlesung/Übung	Einführung in Hardware- und Systembeschreibungssprachen	belegen/abmelden
552121	Vorlesung/Übung	Kryptographie und Komplexität	belegen/abmelden
552231	Seminar	Agent-technology	belegen/abmelden
552241	Praktikum	Agent-technology	belegen/abmelden
552911	Vorlesung	Naturwissenschaftlich motivierte formale Modelle	belegen/abmelden
552921	Übung	Naturwissenschaftlich motivierte formale Modelle	belegen/abmelden
553011	Vorlesung	Declarative Problem Solving and Optimization	belegen/abmelden
553021	Übung	Declarative Problem Solving and Optimization	belegen/abmelden
553031	Praktikum	Declarative Problem Solving and Optimization	belegen/abmelden
553521	Vorlesung/Übung	Service-Orientierte Architekturen	belegen/abmelden
554731	Seminar	Cognitive technologies	belegen/abmelden
554741	Praktikum	Cognitive technologies	belegen/abmelden
554921	Vorlesung/Übung	Declarative Modeling	belegen/abmelden
554941	Praktikum	Declarative Modeling	belegen/abmelden
555021	Vorlesung/Übung	Didaktik der Informatik II	belegen/abmelden
555111	Projekt	Advanced Solver Construction	belegen/abmelden
555111	Projekt	Extensive Declarative Problem Solving	belegen/abmelden
555111	Projekt	Extensive Logistics Technology	belegen/abmelden
555111	Projekt	Extensive Solver Construction	belegen/abmelden
555111	Projekt	Individuelles interdisziplinäres Projekt 1	belegen/abmelden
555111	Projekt	Individuelles interdisziplinäres Projekt 2	belegen/abmelden
555111	Projekt	Interoperability in the IoT	belegen/abmelden
555211	Seminar	Automotiv, Fahrassistenz und Selbstfahrer	belegen/abmelden
555211	Forschungsseminar	Cluster Computing	belegen/abmelden
555211	Seminar	Computer Grafik/Computer Vision	belegen/abmelden
555211	Oberseminar	Fehlertolerantes Rechnen	belegen/abmelden
555211	Seminar	Humanwissenschaftliche Informatilk	belegen/abmelden
555211	Forschungsseminar	Komplexe Multimediale Anwendungsarchitekturen	belegen/abmelden
555211	Oberseminar	Lehrstuhlkolloquium I - Diplomanden- und Doktorandenseminar - Didaktik der Informatik	belegen/abmelden
555211	Forschungsseminar	Software Engineering	belegen/abmelden
555211	Oberseminar	Theorie-Kolloquium	belegen/abmelden
555611	Oberseminar	Cartesisches Seminar	belegen/abmelden
555611	Seminar	Linux Internals	belegen/abmelden
556011	Vorlesung	Grundlagen der Informatik	belegen/abmelden
556012	Übung	Grundlagen der Informatik	belegen/abmelden
556512	Projekt	Knowledge-based Systems	belegen/abmelden
	Projekt	Advanced Logistics Technology	belegen/abmelden