Für Informatiker gehören Programmiersprachen verschiedenster Art zum
täglichen Handwerkszeug. Wenn man an der Oberfläche bleibt, ist die
Vielseitigkeit der Sprach-Landschaft kaum zu überblicken, denn oft gibt es
einerseits rein äußerliche (syntaktische) Varianten des gleichen Konzepts,
andererseits echte bedeutungsmäßige (semantische) Unterschiede bei gleich
aussehenden Konstrukten.
In diesem Kurs haben wir etwas hinter die Kulissen geschaut, indem wir
mathematisch-logische Modelle und Kalküle kennengelernt haben, mit denen die
wesentlichen Eigenschaften ganzer Sprachfamilien abstrakt darstellbar sind
und die uns helfen, den ``wahren Kern'' einer Programmiersprache zu erfassen.
Vorträge
(Ausarbeitungen und Fotos dazu: auf Vortragstitel klicken)
