You are here

Home › Teaching › SS 2014 ›

Programmiersprachen und Typsysteme

Semester: 
SS 2014
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 2014
Vorlesung
Wednesday 12:15-13:45 AM S2

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

Übungsgruppe 2
Wednesday 11:00-11:45 Cook/Karp

Vorlesung
Wednesday April 9, 2014 12:15-13:45 (AM S2)
Wednesday April 16, 2014 12:15-13:45 (AM S2)
Wednesday April 23, 2014 12:15-13:45 (AM S2)
Wednesday April 30, 2014 12:15-13:45 (AM S2)
Wednesday May 7, 2014 12:15-13:45 (AM S2)
Wednesday May 14, 2014 12:15-13:45 (AM S2)
Wednesday May 21, 2014 12:15-13:45 (AM S2)
Wednesday May 28, 2014 12:15-13:45 (AM S2)
Wednesday June 4, 2014 12:15-13:45 (AM S2)
Wednesday June 11, 2014 12:15-13:45 (AM S2)
Wednesday June 18, 2014 12:15-13:45 (AM S2)
Wednesday June 25, 2014 12:15-13:45 (AM S2)
Wednesday July 2, 2014 12:15-13:45 (AM S2)
Wednesday July 9, 2014 12:15-13:45 (AM S2)
Wednesday July 16, 2014 12:15-13:45 (AM S2)
Wednesday July 23, 2014 12:15-13:45 (AM S2)

Übungsgruppe 1
Tuesday April 8, 2014 12:15-13:00 (AM S2)
Tuesday April 15, 2014 12:15-13:00 (AM S2)
Tuesday April 22, 2014 12:15-13:00 (AM S2)
Tuesday April 29, 2014 12:15-13:00 (AM S2)
Tuesday May 6, 2014 12:15-13:00 (AM S2)
Tuesday May 13, 2014 12:15-13:00 (AM S2)
Tuesday May 20, 2014 12:15-13:00 (AM S2)
Tuesday May 27, 2014 12:15-13:00 (AM S2)
Tuesday June 3, 2014 12:15-13:00 (AM S2)
Tuesday June 10, 2014 12:15-13:00 (AM S2)
Tuesday June 17, 2014 12:15-13:00 (AM S2)
Tuesday June 24, 2014 12:15-13:00 (AM S2)
Tuesday July 1, 2014 12:15-13:00 (AM S2)
Tuesday July 8, 2014 12:15-13:00 (AM S2)
Tuesday July 15, 2014 12:15-13:00 (AM S2)
Tuesday July 22, 2014 12:15-13:00 (AM S2)

Übungsgruppe 2
Wednesday April 9, 2014 11:00-11:45 (Cook/Karp)
Wednesday April 16, 2014 11:00-11:45 (Cook/Karp)
Wednesday April 23, 2014 11:00-11:45 (Cook/Karp)
Wednesday April 30, 2014 11:00-11:45 (Cook/Karp)
Wednesday May 7, 2014 11:00-11:45 (Cook/Karp)
Wednesday May 14, 2014 11:00-11:45 (Cook/Karp)
Wednesday May 21, 2014 11:00-11:45 (Cook/Karp)
Wednesday May 28, 2014 11:00-11:45 (Cook/Karp)
Wednesday June 4, 2014 11:00-11:45 (Cook/Karp)
Wednesday June 11, 2014 11:00-11:45 (Cook/Karp)
Wednesday June 18, 2014 11:00-11:45 (Cook/Karp)
Wednesday June 25, 2014 11:00-11:45 (Cook/Karp)
Wednesday July 2, 2014 11:00-11:45 (Cook/Karp)
Wednesday July 9, 2014 11:00-11:45 (Cook/Karp)
Wednesday July 16, 2014 11:00-11:45 (Cook/Karp)
Wednesday July 23, 2014 11:00-11:45 (Cook/Karp)

click to view Dates.

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

Studienplan:
Informatik Bachelor, 4. Semester, Anwendungsfach IT-Sicherheit und Zuverlässigkeit, Pflicht
Informatik Bachelor, 6. Semester, Wahlpflicht
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
Package icon Kellermaschine