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: Automatisierte Logik und Programmierung: Beweisautomatisierung und Programmsynthese (Auslaufend) | Anzahl der Leistungspunkte (LP): 6 LP |
| Modulart (Pflicht- oder Wahlpflichtmodul): | Abhängig vom Studiengang (siehe unten) |
| Inhalte und Qualifikationsziele des Moduls: | Qualifikationsziele Verständnis grundlegender Techniken logisch-formaler Programmentwicklung.
Inhalt Architektur und Implementierung von Beweissystemen, Verwaltung logischer Theorien, taktische Beweisführung, Entscheidungsprozeduren, Strategien zur Synthese effizienter Algorithmen und zur Erzeugung maschinen-lesbarer Korrektheitsbeweise. |
| Modul(teil)prüfungen (Anzahl, Form, Umfang, Arbeitsaufwand in LP): | Eine Prüfung der folgenden Formen: Klausur, ca. 90 Minuten Mündliche Prüfung, 20-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 (Vorlesung) | 3 | - | - | - |
| Übung (Übung) | 1 | - | - | - |
| Häufigkeit des Angebots: | alle zwei Jahre |
| Voraussetzung für die Teilnahme am Modul: | empfohlen: die vorherige Belegung des Moduls „Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme“ |
| Anbietende Lehreinheit(en): |
Informatik
|
| Zuordnung zu Studiengängen | Modulart |
|---|---|
| Master of Education Informatik - Sekundarst. I und II WiSe 2013/14 |
Wahlpflichtmodul
[Sekundarstufe I]
Wahlpflichtmodul [Sekundarstufe II] |
© Copyright HIS
Hochschul-Informations-System eG