Logo of the university Bild aus dem Unileben Bild aus dem Unileben Bild aus dem Unileben Bild aus dem Unileben Bild aus dem Unileben  
FIM Faculty teaching current semester

Courses

current semester | future semesters | former semesters

Typen und Programmiersprachen
Dozierende:
Liebig, Jörg
Veranstaltungstyp:
Übung
Beschreibung:
Ein Typsystem ist eine syntaktische Methode zur automatischen Überprüfung von Programmen mit dem Ziel bestimmtes fehlerhaftes Programmverhalten auszuschließen. Die Vorlesung führt in die Grundlagen von Typen und Typsystemen im Kontext von Programmiersprachen ein.

Konkrete Inhalte:
- mathematische Grundlagen
- formale Definition von Syntax und Semantik
- ungetyptes Lambda-Kalkül
- einfache Typen
- getyptes Lambda-Kalkül inkl. Erweiterungen für Listen, Let-Bindings, Rekursion, etc.
- Referenzen
- Exceptions
- Subtyping
- Typen in objektorientierten Sprachen inkl. Erweiterungen
- rekursive Typen
- universelle und existentielle Typen
Ort:
(WIWI) SR 033
Zeiten:
Do. 14:00 - 16:00 (wöchentlich)
Erster Termin:Do., 19.04.2012, 14:00 - 16:00, Ort: (WIWI) SR 033
Semester:
SS 12
Veranstaltungsnummer:
5792UE
TeilnehmerInnen
Die Zielgruppe für diese Veranstaltung umfasst Studierende aus dem Bereich Informatik und Internet Computing (Bachelor, Master, Diplom, Promotion). Die Studierenden sollten Interesse an Programmierung haben (objektorientiert, imperativ und/oder funktional).
Voraussetzungen:
Studierende sollten programmieren können, wobei die Programmiersprache eine untergeordnete Rolle spielt.
Lernorganisation:
Es findet neben der Vorlesung eine begleitende Übung statt. In dieser werden die Vorlesungsinhalte aufgearbeitet. Es werden Aufgabenblätter zu bearbeiten und zu präsentieren sein.
Leistungsnachweis:
Als Leistungsnachweis und Zulassungsberechtigung zur Prüfung werden die Studierenden die Übungsaufgaben selbständig bearbeiten und präsentieren.
Anrechenbar für:
Die Angaben zu den Anrechenbarkeiten an der FIM sind ohne Gewähr. Bitte beachten Sie die verbindliche Liste der Anrechenbarkeiten .
Nicht mehr angebotene Studiengänge > Diplomstudiengang Informatik
Fakultät für Informatik und Mathematik > Masterstudiengang Informatik
Weitere Informationen zu dieser Veranstaltung:
Heimatinstitut: Lehrstuhl für Informatik mit Schwerpunkt Programmierung
beteiligte Institute: Lehrstuhl für Informatik mit Schwerpunkt Softwareproduktlinien
Angemeldete Teilnehmer: 44
Anzahl der Postings im Forum: 27
Anzahl der Dokumente im Downloadbereich: 22
Zur Veranstaltung 

no news in this list.

 News at university
 Events at university
Home
Glossary
Imprint
Privacy policy
Home Sitemap Print version
Aktuelles Semestercurrent semester Deutsch
 Last changed: 09.10.12