.dsy:it. - [Logica - Ghilardi] Appello 15 Giugno 2006

.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- [Logica - Ghilardi] Appello 15 Giugno 2006 (http://www.dsy.it/forum/showthread.php?threadid=25864)

Posted by **Fabry** on 31-05-2006 15:31:

[Logica - Ghilardi] Appello 15 Giugno 2006

E' iniziato lo sprint finale per preparare l'appello del 15 giugno di Logica.
Riassumendo :

Ricerca Dimostrazioni : OK
Contromodelli : OK
Formalizzazione ragionamenti : OK

------------------------------------

Unificazione : OK
Skolemizzazioni : OK
DPLL : OK
Domande di teoria : OK

------------------------------------

Prolog : in fase di studio

Quasi pronti !!
A presto per tutte le info sull'esame
Ciao

Posted by **Fabry** on 14-06-2006 11:04:

Siamo arrivati alla scena finale, speriamo che sia un lieto fine eheheh

Ricordo a tutti dove si terra' lo spettacolo :

Appello 15 giugno 2006: h 10:00, aula Beta, DSI - DICo, via Comelico 39

Buona fortuna a tutti, ci sentiamo presto per aggiornamenti

Posted by desrob on 18-06-2006 17:57:

sapete x caso quando , dove e se usciranno i risultati dell'appello del 15 giugno 06 ??
o se ce li diranno direttamente alla verbalizzazione il 23 ???

Posted by **Fabry** on 19-06-2006 08:54:

Dal sito del Corso :
"Chi consegna lo scritto è tenuto poi a presentarsi alla correzione a vedere il proprio compito corretto (sia suff. sia insuff.). Chi non si presenta alla correzione/verbalizzazione, verrà considerato ritirato".

In una loro particolare visione del mondo, non mettono a disposizione i risultati fino al 23 cosi' che tutti siano costretti a presentarsi se vogliono sapere esattamente di che morte morire :sad:

Ciao, ci si vede il 23

Posted by desrob on 19-06-2006 11:19:

...ma se io nn ho passato l'esame ke vado a fare lì ???
e poi potrebbero anke scrivere da qlke parte ke la visione del compito è il 23 e poi a ke ora ??
alla fine a ke ora si va ??
....potrebbero anke stancarsi un pò di meno a mettere qlke altra informazione in + ??!!

Posted by **Fabry** on 19-06-2006 17:02:

La correzione del compito e' venerdi 23 alle ore 14:00 nei loro uffici al secondo piano.
Si e' vero andare per niente se poi non passi non ha molto senso dal nostro punto di vista, per loro pero' e' un modo per non farti consegnare tutte le volte cercando solo di passare l'esame per tentativi

Posted by desrob on 19-06-2006 21:25:

...contenti loro, contenti TUTTI !!!
qesto esame mi sta deludendo sempre + !!!

Posted by poledrisk85 on 19-06-2006 23:11:

soprattutto la sua utilità in termini pratici...

__________________
Het is allemaal naar de zak!!!

Posted by desrob on 20-06-2006 00:28:

...nn ti senti completo ora ke sai kom'è fatto un albero di esecuzione di prolog ??
e ke se p=1 {not(p) or q } ti dà q=1 ????

Posted by poledrisk85 on 20-06-2006 08:54:

entusiasmante..

__________________
Het is allemaal naar de zak!!!

All times are GMT. The time now is 05:14.

Show all 10 posts from this thread on one page