Vorlesungsverzeichnis (WiSe 2016/17)


Seitenansicht wählen: kurz mittel lang

Vorlesungsverzeichnis

Bachelor of Education

	Veranstaltungsart	Titel der Veranstaltung

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
551711	Vorlesung	Compiler und Programmtransformation	belegen/abmelden
551711	Vorlesung	Secure Information Flow	belegen/abmelden
551721	Übung	Compiler und Programmtransformation	belegen/abmelden
552231	Seminar	Agent-technology	belegen/abmelden
552241	Praktikum	Agent-technology	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
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	Oberseminar	Theorie-Kolloquium	belegen/abmelden
555611	Oberseminar	Cartesisches Seminar	belegen/abmelden