[Logica Matematica] primo compitino
Clicca QUI per vedere il messaggio nel forum |
| Aung SanSuu Kyi |
come vi è andata?
tanto per iniziare:
- l'unificazione falliva?
prima di uscire ho chiesto dove e quando avremmo trovato i risultati.
risposta: "forse sul sito di logica ma ancora non lo so, ci vorrà comunque almeno 15 gg" |
| Polsy |
si falliva :)
in generale mi è sembrato facile come compito...no? |
| YoMo |
Alla fine ero più preoccupato di rendere leggibile la mia scrittura che del compito in se!
Cmq mi sembra strano (ma sn contento così) che nel compitino non sia stata inserita la DPLL mentre chi farà l'esamone se la becca.
Incentivo ai compitini o punizione x chi nn li passa? |
| Aung SanSuu Kyi |
Originally posted by YoMo
Alla fine ero più preoccupato di rendere leggibile la mia scrittura che del compito in se!
Cmq mi sembra strano (ma sn contento così) che nel compitino non sia stata inserita la DPLL mentre chi farà l'esamone se la becca.
Incentivo ai compitini o punizione x chi nn li passa?
credo che la DPLL ce la troveremo nel secondo compitino, sig...
cmq è vero, sembrava facile ( e meno male!) |
| pincopallino |
Originally posted by Aung SanSuu Kyi
credo che la DPLL ce la troveremo nel secondo compitino, sig...
cmq è vero, sembrava facile ( e meno male!)
la dpll da quel che ho capito io sarà nell'appello e noi non abbiamo un secondo compitino bensì una parte sul prolog che coinciderà con l'appello del 16 (qualcuno confermi plz) e saranno tre esercizi se non erro |
| Aung SanSuu Kyi |
Originally posted by pincopallino
la dpll da quel che ho capito io sarà nell'appello e noi non abbiamo un secondo compitino bensì una parte sul prolog che coinciderà con l'appello del 16 (qualcuno confermi plz) e saranno tre esercizi se non erro
quindi non avevo capito nulla.... meglio così.
altre conferme? |
| YoMo |
Mah, secondo me la DPLL nei compitini nn la si fa ne al primo (cm è successo) ne al secondo.
Infatti all'ultima esercitazione ho chiesto a Sacchetti se al primo compitino avrei trovato Skolemizzazione e DPLL: per la Skol ok, ma per la DPLL mi ha detto che se la beccava chi faceva l'esamone. Se no mi avrebbe detto di studiarla per il secondo compitino, non pensate?
Anche se è inutile basarsi sugli anni passati (la DPLL nn si era mai fatta), penso prorpio che x il prox compitino niente DPLL. |
| Polsy |
| confermo, nel prossimo compitino ci sarà solo prolog, niente dpll o altre cose di teoria (pheeeew! :D) |
| Aung SanSuu Kyi |
che belle notizie, quando uno pensava già di dover affrontare anche la dpll.... mi avete alleggerito di 10 kg!
una info: ci sono ancora lezioni? se sì, fino a quando?
grazie |
| Polsy |
| almeno fino al 10 ci sono ancora lezioni, non so se anche il 13....poi tra l'altro ghilardi aveva detto che avrebbe fatto degli approfondimenti per chi voleva fare la parte orale... |
| Aung SanSuu Kyi |
Originally posted by Polsy
almeno fino al 10 ci sono ancora lezioni, non so se anche il 13....poi tra l'altro ghilardi aveva detto che avrebbe fatto degli approfondimenti per chi voleva fare la parte orale...
non finisce più questo corso :( |
| Bombardini10 |
ciao a tutti......volevo informazioni sul primo compitino;ma come avete fatto l'inferenza e le crocette sono gli unici dubbi che ho!!!!
inferenza:
tutti i cavalli sono alti : per ognix(C(x)->A(x))
andrea è alto e andrea è simpatico : A(a) ^S(a)
qualche cavallo è simpatico : esistex(c(x)^s(x))
i rami due non chiudevano e due si????
crocette:
1)a
2)b
3)c
???????
ma per passare il compitino quanti es bisognava fare????
grazie |
| Aung SanSuu Kyi |
per l'inferenza:
essendo l'enunciato falso (non è vero che qualche cavallo è simpatico.... tranne se in forma di bresaola, ma è un altro discorso), bastava trovare un contromodello cioè (almeno) un ramo che non chiude.
per le crocette:
non mi ricordo più le domande....
cmq meglio se trovi conferma da Polsy che ne sa un bel tot più di me! |
| Polsy |
:look:
le crocette non me le sono segnate...cmq alla fine l'inferenza era falsa e si trovava il contromodello...cmq venerdì prox c'è la correzione in classe :)
per passare se non mi ricordo male bisognava farne uno di ogni tipo (x quello erano nella forma 1.1, 1.2, ...) |
| inqbo |
| qualcuno potrebbe postare qualche esercizio sulla DPLL? |
| Bigby |
Originally posted by inqbo
qualcuno potrebbe postare qualche esercizio sulla DPLL?
magari già che c'è anche sulla skolemizzazione e magari il prima possibile thanks ;) |
| inqbo |
| sulla skolemizzazione mi pare di averli fatti, forse erano in qualche vecchio appello?? |
|
|
|
