Weiß jemand ob die Vorlesungsteile 12+13 (Sorten + Lambda Kalkül) aus dem Logik Teil Prüfungsrelevant sind?

Wie sieht's bei Semantik aus, ist da etwas eingeschränkt worden?

VG

Push

Kommt darauf an bei wem du Prüfung machst. Lambda war bei Eschenbach nicht relevant.