Modul: Logik, Berechnung und Komplexität

Das hier aufgeführte Modul basiert auf in den Amtlichen Bekanntmachungen der Universität Potsdam veröffentlichten Studien- und Prüfungsordnungen.
Verbindliche Regelungswirkung haben nur die veröffentlichten Ordnungen.

INF-2060: Logik, Berechnung und Komplexität

Anzahl der Leistungspunkte (LP):
6 LP

Modulart (Pflicht- oder Wahlpflichtmodul):	Abhängig vom Studiengang (siehe unten)
Inhalte und Qualifikationsziele des Moduls:	Inhalte Formale Logik und Kalküle, logische Verfahren zur Verarbeitung von Informationen, Optimierungstechniken, Komplexitätsanalysen, Aspekte der Implementierung formaler Methoden, Anwendungsbeispiele. Qualifikationsziele Die Studierennden verstehen formal-logische Methoden, ihrer Berechnungskomplexität, Techniken zur effizienten Implementierung derartiger Methoden, sowie ihrer Anwendungen.
Modul(teil)prüfungen (Anzahl, Form, Umfang, Arbeitsaufwand in LP):	Eine Prüfung der folgenden Formen: Klausur, 90 Minuten Mündliche Prüfung, 30 Minuten
Selbstlernzeit (in Zeitstunden (h)):	120

Veranstaltungen (Lehrformen)	Kontaktzeit (in SWS)	Prüfungsnebenleistungen (Anzahl, Form, Umfang)		Lehrveranstaltungsbegleitende Modul(teil)prüfung (Anzahl, Form, Umfang)
		Für den Abschluss des Moduls	Für die Zulassung zur Modulprüfung
Vorlesung und Übung (Vorlesung und Übung)	4	-	-	-


Häufigkeit des Angebots:	SoSe (alle vier Semester)
Voraussetzung für die Teilnahme am Modul:	Empfohlen sind die Kompetenzen aus den Modulen INF-1020 (Formale Grundlagen der Informatik) und INF-1021 (Theoretische Grundlagen: effiziente Algorithmen) oder vergleichbare.
Anbietende Lehreinheit(en):	Informatik

Zuordnung zu Studiengängen	Modulart
Bachelor of Science Informatik/Computational Science WiSe 2013/14	Wahlpflichtmodul
Bachelor of Science Informatik/Computational Science WiSe 2019/20	Wahlpflichtmodul