Zum Inhalt springen

Alphabet erster Stufe/A/Interpretation für Terme/Definition/Begriff

Aus Wikiversity

Die Interpretation der Terme zu einem Symbolalphabet in einer gegebenen -Interpretation auf einer Grundmenge .