Gio 22 Agosto, 11:59:18 - 2019

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

0 Utenti e 1 Visitatore stanno visualizzando questo topic.

Offline otacon7b

  • Direttore di Dipartimento
  • ***
  • Post: 1218
  • FeedBack: +55/-723
  • -.-
    • Mostra profilo
(!Risultati!) testi di esame della pirri.
« il: Sab 17 Novembre, 11:23:18 - 2007 »
Iniziamo a raccogliere tutte le nostre soluzioni per i compiti di Linguaggi e sistemi formali:

Affianco al possibile risultato trovate i commenti e i nick delle persone a cui è uscito lo stesso risultato, se qualcuno posta un risultato diverso lo scriviamo affianco con relativo nick.

Appello 6Dic2006 Compito A:
Esercizio 2
     punto1: Tautologia (otacon7b,Rattilius) |CONTROLLATO CON DERIVE| TAUTOLOGIA SICURO (x∧y)→(x∨((¬x∨(x∧z))∧(¬(x∧z)∨x)))  <.. passate a derive questa stringa
     punto2: Soddisfacibile ma non tautologica(qualsivoglia modello con !x non la soddisfa ;otacon7b,Rattilius)
     punto3:tutti i modelli
     punto4:{x},{x,y}(otacon7b,Rattilius)
     punto5: Si (poichè ho A->1 ed è sempre vero per ogni A,otacon7b,Rattilius)

Appello 8Genn2007 Compito A:

Esercizio numero 2:
     punto 1: Soddisfacibile ma non tautologica ({c} non soddisfa;otacon7b,rattilus)
     punto 2: Soddisfacibile ma non tautologica ({c,a} non soddisfa;otacon7b,rattilus)
     punto 3: {b},{a,b,c} ; (otacon7b,rattilus)
     punto 4: Tutti i modelli che non contengono C(otacon7b,rattilus,)
     punto 5: No (il modello {a,b} soddisfa psi ma non phi;otacon7b), No, però il modello {a,b}soddisfa entrambe mentre il modello vuoto soddisfa psi ma non phi

Appello 8Genn2007 Compito B:

Esercizio numero 2:
     punto 1: Soddisfacibile ma non tautologica (rattilus, serena)
     punto 2: Contraddizione (,rattilus, serena)
     punto 3: {b},{a,b,c} ; nessun modello per psi (rattilus)
     punto 4: No Essendo psi una contraddizione(rattilus, serena)

Appello 6Dic2006 Compito B:

Esercizio numero 2:
     punto 1: Soddisfacibile ma non tautologica (otacon7b,rattilius,Artax)
     punto 2: Contraddizione (otacon7b,rattilius,Artax,Defro)
     punto 3: (!z,x,!y), (!z,!x,!y)  ; (otacon7b,rattilius)
     punto 4: (vedi punto 2; otacon7b,rattilius,Artax)
     punto 5: No (vedi punto 1 e punto 2; otacon7b,rattilius,Artax)

Appello 18marzo07 compito a:
     punto 1: Soddisfaciblie ma non tautologica, il modello{w} non la soddisfa; ratt
     punto 2: Soddisfaciblie ma non tautologica, il modello{!x} non la soddisfa; ratt
     punto 3: Qualsiasi modello con x e !w la soddisfa; ratt
     punto 4: Qualsiasi modello con x e y la soddisfa; ratt
     punto 5: No, un modello x,y,w soddisfa psi ma non soddisfa phi; ratt

Appello 18marzo07 compito b:

Esercizio numero 2:
     punto 1: ??Soddisfacibile ma non tautologica (il modello {b} non la soddisfa; otacon7b, rattilus)  ??          Tautologia (Iana)
     punto 2: Soddisfacibile ma non tautologica (il modello {d,x,a,b} non la soddisfa; otacon7b, rattilus)
     punto 3: Tutti i modelli ; (Ianna)
     punto 4: Ogni modello contenente d; (otacon7b), (Ogni modello contenente d e !x o d e w;rattilus)
     punto 5: No ({a,b,d,x} soddisfa la prima ma non la seconda;otacon7b), (NO, ogni modello che contiene x, w dato che questi appartengono solo alla seconda formula; rattilus)

« Ultima modifica: Dom 02 Dicembre, 11:11:33 - 2007 da Rattilus »
http://www.youtube.com/watch?v=oD0p7a3pPFQ
"Il signor Medvedev mi ha sorriso e mi ha detto di portargli le ostriche e lo champagne. Poi ha autografato il menu per mio figlio che quando sarà grande se lo ritroverà e potrà andarne fiero. È un russo molto potente, vero?" Tino Ruta, oste del Bistrot de l'Abbe di Cervinia (Ap Com, 25 luglio)

Offline iana

  • Studente
  • *
  • Post: 30
  • FeedBack: +5/-0
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #1 il: Sab 17 Novembre, 17:50:16 - 2007 »
punto 1 es 2 18marzo07: a me viene una tautologia!nn so..mi sembra giusto cosi..

Offline otacon7b

  • Direttore di Dipartimento
  • ***
  • Post: 1218
  • FeedBack: +55/-723
  • -.-
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #2 il: Sab 17 Novembre, 18:24:00 - 2007 »
Caro/a ianna prova a sostituire nella formula codesti valori. Poni b=1 e agli altri tutti 0 e poi svolgi i calcoli con i connettivi e vedi se ti esce 0. Ah ma tu ti riferisci alla fila A o B? le soluzioni trovate da me e da Rattilius si riferiscono al compito B.
« Ultima modifica: Sab 17 Novembre, 18:26:13 - 2007 da otacon7b »
http://www.youtube.com/watch?v=oD0p7a3pPFQ
"Il signor Medvedev mi ha sorriso e mi ha detto di portargli le ostriche e lo champagne. Poi ha autografato il menu per mio figlio che quando sarà grande se lo ritroverà e potrà andarne fiero. È un russo molto potente, vero?" Tino Ruta, oste del Bistrot de l'Abbe di Cervinia (Ap Com, 25 luglio)

Offline Artax

  • Global Moderator
  • Direttore di Dipartimento
  • *****
  • Post: 1778
  • FeedBack: +132/-55
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #3 il: Dom 18 Novembre, 17:38:33 - 2007 »
Esercizio 06Dicembre06 B
1) soddisfacibile ma nn tautologica
2) contraddizione... (feat Defrenz che mi ha redarguito)
3) Devo fare
4) (vedi punto 2; otacon7b,rattilius,Artax)
5) No (vedi punto 1 e punto 2; otacon7b,rattilius,Artax)
« Ultima modifica: Dom 18 Novembre, 18:01:22 - 2007 da Artax »
http://artax87.iobloggo.com/

A computer language is not just a way of getting a computer to perform operations but rather that it is a novel formal medium for expressing ideas about methodology. Thus, programs must be written for people to read, and only incidentally for machines to execute.

Offline otacon7b

  • Direttore di Dipartimento
  • ***
  • Post: 1218
  • FeedBack: +55/-723
  • -.-
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #4 il: Dom 18 Novembre, 18:39:43 - 2007 »
Buon arty sono contento che dai una mano al topic :*
http://www.youtube.com/watch?v=oD0p7a3pPFQ
"Il signor Medvedev mi ha sorriso e mi ha detto di portargli le ostriche e lo champagne. Poi ha autografato il menu per mio figlio che quando sarà grande se lo ritroverà e potrà andarne fiero. È un russo molto potente, vero?" Tino Ruta, oste del Bistrot de l'Abbe di Cervinia (Ap Com, 25 luglio)

Offline defrenz

  • Direttore di Dipartimento
  • ***
  • Post: 1346
  • FeedBack: +35/-82
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #5 il: Dom 18 Novembre, 22:20:31 - 2007 »
io è presto x darmi ai testi degli esami *_* mi ci butto 4-5 giorni prima dello scritto :O

xò se siete indecisi su qualcosa chiedete pure :°D

Offline otacon7b

  • Direttore di Dipartimento
  • ***
  • Post: 1218
  • FeedBack: +55/-723
  • -.-
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #6 il: Lun 19 Novembre, 15:07:35 - 2007 »
Ianna avevi ragione, scusa il colpevolissimo errore mio e di rattilius, penso sbagliassimo a vedere le parentesi(almeno io sbagliavo quello) anche a me ora chiude :D Ho corretto il topic, mi raccomando contribuisci ancora :D
http://www.youtube.com/watch?v=oD0p7a3pPFQ
"Il signor Medvedev mi ha sorriso e mi ha detto di portargli le ostriche e lo champagne. Poi ha autografato il menu per mio figlio che quando sarà grande se lo ritroverà e potrà andarne fiero. È un russo molto potente, vero?" Tino Ruta, oste del Bistrot de l'Abbe di Cervinia (Ap Com, 25 luglio)

Offline iana

  • Studente
  • *
  • Post: 30
  • FeedBack: +5/-0
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #7 il: Lun 19 Novembre, 17:14:09 - 2007 »
Appello 18marzo2007 A

Domanda 2: (iana, dymios)
1) No Tautologia, No contraddizione, Si soddisfacibile;
2) Idem
3) \phi: \{x, u\}, \{u\}  \psi: \{x, y\}, \{x, y, w\}
4) in questo caso non saprei...  :-\

Offline Artax

  • Global Moderator
  • Direttore di Dipartimento
  • *****
  • Post: 1778
  • FeedBack: +132/-55
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #8 il: Lun 19 Novembre, 17:44:07 - 2007 »
Cmq sono troppo pigro pe fa i modelli delle tautologie.. che balls ç___ç
http://artax87.iobloggo.com/

A computer language is not just a way of getting a computer to perform operations but rather that it is a novel formal medium for expressing ideas about methodology. Thus, programs must be written for people to read, and only incidentally for machines to execute.

Offline Badgirl86

  • Neo-Laureato
  • **
  • Post: 72
  • FeedBack: +1/-1
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #9 il: Ven 30 Novembre, 16:12:25 - 2007 »
18marzo07 compito b:

ESERCIZIO 3: 2)

mi vengono tutte e tre soddisfacibili... possibile?  ???

Offline Alexander

  • Studente di Dottorato
  • ***
  • Post: 239
  • FeedBack: +17/-7
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #10 il: Sab 01 Dicembre, 17:53:59 - 2007 »
ho appena finito l'esercizio, ed effettivamente si tratta di 3 formule soddisfacibili!! ;D
anke senza fare tableau si possono trovare abbastanza facilmente modelli ke vanno bene...

...io ho mi sono ricavato questi:

per la prima :     D:{a1}  Interpretazioni--->    P:{a1}    Q:{}     R:{<a1,a1>}    S:{}

per la seconda : D:{a1,a2}  Interpretazioni--->    P:{a1,a2}     R:{}    S:{<a1,a1>,<a2,a2>}

per la terza :      D:{a1,a2}  Interpretazioni--->    P:{a1,a2}    Q:{a1,a2}     R:{}    S:{<a1,a2>}

spero ti servino a qualcosa  ;D
.:: Ad Astra Per Aspera ::.

Offline Serena

  • Studente
  • *
  • Post: 47
  • FeedBack: +5/-2
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #11 il: Dom 02 Dicembre, 10:45:18 - 2007 »
Compito 8gennaio2007 B

domanda 2:
punto 1 : Non è una tautologia ma è soddisfacibile
punto 2 : Non è nè una tautologia e non è neabche soddisfacibile
punto 3: non l'ho fatto
punto 4: no perché phi non è una tautologia

giusto?
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 #12 il: Dom 02 Dicembre, 11:07:17 - 2007 »
Ciao Serena  :D
Citazione
punto 1 : Non è una tautologia ma è soddisfacibile
Yes.
Citazione
punto 2 : Non è nè una tautologia e non è neabche soddisfacibile
Quindi è contraddizione...  ;D
Citazione
punto 3: non l'ho fatto
Per trovare un modello guardi nei rami aperti della formula che sviluppi per vedere se è SAT. io ad esempio ho un ramo con !a, !c,b quindi un modello è M={b}. Poi ne ho un'altro con b,a,c---> M={a,b,c}
Citazione
punto 4: no perché phi non è una tautologia
Chiede se phi soddisfa psi. Cioè se tutti i modelli di phi sono anche di psi. Quindi se psi (non phi come dici) è una tautologia (vera per tutti i modelli) non devi fare nessun calcolo. Anche in questo caso non devi fare nessun calcolo perchè psi è una contraddizione. Se invece ti trovavi con tutte e 2 le formule SAT dovevi fare phi ^ NOT(psi) e vedere che tutto chiudeva.
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 #13 il: Dom 02 Dicembre, 11:25:23 - 2007 »
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???
  
La felicità è qualcosa che possiamo solo inseguire, e che forse non riusciremo mai a raggiungere, qualunque cosa facciamo

Offline Serena

  • Studente
  • *
  • Post: 47
  • FeedBack: +5/-2
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #14 il: Dom 02 Dicembre, 11:27:56 - 2007 »
Ciao! ma per il punto 2 non mi chiude il tableaux di non phi.quindi significa che phi non è una tautologia.quindi è una contraddizione??
La felicità è qualcosa che possiamo solo inseguire, e che forse non riusciremo mai a raggiungere, qualunque cosa facciamo