| V I S U A L I Z Z A D I S C U S S I O N E |
| maspero |
Inserito il - 19/10/2007 : 10:49:47
Qualcuno
condividerebbe la soluzione anche solo di un esercizio di quelli assegnati per casa durante la lezione di giovedi?
Giusto per capire un po' meglio il modo di svolgere questo tipo di esercizi. |
| 6 U L T I M E R I S P O S T E (in alto le più recenti) |
| donricu |
Inserito il - 25/10/2007 : 10:50:20
micamalex
mi sembrano corrette le tue soluzioni
per l'ultimo eserciozio mi viene in mente anche
3. "UN NUMERO E' PRIMO SSE OGNI SUO DIVISORE O E' 1 O E' IL NUMERO STESSO" [costante: 1; predicati binari: divisore,=]
primo(x) <=> divisore(x,1) v divisore(x,x) AND Perogni n , n!=1 and n!=x ! => ~(divisore(x,n))
sono equivalenti credo |
| caitavm81 |
Inserito il - 22/10/2007 : 09:05:05
quanti ricordi... |
| Chilavert |
Inserito il - 21/10/2007 : 14:29:30
nella 3. ci va il per ogni :) |
| Micamalex |
Inserito il - 21/10/2007 : 13:59:27
Posto la mia proposta solutiva a due dei quattro esercizi (per gli altri ho qualche difficoltà e ho bisogno di tempo).
Non so se sono esatte: accettasi considerazioni e correzioni.
1. "TRA COLORO CHE CONOSCO NON C'E' NESSUNO PIU' ALTO DI NICOLE E NESSUNO PIU' BASSO DI SUO PADRE"
[costanti: io, Nicole ; predicati binari: >, conoscere ; funzioni unarie: padre, altezza]
Perogni x conoscere(x,io) => altezza(Nicole)>altezza(x) AND altezza(x)>altezza(padre(Nicole))
3. "UN NUMERO E' PRIMO SSE OGNI SUO DIVISORE O E' 1 O E' IL NUMERO STESSO" [costante: 1; predicati binari: divisore,=]
Esiste x primo(x) <=> divisore(x,1) v divisore(x,x) AND Perogni divisore(x,n) => n=1 v n=x
|
| papyrus |
Inserito il - 20/10/2007 : 20:01:44
ciao, qualcuno mi presterebbe gli appunti.... anche se dell'anno 2006/07
GRAZIEEE.... |
| rel |
Inserito il - 20/10/2007 : 16:24:37
cosa ha fatto nell'ultima lezione? grazie |
