Wiederholung: Terme

• (Prädikatenlogik) ein Term t in Signatur Σ ist
  • Funktionssymbol f∈Σ der Stelligkeit k
    mit Argumenten (t₁,…, t_k), die selbst Terme sind.

  (wo ist dabei der Induktionsanfang?)

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