Vorlesung Modellierung WS 2001/2002 - Folie Nr. 216

Nächste Folie

Vorherige Seite Zur Übersicht Nächste Seite | Folien 214b-223 als PDF

Ziele:
Begriff der Signatur verstehen

in der Vorlesung:

  • Erläuterung der Begriffe
  • Beispiele für Terme zu Signaturen
  • Signatur zu STACK-Operationen
  • Hinweis: Der Name Signatur wird 2-fach verwendet: wie hier definiert und als "Signatur einer Funktion (siehe Folie Mod-2.11)".
  • Hinweis: Im Buch werden die Sorten von Operationen erst später unterschieden.

nachlesen:
G. Goos: Vorl. über Informatik Bd.1, Abschnitt 3.1