Bin gerade dabei mich durch den Semantik-teil zu arbeiten und leider hakt es schon nach wenigen Seiten…
Ich weiß zwar, was das Substitutionstheorem im Grunde sagt, aber die darauf folgenden Aufgaben im Skript kann ich trotzdem nicht lösen. Vielleicht kann mir jemand eine Tipp geben, ich denke wenn ich das erstmal verstanden habe, versteh ich auch den Rest…hoffe ich jedenfalls ;-)
p=(x+2), Typ = intexp, kleindelta(x)=y+1, kleinsigma(x)=3
kleinsigma'=?, FVintexp(p)=?, [p/kleindelta]intexp kleinsigma'=?, [p]intexpsigma=?