Course catalog (SoSe 2021)

Vorlesungsverzeichnis

Faculty of Sciences

Master of Education

	Veranstaltungsart	Titel der Veranstaltung

550711	Vorlesung	Konzepte paralleler Programmierung	apply / withdraw application
551021	Vorlesung/Übung	Intelligente Datenanalyse & Maschinelles Lernen I	apply / withdraw application
551211	Vorlesung/Übung	Sicherheit in Rechnernetzen	apply / withdraw application
551511	Vorlesung/Übung	Netzbasierte Datenverarbeitung	apply / withdraw application
551921	Vorlesung/Übung	Codierungstheorie	apply / withdraw application
553811	Vorlesung/Übung	E-Learning	apply / withdraw application
554611	Vorlesung/Übung	Automatisierte Logik und Programmierung II: Beweisautomatisierung und Programmsynthese	apply / withdraw application
	Vorlesung/Übung	Mathematisches Beweisen lernen mithilfe des Beweisassistenten Coq	apply / withdraw application