wlinux

User info:

Registered: Jun 2008
Posts: 26 (0.00 al dì)
Location:
Corso: TICOM
Anno:
Time Online: 22:57:01: [...]
Status: Offline

Post actions:

Risolvendo l'esercizio 3, il secondo insieme (Z7) non mi risulta che verifichi l'associatività.
Infatti se eseguo, ad esempio, ((3//3)//3) ottengo 0 mentre se eseguo (3//(3//3) ottengo 3.
E' corretto?
Mi aspettavo che tutti gli esempi dovessero verificare gli assiomi ...

Last edited by wlinux on 23-08-2010 at 13:30

wlinux

User info:

Registered: Jun 2008
Posts: 26 (0.00 al dì)
Location:
Corso: TICOM
Anno:
Time Online: 22:57:01: [...]
Status: Offline

Post actions:

ho avuto la conferma dal prof che è corretto: (Z7,//) non è un monoide e non necessariamente tutti gli esempi devono verificare gli assiomi.