Ven 19 Luglio, 03:53:04 - 2019

Autore Topic: (!Risultati!) testi di esame della pirri.  (Letto 5607 volte)

0 Utenti e 1 Visitatore stanno visualizzando questo topic.

Offline Rattilus

  • Direttore di Dipartimento
  • ***
  • Post: 1242
  • FeedBack: +53/-12
  • Se puoi sognarlo puoi farlo
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #15 il: Dom 02 Dicembre, 11:32:40 - 2007 »
Citazione
Ciao! ma per il punto 2 non mi chiude il tableaux di non phi.quindi significa che phi non è una tautologia.quindi è una contraddizione?
Infatti quello di non phi non chiude quiindi sicuramente non è una tautologia. Quello che devi fare quando ti capita questo è fare il tableaux della formula diretta. Se lo fai e questo chiude(come accade) allora la formula è una contraddizione. Se invece hai un solo ramo aperto, allora è SAT.
Se mi dai un po' di tempo rispondo anche alla domanda sul primo ordine.. ciaooo
Amministratore di Soloingegneria
Se tu hai una mela, e io ho una mela, e ce le scambiamo, allora tu ed io abbiamo sempre una mela per uno. Ma se tu hai un'idea, ed io ho un'idea, e ce le scambiamo, allora abbiamo entrambi due idee.

Offline Serena

  • Studente
  • *
  • Post: 47
  • FeedBack: +5/-2
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #16 il: Dom 02 Dicembre, 11:34:03 - 2007 »
grazie...
La felicità è qualcosa che possiamo solo inseguire, e che forse non riusciremo mai a raggiungere, qualunque cosa facciamo

Offline Rattilus

  • Direttore di Dipartimento
  • ***
  • Post: 1242
  • FeedBack: +53/-12
  • Se puoi sognarlo puoi farlo
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #17 il: Dom 02 Dicembre, 11:37:47 - 2007 »
Citazione
Compito 8 gennaio 2007 A

Domanda 3
 punto 2: Dominio=a1;
               Interpretazioni=     A=a1,a2    B=a1,a2    C=<a1,a1> , <a2,a1>
                                              D=a1      v(z)=a1

mi potete dire se è giusto??
Nella prima formula hai quell'implica giusto? Che diventa NOT la 1a formula OR la 2a formula. Quindi basta che fai soddisfare un ramo (NOT 1a formula) che soddisfi tutto.
Tu prendi un dominio solo con a1 poi però metti nelle interpretazioni anche a2...
è più semplice se prendi un dominio fatto solo da un elemento: D={a}
siccome sia l'interpretazione di A che di B devono essere false (il not davanti all'OR trasforma tutto in NOT A AND NOT B) per soddisfare NOT A prendi come interpretazione: A={} , B={}... e le interpretazioni di C e D le prendi come vuoi tanto stanno sull'altro ramo... capito? Ah pure l'assegnazione di z la fai come vuoi
Amministratore di Soloingegneria
Se tu hai una mela, e io ho una mela, e ce le scambiamo, allora tu ed io abbiamo sempre una mela per uno. Ma se tu hai un'idea, ed io ho un'idea, e ce le scambiamo, allora abbiamo entrambi due idee.

Offline Serena

  • Studente
  • *
  • Post: 47
  • FeedBack: +5/-2
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #18 il: Dom 02 Dicembre, 11:46:47 - 2007 »
Ho capito..grazie...
Scusa se approfitto della tua gentilezza...l'ultima domanda...
Ma se metto anche a2 nel dominio è sbagliato cmq il modello?
La felicità è qualcosa che possiamo solo inseguire, e che forse non riusciremo mai a raggiungere, qualunque cosa facciamo

Offline Rattilus

  • Direttore di Dipartimento
  • ***
  • Post: 1242
  • FeedBack: +53/-12
  • Se puoi sognarlo puoi farlo
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #19 il: Dom 02 Dicembre, 11:57:05 - 2007 »
No non è sbagliato... D={a1, a2}
se vuoi soddisfare il primo ramo però devi fare come ti ho scritto:  A={} , B={} (Gli altri a piacere)
Se vuoi soddisfare il secondo hai: C(x,y) OR D(z)   C={<a1,a2>, <a2, a1/a2>}  (Gli altri a piacere)
OR   D={a1}, V(z)=b (Gli altri a piacere).

Spero si capisca... :(
Amministratore di Soloingegneria
Se tu hai una mela, e io ho una mela, e ce le scambiamo, allora tu ed io abbiamo sempre una mela per uno. Ma se tu hai un'idea, ed io ho un'idea, e ce le scambiamo, allora abbiamo entrambi due idee.

Offline Serena

  • Studente
  • *
  • Post: 47
  • FeedBack: +5/-2
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #20 il: Dom 02 Dicembre, 11:58:13 - 2007 »
Certo...grazie ancora!!!
La felicità è qualcosa che possiamo solo inseguire, e che forse non riusciremo mai a raggiungere, qualunque cosa facciamo

Offline Rattilus

  • Direttore di Dipartimento
  • ***
  • Post: 1242
  • FeedBack: +53/-12
  • Se puoi sognarlo puoi farlo
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #21 il: Dom 02 Dicembre, 11:59:34 - 2007 »
scusa ho modificato questo: C={<a1,a2>, <a2, a1/a2>}  avevi ragione.. siccome hai per ogni x devi mettere tutti gli elementi del dominio al posto della x, la y invece rimane a scelta... Ci sentiamo!
Amministratore di Soloingegneria
Se tu hai una mela, e io ho una mela, e ce le scambiamo, allora tu ed io abbiamo sempre una mela per uno. Ma se tu hai un'idea, ed io ho un'idea, e ce le scambiamo, allora abbiamo entrambi due idee.

Offline Ponch84

  • Neo-Laureato
  • **
  • Post: 54
  • FeedBack: +1/-0
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #22 il: Lun 03 Dicembre, 08:39:17 - 2007 »
Esame 20 Settembre 2007

Esercizio 4

2) I grafi sono

a) IR, AS
b) R, S
c) IR
d) s

Sono giusti i miei risultati?

Per quanto riguarda l'esercizio 4 punto 1 come faccio a dimostrare se una funzione è totale, iniettiva, suriettiva o biiettiva?  ??? Per esempio F: R-->R   y=3x^2 ? Grazie

Offline Rattilus

  • Direttore di Dipartimento
  • ***
  • Post: 1242
  • FeedBack: +53/-12
  • Se puoi sognarlo puoi farlo
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #23 il: Lun 03 Dicembre, 09:59:12 - 2007 »
I grafi sono tutti giusti! ;) C però è anche Asimmetrica... Per quanto riguarda le funzioni non devi dimostrarlo... al max ci scrivi 2 parole di commento vicine, se ti senti proprio sicuro gliela puoi disegnare. Good Luck!
« Ultima modifica: Lun 03 Dicembre, 11:24:49 - 2007 da Rattilus »
Amministratore di Soloingegneria
Se tu hai una mela, e io ho una mela, e ce le scambiamo, allora tu ed io abbiamo sempre una mela per uno. Ma se tu hai un'idea, ed io ho un'idea, e ce le scambiamo, allora abbiamo entrambi due idee.

Offline iana

  • Studente
  • *
  • Post: 30
  • FeedBack: +5/-0
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #24 il: Lun 03 Dicembre, 10:11:01 - 2007 »
Ragazzi,per quanto riguarda la transitività dimenticate che se in un grafo non ci sono per niente due archi in fila allora la relazione che esso rappresenta E' transitiva!non so se mi sono fatta capire..

Offline Alexander

  • Studente di Dottorato
  • ***
  • Post: 239
  • FeedBack: +17/-7
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #25 il: Lun 03 Dicembre, 11:35:36 - 2007 »
Per Ponch84 e Rattilus:

Come fa a venirvi irriflessiva il terzo grafo dell'appello del 20 Set.?
Pensavo siccome c'era un cappio la relazione nn fosse nè riflessiva nè irriflessiva... ???
nn è bello avere questi dubbi a poche ore dall'esame :P

Per iana:
Quindi stando a quanto dici il secondo grafo dell'appello dovrebbe essere transitivo, se ho capito bene... ;D
« Ultima modifica: Lun 03 Dicembre, 11:42:45 - 2007 da Alexander »
.:: Ad Astra Per Aspera ::.

Offline Rattilus

  • Direttore di Dipartimento
  • ***
  • Post: 1242
  • FeedBack: +53/-12
  • Se puoi sognarlo puoi farlo
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #26 il: Lun 03 Dicembre, 11:46:52 - 2007 »
aaah hai ragione nn avevamo visto il cappio su b visto che stava tutto più in alto. Hai ragione.
@ iana: non ho capitooo! per come dici tu ogni matrice simmetrica allora è riflessiva.. o no?
Amministratore di Soloingegneria
Se tu hai una mela, e io ho una mela, e ce le scambiamo, allora tu ed io abbiamo sempre una mela per uno. Ma se tu hai un'idea, ed io ho un'idea, e ce le scambiamo, allora abbiamo entrambi due idee.

Offline iana

  • Studente
  • *
  • Post: 30
  • FeedBack: +5/-0
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #27 il: Lun 03 Dicembre, 12:01:42 - 2007 »
Consideriamo,ad esempio,il primo grafo dell'appello..sembra strano ma la relazione che rappresenta è transitiva!Questo perchè manca completamente la condizione:dati tre generici nodi a,b,c se a punta b e b punta c ecc ecc..se invece fosse accaduto almeno una volta quello che ho appena detto(a punta b che a sua volta punta c) e poi non ci fosse stato l'arco tra a e c ,allora avremmo potuto dire che la relazione non è transitiva!ok??

Anche io sbagliavo con la transitività,poi giovedì Alessio il tutor m'ha fatto capire..

Offline Alexander

  • Studente di Dottorato
  • ***
  • Post: 239
  • FeedBack: +17/-7
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #28 il: Lun 03 Dicembre, 12:21:40 - 2007 »
certo, ho capito..in assenza di condizioni possiamo dire ke una proprietà è verificata... :sisi:
bisogna starci attenti, queste sono le cose si sbagliano maggiormente!! ;D
.:: Ad Astra Per Aspera ::.

Offline Rattilus

  • Direttore di Dipartimento
  • ***
  • Post: 1242
  • FeedBack: +53/-12
  • Se puoi sognarlo puoi farlo
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #29 il: Lun 03 Dicembre, 12:26:44 - 2007 »
se c'è ab  bc ma manca ac allora non è trans.
Allora tu dici che se c'è solo ab allora è transitiva, la l'arco deve essere doppio? cioè le frecce devono andare da a a b e viceversa? deduco di no visto che in quell'esercizio che dici non ce ne sono...
Amministratore di Soloingegneria
Se tu hai una mela, e io ho una mela, e ce le scambiamo, allora tu ed io abbiamo sempre una mela per uno. Ma se tu hai un'idea, ed io ho un'idea, e ce le scambiamo, allora abbiamo entrambi due idee.