Info su compitini 2008
Clicca QUI per vedere il messaggio nel forum |
| phantom |
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 |
Interessa anche a me.
E soprattutto, e' possibile sostenere anche l'appello completo nelle date dei compitini? |
| Simeon |
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... |
| phantom |
| I compitini ci sono (3), ma se si salta anche solo un compitino o si prende l'insuff in uno bisogna rifare tutto. |
| Simeon |
Sul sito dice che il primo compitino e' il 31, ma non c'e' traccia di appello a cui iscriversi sul sifa.
Boh. |
| Simeon |
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? |
| phantom |
Si da quanto ha detto è aperto a chiunque si iscriva!
Gli argomenti dovrebbero essere Logica proposizionale e Dpll... |
| ma721737 |
| 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? |
| Simeon |
| E' disponibile sul SIFA l'iscrizione al primo compitino. Non si sa ancora l'aula... o l'ha detto a lezione? |
| marcooo |
Scusate la domanda ma ho perso tutte le lezioni!
Logica Proposizionale e DPLL significa solo la prima dispensa e nient'altro? |
| 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? |
| Simeon |
| Ma l'aula dove si terra' il compitino e' gia stata comunicata? Sul sito c'e' solo la data... |
| R1cky` |
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 |
| pamarcan |
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!! |
| Simeon |
| QUALCUNO MI SA DIRE IN CHE AULA SI FA IL PRIMO COMPITINO, PER FAVORE? V1, V6 o V9? |
| marcooo |
| L'esame è in V1 alle 8.30 (c'è un avviso nel sito) |
| Simeon |
Originally posted by marcooo
L'esame è in V1 alle 8.30 (c'è un avviso nel sito)
Puoi non credermi ma l'ha aggiunto adesso :asd: (o meglio, prima l'aula non era indicata) |
| R1cky` |
Originally posted by pamarcan
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!!
Io ho frequentato tutte le lezioni e sinceramente non è chiaro neanche a me quali sono i reali argomenti dell'esame. Credo che sicuramente ci saranno degli esercizi di trasformazioni di formule in fnn e fnc e poi di verifica della soddisfaciblità attraverso la procedura dpll. Quello che non ho capito è se c'è o meno anche una parte teorica, sinceramente spero di no :D |
| pamarcan |
grazie R1cky, finalmente so di poter lasciar perdere "ricerca di dimostrabilità" e affini, ma mi resta un dubbio, che avete fatto il mercoledì?
posteresti qualche esercizio?
grazie ancora |
| R1cky` |
Beh il prof non ha mai parlato della ricerca della dimostrabilità... credo che l'anno scorso abbiano fatto due compiti al posto che tre percui c'erano più argomenti :)
Mercoledì scorso abbiamo fatto esercitazione con la prof Bucalo.... Ora sono in uni, quando torno a casa vedo se riesco a scanerizzarti qualcosa :)
Ciao Ciao |
|
|
|
