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-8063: Entwurf effizienter Algorithmen | Anzahl der Leistungspunkte (LP): 6 LP |
| Modulart (Pflicht- oder Wahlpflichtmodul): | Abhängig vom Studiengang (siehe unten) |
| Inhalte und Qualifikationsziele des Moduls: | Inhalte Architektur und Implementierung formaler Systeme zur Entwicklung effizienter Algorithmen, korrektheitserhaltende Optimierung, Programmverifikation und -synthese.
Qualifikationsziele Die Studierendenkennen und verstehen grundlegende Techniken formaler Programmentwicklung und ihrer Implementierung. |
| Modul(teil)prüfungen (Anzahl, Form, Umfang, Arbeitsaufwand in LP): | Eine Prüfung der folgenden Formen: Mündliche Prüfung, 30 Minuten Klausur, 90 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 |
| Voraussetzung für die Teilnahme am Modul: | keine |
| Anbietende Lehreinheit(en): |
Informatik
|
| Zuordnung zu Studiengängen | Modulart |
|---|---|
| Master of Science Computational Science WiSe 2019/20 |
Wahlpflichtmodul
|
© Copyright HIS
Hochschul-Informations-System eG