phantom

.illuminato.

User info:

Registered: Jan 2008
Posts: 183 (0.03 al dì)
Location: Varesotto
Corso: Informatica per le Telecomunicazioni
Anno: III
Time Online: 18:23:57 [...]
Status: Offline

Post actions:

Ciao a tutti, nel secondo semestre dovrò seguire questo corso.
Ho visto che ci sono i compitini, ma quanti sono? Sulla pagina del corso, questa: http://www.ccdi.unimi.it/it/corsiDi...08.1/index.html

ci sono 3 date di compitini...cosa vuol dire che sono 3 ??
Fatemi sapere perchè io per impegni non potrò fare il primo...è possibile fare il secondo e recuperare poi quello non fatto??

Simeon

User info:

Registered: Aug 2004
Posts: 984 (0.13 al dì)
Location: Milano
Corso: Informatica
Anno: IT IS OVER!
Time Online: 14 Days, 19:29:42 [...]
Status: Offline

Post actions:

Interessa anche a me.

E soprattutto, e' possibile sostenere anche l'appello completo nelle date dei compitini?

Simeon

User info:

Registered: Aug 2004
Posts: 984 (0.13 al dì)
Location: Milano
Corso: Informatica
Anno: IT IS OVER!
Time Online: 14 Days, 19:29:42 [...]
Status: Offline

Post actions:

Mi sono guardato il sito ma ci sono comunque domande a cui non trovo risposta.

Vorrei sapere come sono strutturati i compitini e come sono strutturati gli appelli normali, mi par di capire che ci sono 3 compitini (dpll,predicati e prolog?) e gli appelli normali son divisi in logica e prolog.

Inoltre, se ad esempio nell'appello del 20 febbraio passassi la parte di logica, potrei recuperarla col compito di prolog o dovrei aspettare il prossimo appello a giugno?

Dal sito mi sembra che che superando una parte coi compitini si possa recuperare l'altra entro luglio, e con gli appelli normali si puo' recuperare l'appello successivo. Ma non dice se si puo' recuperare un appello normale coi compitini...

Last edited by Simeon on 17-02-2008 at 12:57

phantom

.illuminato.

User info:

Registered: Jan 2008
Posts: 183 (0.03 al dì)
Location: Varesotto
Corso: Informatica per le Telecomunicazioni
Anno: III
Time Online: 18:23:57 [...]
Status: Offline

Post actions:

I compitini ci sono (3), ma se si salta anche solo un compitino o si prende l'insuff in uno bisogna rifare tutto.

Simeon

User info:

Registered: Aug 2004
Posts: 984 (0.13 al dì)
Location: Milano
Corso: Informatica
Anno: IT IS OVER!
Time Online: 14 Days, 19:29:42 [...]
Status: Offline

Post actions:

Sul sito dice che il primo compitino e' il 31, ma non c'e' traccia di appello a cui iscriversi sul sifa.

Boh.

phantom

.illuminato.

User info:

Registered: Jan 2008
Posts: 183 (0.03 al dì)
Location: Varesotto
Corso: Informatica per le Telecomunicazioni
Anno: III
Time Online: 18:23:57 [...]
Status: Offline

Post actions:

Oggi ha detto che probabilmente bisognerà iscriversi al SIFA e ha anche consigliato di "monitorare" il suo sito... http://homes.dsi.unimi.it/~logica/logimat/

Simeon

User info:

Registered: Aug 2004
Posts: 984 (0.13 al dì)
Location: Milano
Corso: Informatica
Anno: IT IS OVER!
Time Online: 14 Days, 19:29:42 [...]
Status: Offline

Post actions:

Originally posted by phantom
Oggi ha detto che probabilmente bisognerà iscriversi al SIFA e ha anche consigliato di "monitorare" il suo sito... http://homes.dsi.unimi.it/~logica/logimat/

phantom

.illuminato.

User info:

Registered: Jan 2008
Posts: 183 (0.03 al dì)
Location: Varesotto
Corso: Informatica per le Telecomunicazioni
Anno: III
Time Online: 18:23:57 [...]
Status: Offline

Post actions:

Si da quanto ha detto è aperto a chiunque si iscriva!

Gli argomenti dovrebbero essere Logica proposizionale e Dpll...

ma721737

User info:

Registered: Dec 2007
Posts: 45 (0.01 al dì)
Location: Pavia
Corso: Informatica
Anno: Terzo
Time Online: 14:08:42 [...]
Status: Offline

Post actions:

anch'io farò il compitino. purtroppo sono riuscita a frequentare solo i lunedì dato che i mercoledì avevo un'altra lezione..e mi chiedevo appunto se fosse possibile che gli argomenti fossero solo quelli. allora confermi per logica proposizionale e dpll?

__________________
If I were to be alone, silence would rock my tears.

Simeon

User info:

Registered: Aug 2004
Posts: 984 (0.13 al dì)
Location: Milano
Corso: Informatica
Anno: IT IS OVER!
Time Online: 14 Days, 19:29:42 [...]
Status: Offline

Post actions:

E' disponibile sul SIFA l'iscrizione al primo compitino. Non si sa ancora l'aula... o l'ha detto a lezione?

marcooo

User info:

Registered: Sep 2007
Posts: 30 (0.00 al dì)
Location:
Corso: TLC
Anno: indefinito
Time Online: 20:38:41 [...]
Status: Offline

Post actions:

Scusate la domanda ma ho perso tutte le lezioni!
Logica Proposizionale e DPLL significa solo la prima dispensa e nient'altro?

pamarcan

User info:

Registered: Mar 2006
Posts: 68 (0.01 al dì)
Location:
Corso: informatica
Anno:
Time Online: 1 Day, 7:02:16 [...]
Status: Offline

Post actions:

ho seguito solo le lezioni del lunedì, nei vecchi compitini ci son cose che non ho trovato nella dispensa, qualcuno che ha seguito tutte le lezioni può gentilmente illuminarci sugli effettivi argomenti ed esercizi da studiare?

Simeon

User info:

Registered: Aug 2004
Posts: 984 (0.13 al dì)
Location: Milano
Corso: Informatica
Anno: IT IS OVER!
Time Online: 14 Days, 19:29:42 [...]
Status: Offline

Post actions:

Ma l'aula dove si terra' il compitino e' gia stata comunicata? Sul sito c'e' solo la data...

R1cky`

dsy developer

User info:

Registered: Oct 2007
Posts: 218 (0.03 al dì)
Location:
Corso: Informatica Magistrale
Anno: Secondo
Time Online: 1 Day, 13:11:53 [...]
Status: Offline

Post actions:

Originally posted by pamarcan
ho seguito solo le lezioni del lunedì, nei vecchi compitini ci son cose che non ho trovato nella dispensa, qualcuno che ha seguito tutte le lezioni può gentilmente illuminarci sugli effettivi argomenti ed esercizi da studiare?

Gli argomenti sono quelli spiegati nelle dispense "Introduzione alla logica proposizionale e alla procedura dpll"

Se a qualcuno potrebbero servire ho scannerizzato gli appunti di una mia compagna

http://tinyurl.com/2ktl25

Last edited by R1cky` on 25-03-2008 at 19:43

pamarcan

User info:

Registered: Mar 2006
Posts: 68 (0.01 al dì)
Location:
Corso: informatica
Anno:
Time Online: 1 Day, 7:02:16 [...]
Status: Offline

Post actions:

Ok ma, in quella dispensa non c'è nulla a riguardo di "ricerca di contromodello e dimostrazione" che si trovano invece nella traccia del primo compitino dell'anno scorso.
Insomma da quel che so, con quello spiegato a lezione il lunedì si posson fare solo gli esercizi relativi all'algoritmo DPLL e poco più.
A meno che il mercoledì abbiano spiegato altre cose, e ci sia un "complotto" per non diffondere notizie ai non frequentanti. Ovviamente scherzo, resta il fatto che a molti non è ancora chiaro cosa studiare. Qualcuno ci illumini!!