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-8060: Methoden des automatischen Schließens (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 logischer Kalküle, von Methoden zur automatischen Verarbeitung von Wissen mittels logischer Inferenz und von Techniken zur effizienten Implementierng derartiger Methoden.
Inhalt Prädikatenlogik, formale Kalküle, Tableauxverfahren, Konnektionsmethode, Unifikation, effiziente Implementierung von Beweisverfahren, Optimierungstechniken, Erweiterungen für Induktion, Gleichheit, konstruktive und Modallogik. |
| 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: | keine |
| 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