| Autore |
 Discussione  |
|
|
maspero
Utente giovane
|
 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.
|
Modificato da - caitavm81 in Data 19/10/2007 11:12:58
|
|
|
rel
Utente assiduo
|
Inserito il - 20/10/2007 : 16:24:37
|
| cosa ha fatto nell'ultima lezione? grazie |
 |
|
|
papyrus
Nuovo Utente
|
Inserito il - 20/10/2007 : 20:01:44
|
ciao, qualcuno mi presterebbe gli appunti.... anche se dell'anno 2006/07
GRAZIEEE.... |
|
|
|
Micamalex
Utente giovane
Regione: Puglia
Prov.: Bari
Città: Terlizzi
|
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
|
Lo scopo del lavoro è quello di guadagnarsi il tempo libero |
|
|
|
Chilavert
admin
Regione: Puglia
Prov.: BA
Città: Bari
|
Inserito il - 21/10/2007 : 14:29:30
|
| nella 3. ci va il per ogni :) |
E' un bene per il Prof. Xxxxxxx che sappia con chi ha a che fare.
Pensa a studiare e non agli esempi, o ad altre strade per così dire,
che questa volta mi sa che non attacca. [cit.]
Tutti professori dall'esterno, e poi parlano persone che per prendere un voto decente
ripetono l'esame 30 volte e poi fanno i sapientoni con chi segue la prima volta vedi chilavert [cit.] |
|
|
|
caitavm81
Cavaliere RosaNero
Regione: Puglia
Prov.: Foggia
Città: Foggia
|
|
|
donricu
Nuovo Utente
Regione: Puglia
Prov.: Lecce
Città: Parabita
|
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 |
|
|
| |
Discussione |
|
logica matem.:semantica del calcolo dei predicati
