Aung SanSuu Kyi

.consigliere.

User info:

Registered: Apr 2005
Posts: 141 (0.02 al dì)
Location: cernusco s/n -- biella
Corso: Info
Anno: 2°
Time Online: 1 Day, 23:16:17 [...]
Status: Offline

Post actions:

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

.arcimaestro.

User info:

Registered: Dec 2003
Posts: 477 (0.06 al dì)
Location:
Corso: Info phd
Anno:
Time Online: 17 Days, 17:11:50 [...]
Status: Offline

Post actions:

si falliva

in generale mi è sembrato facile come compito...no?

YoMo

User info:

Registered: Oct 2004
Posts: 96 (0.01 al dì)
Location: Placentia
Corso: Info triennale
Anno: laureato
Time Online: 2 Days, 0:18:13 [...]
Status: Offline

Post actions:

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

.consigliere.

User info:

Registered: Apr 2005
Posts: 141 (0.02 al dì)
Location: cernusco s/n -- biella
Corso: Info
Anno: 2°
Time Online: 1 Day, 23:16:17 [...]
Status: Offline

Post actions:

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?

pincopallino

User info:

Registered: Jan 2003
Posts: 269 (0.03 al dì)
Location: Milano
Corso: Informatica
Anno: finiti gli esami
Time Online: 5 Days, 23:46:20 [...]
Status: Offline

Post actions:

Originally posted by Aung SanSuu Kyi
credo che la DPLL ce la troveremo nel secondo compitino, sig...

cmq è vero, sembrava facile ( e meno male!)

__________________
"Che ne sai di un ragazzo che ti amava
che parlava e niente sapeva
eppur quel che diceva chissà perchè‚ chissà adesso è verità."

Aung SanSuu Kyi

.consigliere.

User info:

Registered: Apr 2005
Posts: 141 (0.02 al dì)
Location: cernusco s/n -- biella
Corso: Info
Anno: 2°
Time Online: 1 Day, 23:16:17 [...]
Status: Offline

Post actions:

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

YoMo

User info:

Registered: Oct 2004
Posts: 96 (0.01 al dì)
Location: Placentia
Corso: Info triennale
Anno: laureato
Time Online: 2 Days, 0:18:13 [...]
Status: Offline

Post actions:

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

.arcimaestro.

User info:

Registered: Dec 2003
Posts: 477 (0.06 al dì)
Location:
Corso: Info phd
Anno:
Time Online: 17 Days, 17:11:50 [...]
Status: Offline

Post actions:

confermo, nel prossimo compitino ci sarà solo prolog, niente dpll o altre cose di teoria (pheeeew! )

Aung SanSuu Kyi

.consigliere.

User info:

Registered: Apr 2005
Posts: 141 (0.02 al dì)
Location: cernusco s/n -- biella
Corso: Info
Anno: 2°
Time Online: 1 Day, 23:16:17 [...]
Status: Offline

Post actions:

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

.arcimaestro.

User info:

Registered: Dec 2003
Posts: 477 (0.06 al dì)
Location:
Corso: Info phd
Anno:
Time Online: 17 Days, 17:11:50 [...]
Status: Offline

Post actions:

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

.consigliere.

User info:

Registered: Apr 2005
Posts: 141 (0.02 al dì)
Location: cernusco s/n -- biella
Corso: Info
Anno: 2°
Time Online: 1 Day, 23:16:17 [...]
Status: Offline

Post actions:

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

User info:

Registered: Mar 2005
Posts: 136 (0.02 al dì)
Location:
Corso: informatica per le tlc
Anno: 2°
Time Online: 5 Days, 15:52:38 [...]
Status: Offline

Post actions:

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

.consigliere.

User info:

Registered: Apr 2005
Posts: 141 (0.02 al dì)
Location: cernusco s/n -- biella
Corso: Info
Anno: 2°
Time Online: 1 Day, 23:16:17 [...]
Status: Offline

Post actions:

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

.arcimaestro.

User info:

Registered: Dec 2003
Posts: 477 (0.06 al dì)
Location:
Corso: Info phd
Anno:
Time Online: 17 Days, 17:11:50 [...]
Status: Offline

Post actions:

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, ...)

Gighen

.grande:maestro.

User info:

Registered: Nov 2002
Posts: 527 (0.06 al dì)
Location: Brixia
Corso: Specialista!!
Anno: con quante N ??
Time Online: 10 Days, 7:41:56 [...]
Status: Offline

Post actions:

qualcuno potrebbe postare qualche esercizio sulla DPLL?

__________________
"Documentation is like sex: when it's good, it's very, very good; and when it's bad, it's still better than nothing."
Dick Brandon