You are here

Home › Teaching › SS 2013 ›

Programmiersprachen und Typsysteme

Semester: 
SS 2013
Modul: 
CS3052
Lecturer: 
Dr. rer. nat. Annette Stümpel

Die Vorlesung gibt eine Einführung in den systematischen Aufbau von Programmiersprachen. Im Vordergrund steht nicht die Vielfalt von Programmiersprachen, sondern deren gemeinsame begriffliche Grundlagen. Nach einem Überblick über verschiedene Sprachkonzepte werden grundlegende Begriffe anhand einer einfachen Sprache geklärt: konkrete Syntax, abstrakte Syntax, Bindung, Typisierung, Blockstruktur. Danach werden operationelle Semantik (Auswertung) und denotationelle Semantik (Bedeutung) behandelt.

SS 2013
Vorlesung
Wednesday 12:15-13:45 Cook/Karp

Übungsgruppe 1
Tuesday 12:15-13:00 AM S2

Übungsgruppe 2
Wednesday 11:15-12:00 Cook/Karp

Vorlesung
Wednesday April 3, 2013 12:15-13:45 (Cook/Karp)
Wednesday April 10, 2013 12:15-13:45 (Cook/Karp)
Wednesday April 17, 2013 12:15-13:45 (Cook/Karp)
Wednesday April 24, 2013 12:15-13:45 (Cook/Karp)
Wednesday May 8, 2013 12:15-13:45 (Cook/Karp)
Wednesday May 15, 2013 12:15-13:45 (Cook/Karp)
Wednesday May 22, 2013 12:15-13:45 (Cook/Karp)
Wednesday May 29, 2013 12:15-13:45 (Cook/Karp)
Wednesday June 5, 2013 12:15-13:45 (Cook/Karp)
Wednesday June 12, 2013 12:15-13:45 (Cook/Karp)
Wednesday June 19, 2013 12:15-13:45 (Cook/Karp)
Wednesday June 26, 2013 12:15-13:45 (Cook/Karp)
Wednesday July 3, 2013 12:15-13:45 (Cook/Karp)
Wednesday July 10, 2013 12:15-13:45 (Cook/Karp)

Übungsgruppe 1
Tuesday April 9, 2013 12:15-13:00 (AM S2)
Tuesday April 16, 2013 12:15-13:00 (AM S2)
Tuesday April 30, 2013 12:15-13:00 (AM S2)
Tuesday May 7, 2013 12:15-13:00 (AM S2)
Tuesday May 14, 2013 12:15-13:00 (AM S2)
Tuesday May 21, 2013 12:15-13:00 (AM S2)
Tuesday May 28, 2013 12:15-13:00 (AM S2)
Tuesday June 4, 2013 12:15-13:00 (AM S2)
Tuesday June 11, 2013 12:15-13:00 (AM S2)
Tuesday June 18, 2013 12:15-13:00 (AM S2)
Tuesday June 25, 2013 12:15-13:00 (AM S2)
Tuesday July 2, 2013 12:15-13:00 (AM S2)
Tuesday July 9, 2013 12:15-13:00 (AM S2)

Übungsgruppe 2
Wednesday April 10, 2013 11:15-12:00 (Cook/Karp)
Wednesday April 17, 2013 11:15-12:00 (Cook/Karp)
Wednesday April 24, 2013 11:15-12:00 (Cook/Karp)
Wednesday May 8, 2013 11:15-12:00 (Cook/Karp)
Wednesday May 15, 2013 11:15-12:00 (Cook/Karp)
Wednesday May 22, 2013 11:15-12:00 (Cook/Karp)
Wednesday May 29, 2013 11:15-12:00 (Cook/Karp)
Wednesday June 5, 2013 11:15-12:00 (Cook/Karp)
Wednesday June 12, 2013 11:15-12:00 (Cook/Karp)
Wednesday June 19, 2013 11:15-12:00 (Cook/Karp)
Wednesday June 26, 2013 11:15-12:00 (Cook/Karp)
Wednesday July 3, 2013 11:15-12:00 (Cook/Karp)
Wednesday July 10, 2013 11:15-12:00 (Cook/Karp)

click to view Dates.

Umfang: 2V + 1 Ü
Punkte: 4 ECTS
Zertifikat: Typ A

Studienplan:
Informatik Bachelor, 6. Semester, Wahlpflicht
Informatik Bachelor, 3. bzw. 4. Semester, Anwendungsfach IT-Sicherheit und Zuverlässigkeit, Pflicht
Informatik Master, 2. Semester, Vertiefungsblock Programmierung, Pflicht
Mathematik in Medizin und Lebenswissenschaften Bachelor, 6. Semester, Wahl Informatik

Mailingliste

Alle wichtigen Informationen zur Veranstaltung Programmiersprachen werden ausschließlich über diese Mailingliste verteilt. Es wird dringend empfohlen, dass sich alle Studierenden eintragen. Der Zugriff ist nur innerhalb der Domäne "....uni-luebeck.de" möglich.

Mailingliste Programmiersprachen abonnieren.

Material
PDF icon Literatur