.dsy:it. - In vista del secondo compitino...

Pages (3): [1] 2 3 »
Show 150 posts per page

.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- In vista del secondo compitino... (http://www.dsy.it/forum/showthread.php?threadid=34571)

Posted by Simeon on 04-04-2008 14:35:

In vista del secondo compitino...

...IMPLORO qualcuno, come ho fatto nell'altro thread, di risolvere gli esercizi di uno degli appelli di quest'anno. Ci sono dei tipi di esercizi che, affidandomi solamente ai lucidi, NON capisco come risolvere.

Riguardo alla ricerca di dimostrazione e contromodello ad esempio ero abbastanza sicuro, ed invece all'appello di febbraio li ho sbagliati entrambi e non mi ricordo per quale motivo (le correzioni sono utilissime...). Ho visto che in filez c'e' qualche esercizio risolto ma e' proprio poca roba (e ringrazio tantissimo chi l'ha messa a disposizione).

Poi ci sono anche esercizi tipo

code:
Siano A l’insieme {a, b}, P lettera predicativa unaria, Q,R lettere
predicative binarie. Stabilire per quali delle seguenti interpretazioni I la
struttura A = (A, I) `e un contromodello per la formula
9xP(x) _ 8x8y(Q(x, y) ! R(y, x))
 I(P) = ;, I(Q) = ;, I(R) = ;
 I(P) = {b}, I(Q) = A × A, I(R) = {(a, b)}
 I(P) = ;, I(Q) = {(b, a)}, I(R) = {(a, a), (b, a)}
 I(P) = ;, I(Q) = A × A, I(R) = {(a, b), (b, a)}

Che non riesco PROPRIO a capire come si risolvano.

Anche una semplice domanda di teoria come questa m'ha mandato in difficolta', e non ho ancora capito il motivo preciso.

code:
Sia L un linguaggio elementare con i seguenti simboli: a costante, f
simbolo di funzione unario, P simbolo di predicato binario
1. Scrivere un’espressione che sia un termine ground (o chiuso) di L
. . .
2. Scrivere una formula di L che sia un enunciato . . .
3. Scrivere una formula di L che contenga almeno una variabile libera
e almeno una variabile vincolata . . .

Il genere di esercizi come questo invece sono abbastanza in grado di risolverlo, ma questo in particolare l'ho sbagliato del tutto e

code:
Formalizzare il seguente ragionamento e dire se `e corretto o meno.Utilizzare simboli e interpretazioni indicati di seguito

Qualche studente ha superato tutti gli esami quindi non ci sono esami che
non sono stati superati da nessuno studente

Riguardo prolog invece mi sento tutto sommato "tranquillo", ed e' piu' facile trovare materiale in giro.

In ogni caso, c'e' piu' di un mese di tempo, spero proprio che qualcuno possa fare qualcosa.

:help:

Posted by Simeon on 28-04-2008 12:20:

Rinnovo la mia supplica rivolta a qualche anima pia che possa svolgere almeno un esercizio per tipo degli appelli di quest'anno.

Tra l'altro e' il 28 e del compitino del 12 non si sa ancora nulla, ha detto qualcosa a lezione?

Grazie.

Posted by yeah on 30-04-2008 12:51:

La formula nel primo pezzo di codice è corretta? Perché io vedo cose del tipo 9xP(x)... in ogni caso potrei provare andando ad intuito, perché non ho seguito il corso.

__________________
?

Posted by Simeon on 01-05-2008 10:53:

No e' che ho pastato direttamente dal pdf e qualche carattere viene visualizzato strano, sistemero'.

E' il primo maggio, il compitino e' il 12 e non si sa ancora niente...

Posted by nikogalla on 01-05-2008 16:54:

ese tipo esame

code:
Sia L un linguaggio elementare con i seguenti simboli: a costante, f
simbolo di funzione unario, P simbolo di predicato binario
1. Scrivere un’espressione che sia un termine ground (o chiuso) di L

termine ground=termine che non include variabili---> a

2. Scrivere una formula di L che sia un enunciato . . .

enunciato: formula in cui nessuna variabile occorre libera, P è binario, quindi necessita di 2 termini.

ЕyVxP(f(x),f(y))

E=esiste
V=per ogni

3. Scrivere una formula di L che contenga almeno una variabile libera
e almeno una variabile vincolata . . .

VxP(f(x),f(y))

code:
Formalizzare il seguente ragionamento e dire se `e corretto o meno.Utilizzare simboli e interpretazioni indicati di seguito

Qualche studente ha superato tutti gli esami quindi non ci sono esami che
non sono stati superati da nessuno studente

pongo:

x=studente variabile
y=esame variabile
S= predicato binario (superare)

ExVy (S(x,y)) -> !EyVx(!S(x,y))

dovrebbero essere giusti ma controllate!!

Posted by Simeon on 02-05-2008 11:11:

Io non so se sono giusti o meno ma ti ringrazio

Ora mi piacerebbe tanto avere informazioni su sto secondo compitino, dato che sul SIFA non ci sono iscrizioni, mancano 10 giorni e non si sa niente... NESSUNO sa niente?

Posted by nikogalla on 02-05-2008 11:30:

sec compitino

Guarda l'esercitatrice di Ghilardi non ha detto molto, solo che nel compitino dovrai essere in grado di riconoscere termini, termini chiusi,formule atomiche e non atomiche,occorrenze libere e vincolate di variabili, enunciati e formule con variabili libere, ordini di precedenza, fare esempi di termini, termini ground, enunciati.. Ovviamente ci saranno 1 o più tableaux, da quello che ho capito non dovrebbe esserci la ricerca di dimostrazione ma solo la formulazione del contromodello

Posted by Simeon on 02-05-2008 14:49:

Re: sec compitino

Originally posted by nikogalla
Guarda l'esercitatrice di Ghilardi non ha detto molto, solo che nel compitino dovrai essere in grado di riconoscere termini, termini chiusi,formule atomiche e non atomiche,occorrenze libere e vincolate di variabili, enunciati e formule con variabili libere, ordini di precedenza, fare esempi di termini, termini ground, enunciati.. Ovviamente ci saranno 1 o più tableaux, da quello che ho capito non dovrebbe esserci la ricerca di dimostrazione ma solo la formulazione del contromodello

grazie ma come informazioni intendevo tipo se e' necessaria l'iscrizione al SIFA e cose cosi'.

Sapresti dirmi qualcosa al riguardo? E' da un po' di giorni che tengo d'occhio la situazione ma sul sifa non ci sono appelli a cui iscriversi. Basta aver passato il primo?

Posted by valeriam. on 06-05-2008 17:15:

c'è scritto sul suo sito: "Sono automaticamente ammessi tutti (e solo) coloro che hanno passato il primo compitino. Non e` prevista nessuna iscrizione. "

Posted by Simeon on 07-05-2008 16:24:

Re: ese tipo esame

Formalizzare il seguente ragionamento e dire se `e corretto o meno.Utilizzare simboli e interpretazioni indicati di seguito

Qualche studente ha superato tutti gli esami quindi non ci sono esami che
non sono stati superati da nessuno studente

pongo:

x=studente variabile
y=esame variabile
S= predicato binario (superare)

ExVy (S(x,y)) -> !EyVx(!S(x,y))

Ecco stavo rivedendo qui, ma senza fare il calcolo del tableaux come si puo' dire se il ragionamento e' corretto o meno?

Poi un'altra cosa, nei temi d'esame risolti in area filez c'e' un esercizio di ricerca di contromodello in cui si arriva ad una situazioen del genere:

P(a),EyQ(y),Vx(¬P(x) v VyQ(y))

dove la formula Vx(...) e' gia stata istanziata per il termine "a".

Ma questo esercizio non prosegue all'infinito? Se proseguo ho

P(a),Q(b),Vx(...) e chi ha risolto l'appello s'e' fermato qua, ma la formula all'interno di Vx non va istanziata nuovamente per b? Boh...

Posted by Simeon on 07-05-2008 17:42:

E scusate se metto un altro post ma son pieno di dubbi.

Non ho capito un'altra cosa della formalizzazione, perche' (sempre negli esercizi in area filez):

"tutti i calciatori sono personaggi famosi"

viene formalizzato in

Vx(C(x)->F(x))

mentre

"qualche giocatore gioca male"

viene formalizzato in

Ex(C(x) /\ M(x))

Non capisco bene in che situazione si usi -> e in che situazione si usi /\.

Per esempio in un altro appello c'e'

"tutti i topi squittiscono" e "tutti i topi sono grigi", ed in entrambi i casi viene usato "->".

Posted by valeriam. on 07-05-2008 18:40:

quando c'è per ogni si usa l'implica
quando c'è l'esiste si usa l'and

Posted by Simeon on 07-05-2008 18:57:

Originally posted by valeriam.
quando c'è per ogni si usa l'implica
quando c'è l'esiste si usa l'and

Ah, grazie mille

Posted by phantom on 08-05-2008 12:55:

Qualcuno sa darmi la risposta esatta dell'esercizio 2.3.1 del tema d'esame del 10 luglio 2007?

Se possibile con un minimo di spiegazione!!

Grazie

Ciaoo

Posted by Simeon on 08-05-2008 15:33:

Originally posted by phantom
Qualcuno sa darmi la risposta esatta dell'esercizio 2.3.1 del tema d'esame del 10 luglio 2007?

Se possibile con un minimo di spiegazione!!

Grazie

Ciaoo

Ci provo, ma non prendere assolutamente in modo serio quel che scrivo (anzi vorrei esser smentito).

Secondo me la risposta giusta e' la terza, ovvero

I(P)=A, I(Q)=b, I(R)=AxA

da quel che ho capito per risolvere questo tipo di esercizi bisogna trovare un'interpretazione che renda vera la formula, e in sto caso con questa interpretazione:

VxP(x) sarebbe vera (perche I(p)=A, ovvero a e b, per cui vale per tutte le x dell'insieme A)

Ex(¬Q(x) /\ VyR(x,y)) sarebbe vera perche' per x=a abbiamo che ¬Q(x) e' vera (dato che Q(a) e' falsa, visto che l'interpretazione darebbe b), e Vy(R(a,y)) sarebbe vera per qualsiasi y dato che l'interpretazione di R e' vera per tutte le coppie (a,a) (a,b) (b,a) (b,b) (anche se in questo caso ci interessano solo le coppie (a,a) e (a,b) perche il pezzo precedente e' vero solo per x=a).

Io la penso cosi'.

All times are GMT. The time now is 06:24.

Pages (3): [1] 2 3 »
Show all 32 posts from this thread on one page