.dsy:it. Pages (2): [1] 2 »
Show 150 posts per page

.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- Info su compitini 2008 (http://www.dsy.it/forum/showthread.php?threadid=33841)


Posted by phantom on 15-02-2008 11:12:

Info su compitini 2008

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??


Posted by Simeon on 15-02-2008 17:32:

Interessa anche a me.

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


Posted by Simeon on 17-02-2008 12:53:

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


Posted by phantom on 03-03-2008 23:07:

Angry

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


Posted by Simeon on 17-03-2008 17:47:

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

Boh.


Posted by phantom on 17-03-2008 18:44:

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/


Posted by Simeon on 17-03-2008 19:03:

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/


Capisco, grazie.

Ancora una cosa: e' aperto ai non frequentanti? Inoltre sapresti dirmi gli argomenti del compitino in linea di massa?


Posted by phantom on 17-03-2008 23:25:

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

Gli argomenti dovrebbero essere Logica proposizionale e Dpll...


Posted by ma721737 on 18-03-2008 18:20:

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.


Posted by Simeon on 18-03-2008 18:48:

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


Posted by marcooo on 19-03-2008 00:18:

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


Posted by pamarcan on 22-03-2008 09:58:

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?


Posted by Simeon on 25-03-2008 16:00:

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


Posted by R1cky` on 25-03-2008 19:16:

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


Posted by pamarcan on 27-03-2008 09:26:

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!!


All times are GMT. The time now is 03:29. Pages (2): [1] 2 »
Show all 21 posts from this thread on one page

Powered by: vBulletin Version 2.3.1
Copyright © Jelsoft Enterprises Limited 2000 - 2002.