|
Ziele:
Regeln zur Struktur von Termen
in der Vorlesung:
- Terme zu den Signaturen von Mod-2.16 konsturieren.
- Beispiele für falsche Terme.
- Vergleich mit Typregeln in Programmiersprachen.
nachlesen:
G. Goos: Vorl. über Informatik Bd.1, Abschnitt 3.1
Verständnisfragen:
- Welche Terme kann man aus den Operationen
0: -> N0 und succ: N0 -> N0
bilden?
- Geben Sie einige Terme zu den Signaturen von Mod-2.16 an.
|
