Subsumptions-Ordnung |
21.11.2016, 16:56 | Auf diesen Beitrag antworten » |
Tircson | Subsumptions-Ordnung Meine Frage: Hallo, ich Sitz seit ner weile an einer Übungsaufgabe und komm da partu nicht weiter. Die aufgabe ist folgende: Im folgenden seien a; b; c Funktions-Symbole und u; v; w; x; y; z Variable. Gib die Subsumptions-Ordnung auf der Menge {a( x; y ); a( x; x ); a( c; c )} sowie auf der Menge {b ( x; y; z ); b( x; x; y ); b( u; v; v ); b ( z; z; z )} an. Meine Ideen: Kann mir jemand dabei helfen oder wenigstens nen Ansatz geben. |
|
|
Verwandte Themen
Die Beliebtesten » |
Die Größten » |
Die Neuesten » |