Vorlesungsverzeichnis (WiSe 2016/17)


Seitenansicht wählen: kurz mittel lang

Vorlesungsverzeichnis

Mathematisch-Naturwissenschaftliche Fakultät

Institut für Informatik und Computational Science

Master of Education

Informatik (Prüfungsversion ab WiSe 2011/12)

Vertiefungsmodul Informatik

	Veranstaltungsart	Titel der Veranstaltung

165	Hauptseminar	Aktuelle Themen der Wirtschaftsinformatik und des Electronic Government	belegen/abmelden
551311	Vorlesung	Intelligente Datenanalyse 2	belegen/abmelden
551321	Übung	Intelligente Datenanalyse 2	belegen/abmelden
551711	Vorlesung	Compiler und Programmtransformation	belegen/abmelden
551711	Vorlesung	Secure Information Flow	belegen/abmelden
551721	Übung	Compiler und Programmtransformation	belegen/abmelden
551721	Übung	Secure Information Flow	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
554111	Vorlesung	Zuverlässigkeit und Fehlertoleranz	belegen/abmelden
554121	Übung	Zuverlässigkeit und Fehlertoleranz	belegen/abmelden
554511	Vorlesung	Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme	belegen/abmelden
554521	Übung	Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme	belegen/abmelden
554731	Seminar	Cognitive technologies	belegen/abmelden
554741	Praktikum	Cognitive technologies	belegen/abmelden
554911	Vorlesung	Declarative Modeling	belegen/abmelden
554921	Übung	Declarative Modeling	belegen/abmelden
554941	Praktikum	Declarative Modeling	belegen/abmelden
555111	Projekt	Advanced Solver Construction	belegen/abmelden
555111	Projekt	Maschinelles Lernen zur naturwissenschaftlichen Modellbildung	belegen/abmelden
555111	Projekt	Neuronale Netze für die Sprachverarbeitung	belegen/abmelden
555111	Seminar	Paralleles Rechnen - Praktikum	belegen/abmelden
556311	Projekt	Advanced Agent Technology	belegen/abmelden
556311	Projekt	Praxisorientierte Softwareentwicklung am Beispiel von E-Learning Kleinprojekten	belegen/abmelden