Wiederholung: Terme

• (Prädikatenlogik) Signatur Σ ist Menge von Funktionssymbolen mit Stelligkeiten

  ein Term t in Signatur Σ ist

  • Funktionssymbol f∈Σ der Stelligkeit k
    mit Argumenten (t₁,…, t_k), die selbst Terme sind.
  Term(Σ) = Menge der Terme über Signatur Σ

• (Graphentheorie) ein Term ist ein
  gerichteter, geordneter, markierter Baum
• (Datenstrukturen)
  • Funktionssymbol = Konstruktor, Term = Baum