| Veranstalter: |
Prof. Dr. Jakob Rehof |
| Typ: |
Vertiefungsmodul |
| Modulnummer: |
INF-MSc-319 |
| Ort: |
OH 12, Raum 2.013 |
| Termin: |
Dienstags, 10-12 Uhr |
| Beginn: |
20.10.2015 |
Beschreibung
Die Vorlesung wird das Thema 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.
Neuigkeiten und Ankündigungen
Vorlesungsfolien
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).
- Organisatorisches
- Einführung und Überblick
- Ungetyptes Lambdakalkül, Church Rosser Satz und Mächtigkeit
- Einfach getyptes Lambdakalkül
- Intuitionistische Logik
Übung
Bei Fragen zu den Übungen und ihrer Durchführung kann sich an Boris Düdder gewandt werden.
- Die Übung dient der Verstetigung des Vorlesungsinhalts sowie der praktischen Anwendung der erlangten Kenntnisse über die unterliegenden Grundlagen hinaus.
- Beweise werden zum Teil länger diskutiert und durch Aufgaben dargestellt.
Anmeldung
- Bitte beachten Sie, dass Sie sich zu der Veranstaltung sowie zu der Übung bei Boris Düdder anmelden müssen!!!
Übungsgruppen
Die Übungen finden jeweils dienstags ab Dienstag, 3. November 2015 von 14:15 Uhr bis 15:45 Uhr in OH12, Raum 2.013 statt.
Übungszettel
Studienleistung
Das Erlangen der Studienleistung ist Voraussetzung für die Teilnahme an der abschließenden mündlichen Prüfung.
Die Kriterien sind wie folgt:
- Erreichen von mind. 40% der Punkte aus den Hausübungen in der ersten Hälfte der Übungsblätter
- Erreichen von mind. 40% der Punkte aus den Hausübungen in der zweiten Hälfte der Übungsblätter
Prüfungen
Die Termine für die mündlichen Prüfungen sind:
- Donnerstag, 25.2.2016
- Dienstag, 8.3.2016
Die Anmeldung zu den Prüfungen erfolgen über das Sekretariat (Frau Joschko).
Leistungsnachweis
Studierende können einen Leistungsnachweis über diese Veranstaltung ablegen.
Dazu gelten folgende Kriterien:
Kontakt
