Weiter zum Menü

Fachgruppe Kastens > Lehre > Modellierung WS 2010/11 > Folienverzeichnis > Folie 303

Weiter zum Inhalt

• Hauptseite
• Kapitelübersicht
• Folienverzeichnis
• Vorherige Folie
• Nächste Folie
• Folienpaket drucken

SUCHEN:

Weiter zum Ende

Modellierung WS 2010/11 - Folie 303

Ziele:
Regeln zur Struktur von Termen

in der Vorlesung:

• Terme zu den Signaturen von Mod-3.2 konsturieren.
• Beispiele für falsche Terme.
• Vergleich mit Typregeln in Programmiersprachen.

Verständnisfragen:

• Welche Terme kann man aus den Operationen 0: -> N₀ und succ: N₀ -> N₀ bilden?
• Geben Sie einige Terme zu den Signaturen von Mod-3.2 an.

Autor: Prof. Dr. Uwe Kastens

Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 19.11.2010

Weiter zum Anfang