 | |
Il progetto dsy.it è l'unofficial support site dei corsi di laurea del Dipartimento di Scienze dell'Informazione e del Dipartimento di Informatica e Comunicazione della Statale di Milano. E' un servizio degli studenti per gli studenti, curato in modo no-profit da un gruppo di essi. I nostri servizi comprendono aree di discussione per ogni Corso di Laurea, un'area download per lo scambio file, una raccolta di link e un motore di ricerca, il supporto agli studenti lavoratori, il forum hosting per Professori e studenti, i blog, e molto altro...
In questa sezione è indicizzato in textonly il contenuto del nostro forum |
[Logica - Ghilardi] Appello 27 Febbraio 2007
Clicca QUI per vedere il messaggio nel forum |
| WebSpid |
Ciao,
allora come stiamo messi per l'esame del 27 Febbraio? Come vedi Fabry ti ho anticipato nell'aprire il thread:D Pronto per l'attacco a Prolog? Cmq possiamo per ora stare tranquilli visto che abbiamo ancora un po' di tempo.
Ricordo a tutti che ho messo le soluzioni degli esami del 2006 nell'area Filez:-D |
| **Fabry** |
Grande WebSpid, prontissimo all'attacco al Prolog, oramai e fino al 27 vivo e respiro e poi godro' di brutto solo per vincere contro il Prolog :D
Ma ti rendi conto di quanto siamo avanti??? non abbiamo mai seguito il corso, e da quando siamo arrivati noi la sezione filez e piena di nostri Post con le soluzioni :) Ma sai che mazzo mi sono fatto per prepararmi a questo esame senza un esercizio postato?? siamo troppo avanti :D:D:D |
| Simone_155 |
Ciao a tutti!
riguardo alle soluzioni nell'area filez, è possibile che gli esercizi ammettano soluzioni differenti?
Ad esempio l'esercizio sulla Ricerca del Contromodello a seconda del ramo che non chiude che uno segue da soluzioni differenti!
Sono cmq tutte soluzioni corrette o c'è un criterio di scelta per individuare il cammino che porta alla soluzione milgiore?
Rispondete vi prego!!! |
| WebSpid |
Ciao Simone,
allora... per il contromodello c'è differenza a seconda che termini finito o infinito.
Se termina infinito, ci possono essere varie soluzioni, ma devi cercare di trovare una regola usando magari le formule vere già a disposizione.
Se termina finito, a mio parere, c'è solo un cammino possibile per come vengono impostati gli esercizi chiaramente.
Ciao |
| Simone_155 |
Non è per contraddirti, ma secondo me no. Se ad es. tu ai un implicazione (tipo A -> B) vera, questa si divide in due parti, e a seconda del ramo che segui il risultato finale sarà diverso!
Ad es. nel contromodello dell'appello di Settembre 2006 per 3 volte che l'ho rifatto, ottengo 3 soluzioni differenti!!E ricontrollando sono convinto che siano tutte e 3 giuste, dato che le regole sono state applicate correttamente!
Può essere secondo te? |
| WebSpid |
Mmm Simone, da questo deduco che non sei molto peparato a sto compito:?
Guarda bene... ricordati che devi sviluppare i quantificatori per tutte le soluzioni ed il ramo non deve chiudere!
Dal basso della mia soluzione...
2° passaggio) se prendessi ExP(x) vera, si annullerebbe con quella falsa!
5° passaggio) se prendessi ExQ(x) vera, avrei ad un certo punto Q(a) vera e falsa!
Studia bene la teroia prima di capire gli esercizi:D
Ciao |
| Simone_155 |
Originally posted by WebSpid
Studia bene la teroia prima di capire gli esercizi:D
Già fatto grazie...e ti cito testaulmente:
Pag. 40 delle dispense:
Per la ricerca [...] ma è sufficiente esplorare un ramo solo (purchè non chiuda) dell'albero di ricerca della prova.
E questo già di per se ammette la possibilità che esista più di un ramo che non chiuda...
Pag. 42:
[...] stiamo cercando un contromodello, ci basta aver trovato un ramo che non chiude, indipendentemente da quanto succede suglia altri rami
Inoltre, c'è anche questo:
Pag 18:
[...] mettendo un sequente gamma "feccione" delta in radice e applicando lo regole operazionali in un ordine qualsiasi si deve arrivare [...]
Anche qui parla di ordine qualsiasi...
Secondo me ci sono davvero più strade possibili...perchè come dici giustamente tu alcune diramazioni non sono applicabili perchè altrimenti il sequente chiude.
Però alcune possono essere fatte arbitrariamente perchè il sequente non chiude!
Secondo te?
PS: mi dispiace che sono in SILab, altrimenti se ero a casa ti scanerizzavo la mia versione per vedere se magari sbagliavo da qualche parte... |
| WebSpid |
Appunto, quindi quell'esercizio ha solo un cammino che non chiude.
Io ho scritto che in teoria ci sono più cammini, ma in pratica, per come sono impostati gli esercizi, di solito, se è finito, ne trovi uno solo possibile.
Quello che mi rende perplesso, è che la teoria dice quello che dico io, ma tu continui ad asserire che hai fatto giusto quell'esercizio con più soluzioni, quando la matematica, si sà, non è un opinione:-D
Comunque ricordati, e secondo me qua hai sbagliato, che devi sviluppare per tutti gli elementi del dominio senza che il ramo chiuda. |
| Simone_155 |
ok!adesso provo a rifarlo...
al max ti posto le mie scelte...se poi riesco quando torno a casa ti posto il mio esempio...ammesso che rifacendolo nn venga uguale al tuo....
Tengo però a dirti che hai perfettamente ragione, perchè anche se la teoria dice che basta seguire un ramo solo, nella pratica il ramo da seguire è spesso obbligato...
quello che appunto mi affligge è il tema di settembre, che secondo me ha più di un ramo che può cmq andar bene...
ora provo....aspetta in linea... |
| Simone_155 |
OK, applicando tutte le regole possibili, ottengo i tuoi stessi passi, tranne all'ultimo passaggio, dove c'è un errore.
Hai un esistenziale alla destra del "feccione" e quindi devi sostituire la sua x con un NUVO simbolo (d in questo caso) e non con simboli già usati come hai fatto tu.
La soluzione è quindi:
A = {a,b,c,d}
I(R) = {<d,d>}
Controlla anche tu per vedere se non ho fatto cavolate, ma sta volta sono abbastanza sicuro... |
| Simone_155 |
Mi quoto da solo perchè errore mio!!!Ho scritto:
Originally posted by Simone_155
Hai un esistenziale alla destra del "feccione" [/B]
Invece l'esistenziale c'è ma è alla sinistra del feccione...e quindi si espande come ho detto io, cioè con un nuovo simbolo d.
Insomma, ho solo sbagliato a scrivere, ma il risultato non cambia...
Scusa la confusione... |
| Didjer Wallis |
In bocca al lupo a tutti per domani!!! lol
DW |
|
|
|
|
