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 2004/05)

Wahlobligatorische Module

Theoretische Informatik

	Veranstaltungsart	Titel der Veranstaltung

551711	Vorlesung	Compiler und Programmtransformation	belegen/abmelden
551721	Übung	Compiler und Programmtransformation	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
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
554911	Vorlesung	Declarative Modeling	belegen/abmelden
554921	Übung	Declarative Modeling	belegen/abmelden
554941	Praktikum	Declarative Modeling	belegen/abmelden
555211	Forschungsseminar	Knowledge-based Systems	belegen/abmelden
555211	Forschungsseminar	Knowledge Representation and Reasoning	belegen/abmelden
555211	Oberseminar	Lehrstuhlkolloquium I - Diplomanden- und Doktorandenseminar - Didaktik der Informatik	belegen/abmelden
555211	Forschungsseminar	Machine learning Journal Club	belegen/abmelden
555211	Oberseminar	Theorie-Kolloquium	belegen/abmelden
555611	Oberseminar	Cartesisches Seminar	belegen/abmelden
555911	Vorlesung	Advanced Problem Solving Techniques	belegen/abmelden
555912	Übung	Advanced Problem Solving Techniques	belegen/abmelden
555913	Praktikum	Advanced Problem Solving Techniques	belegen/abmelden
555914	Projekt	Advanced Problem Solving Techniques	belegen/abmelden
556111	Seminar	Current Topics in Computational Intelligence	belegen/abmelden