Dom 18 Agosto, 06:36:49 - 2019

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

0 Utenti e 1 Visitatore stanno visualizzando questo topic.

Offline iana

  • Studente
  • *
  • Post: 30
  • FeedBack: +5/-0
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #30 il: Lun 03 Dicembre, 12:32:32 - 2007 »
No,infatti!doppio o no la cosa che conta è la presenza della condizione iniziale!

Offline Ponch84

  • Neo-Laureato
  • **
  • Post: 54
  • FeedBack: +1/-0
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #31 il: Lun 03 Dicembre, 12:35:10 - 2007 »
Scusate ma di quale esame state parlando?

Appello 23 Luglio 2007

Grafo 1: R,S,T
Grafo 2: AS,T
Grafo 3: R
Grafo 4:?

Appello 20 Settembre 2007

Grafo 1: IR,AS
Grafo 2: R,S
Grafo 3: ?
Grafo 4: S

Vanno bene?
Il ? l'ho messo perchè secondo me non hanno nessuna proprietà però bo!

Poi gentilmente nessuno può dirmi le soluzioni del primo punto della Domanda 4 di entrambi gli appelli?
Cioè da quello che ho capito bisogna solo scrivere se sono totali,iniettive, suriettive o biiettive e basta senza specificare nulla?  ???


Offline Alexander

  • Studente di Dottorato
  • ***
  • Post: 239
  • FeedBack: +17/-7
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #32 il: Lun 03 Dicembre, 12:52:15 - 2007 »
Per Ponch84:
L'appello del 23 marzo nn l'ho fatto, ma quello del 20 settembre si ;)
Per quanto riguarda i grafi, mi sono venuti gli stessi identici risultati, compreso il terzo ke nn ha nessuna proprietà...
Per le funzioni:

1 ) totale
2 ) totale,iniettiva
3 ) non totale,biiettiva
4 ) totale,iniettiva
5 ) totale,iniettiva
6 ) totale, biiettiva
7 ) totale
8 ) totale,suriettiva
 penso di aver scritto giusto.. :P
« Ultima modifica: Lun 03 Dicembre, 13:01:20 - 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 #33 il: Lun 03 Dicembre, 13:13:22 - 2007 »
le funzioni sono giuste, ma i grafi, per come ci ha detto iaia, il primo verrebbe transitivo...
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 Alexander

  • Studente di Dottorato
  • ***
  • Post: 239
  • FeedBack: +17/-7
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #34 il: Lun 03 Dicembre, 13:26:23 - 2007 »
giusto, me ne sono dimenticato :P
rattilus, anke tu hai fatto le funzioni? ti sono venuti questi risultati?
.:: Ad Astra Per Aspera ::.

Offline Ponch84

  • Neo-Laureato
  • **
  • Post: 54
  • FeedBack: +1/-0
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #35 il: Lun 03 Dicembre, 13:40:44 - 2007 »
Allora ho capito questo fatto dei grafi. Ora mi è rimasto un unico dubbio sulla logica del primo ordine. La tipologia degli esercizi finora era sempre quella di dire se le formule erano soddisfacibili e di trovare un modello. Ho capito che non devo fare il tablau ma devo cercare subito un modello "a occhio" cosa non facile ma fattibile. Ora mi chiedo se devo trovare invece se una formula è una tautologia o una contraddiione e devo fare il tableau valgono le stesse considerazione dei tableaux della logica proposizionale? Nel senso se faccio il tableau della formula negata e mi chiude allora la formula iniziale è una tautologia?

Offline Alexander

  • Studente di Dottorato
  • ***
  • Post: 239
  • FeedBack: +17/-7
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #36 il: Lun 03 Dicembre, 13:47:40 - 2007 »
dipende tutto da cosa richiede la traccia..
in un altro post avevo scritto:

"se ti chiede di verificare ke la formula sia contraddittoria, o sia una tautologia, in tutti e due i casi devi fare un tableau... :sisi:
Sappiamo ke il tableau del primo ordine ci dà informazioni solo se risulta chiuso, una volta espanso (e quindi anke dopo aver applicato skolemizzazioni varie).
Quindi:
se ci viene chiesto di verificare se la formula sia una tautologia         ---> controlliamo il tableau della negata
se ci viene chiesto di verificare se la formula sia una contraddizione  ---> controlliamo il tableau diretto

...ma se richiede solo la soddisfacibilità, ce la potremmo cavare benissimo senza tableau, esibendo direttamente un modello qualsiasi (costruito "a occhio")  ;D"

...adesso l'unica differenza tra un tableau proposizionale e uno del primo ordine è ke mentre il primo ci dà sempre informazioni, dal secondo possiamo dedurne qualcosa solo se una volta svolto risulta CHIUSO..

es.: se un tableau proposizionale ci viene aperto, sappiamo ke la formula associata è soddisfacibile..
mentre se fai un tableau del primo ordine e ti viene aperto, nn puoi dire niente..
viceversa, se ti viene chiuso, sai per certo ke è una contraddizione..
spero di essere stato chiaro...
.:: Ad Astra Per Aspera ::.

Offline Ponch84

  • Neo-Laureato
  • **
  • Post: 54
  • FeedBack: +1/-0
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #37 il: Lun 03 Dicembre, 13:57:55 - 2007 »
Ho capito grazie quindi non cambia niente nel metodo di fare i tableau cioè sempre con la formula negata per vedere se è una tautologia ecc. come nella logica proposizionale.

Offline Alexander

  • Studente di Dottorato
  • ***
  • Post: 239
  • FeedBack: +17/-7
    • Mostra profilo
Re: (!Risultati!) testi di esame della pirri.
« Risposta #38 il: Lun 03 Dicembre, 14:00:43 - 2007 »
esatto!!!
cambia solo la verifica della soddisfacibilità (quella si fa "a occhio") :asd:
.:: Ad Astra Per Aspera ::.