Nächste Seite:
Gleichheit von Termen
Aufwärts:
Uninterpretierte Funktionen (UF)
Vorherige Seite:
Motivation, Definition
Terme
Signatur
:
Menge von Funktionssymbolen mit Stelligkeiten
t
Term(
)
: geordneter gerichteter Baum mit zu
passender Knotenbeschriftung
-Algebra:
Trägermenge
D
zu jedem
k
-stelligen Symbol
f
eine Funktion
[
f
] :
D
k
D
.
damit wird jedem
t
Term(
)
ein Wert
[
t
]
D
zugeordnet
Term(
)
ist selbst eine
-Algebra
2009-06-22