| Veranstalter: | Prof. Dr. Jakob Rehof |
|---|---|
| Veranstaltungsnummer: | 042343 (Vorlesung) 042344 (Übung) |
| Typ: | Vertiefungsmodul |
| Modulnummer: | INF-MSc-319 |
| SWS: | 2 SWS Vorlesung 2 SWS Übung |
| Ort: | OH 12, Raum 1.056 |
| Zeit: | Mittwoch, 14-16 Uhr |
| Beginn: | 26.10.2016 |
| Anmeldung: | Vorlesung und Übung: Boris Düdder |
Die Vorlesung wird die Themen Typentheorie und Typinferenz behandeln. Insbesondere Zusammenhänge zwischen Programmiersprachen und Subtypenrelationen werden näher besprochen werden, mit besonderer Berücksichtigung algorithmischer und komplexitätstheoretischer Aspekte.
Eine zentrale Fragestellung der Vorlesung wird die automatische Synthese von Programmen aus Komponentenbibliotheken mittels logischer Deduktion sein.
Die Vorlesung beginnt mit einer Einführung in den getypten Lambda Kalkül. Ausgehend von den vorgestellten einfachen Typen werden Typinferenz und verwandte Fragestellungen behandelt, insbesondere im Bereich der Subtypen. Es sollen in der Vorlesung und der Übung verschiedene wissenschaftliche Artikel zu den Vorlesungsthemen erarbeitet werden.
Die Vorlesungsfolien sind aus dem Campusnetz oder über das VPN aufrufbar. Sie werden semesterbegleitend fortlaufend bereitgestellt, und zwar (planmäßig) spätestens um Mitternacht am Vorabend eines Vorlesungstages.
Im Anschluss daran kann es noch zu kleineren Änderungen kommen (z.B. das Hinzufügen der Antwort-Folien zu den während einer Vorlesung gestellten Diskussionfragen im Anschluss an eine Vorlesung).
Bei Fragen zu den Übungen und ihrer Durchführung kann sich an Boris Düdder gewandt werden.
| Gruppe | Zeit | Ort | Start | Turnus |
|---|---|---|---|---|
| 1 | Donnerstag, 10-12 Uhr | OH14, Raum 104 | 3.11.2016 | wöchentlich |
Abgabe bevor der Vorlesung im Vorlesungsraum OH12, Raum 1.056
Das Erlangen der Studienleistung ist Voraussetzung für die Teilnahme an der abschließenden mündlichen Prüfung.
Die Kriterien sind wie folgt:
Die mündlichen Prüfungen finden am Dienstag,
statt. Die Anmeldung zu den Prüfungen erfolgen über das Sekretariat (Frau Joschko).
Studierende können einen Leistungsnachweis über diese Veranstaltung ablegen.
Dazu gelten folgende Kriterien: