Homepage  Il progetto dsy.it è l'unofficial support site dei corsi di laurea del Dipartimento di Scienze dell'Informazione e del Dipartimento di Informatica e Comunicazione della Statale di Milano. E' un servizio degli studenti per gli studenti, curato in modo no-profit da un gruppo di essi. I nostri servizi comprendono aree di discussione per ogni Corso di Laurea, un'area download per lo scambio file, una raccolta di link e un motore di ricerca, il supporto agli studenti lavoratori, il forum hosting per Professori e studenti, i blog, e molto altro...
In questa sezione è indicizzato in textonly il contenuto del nostro forum


.dsy:it. .dsy:it. Archive > Didattica > Corsi G - M > Logica matematica
 
[Logica - Ghilardi] Appello 15 Giugno 2006
Clicca QUI per vedere il messaggio nel forum
**Fabry**
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

**Fabry**
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 :)

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

**Fabry**
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 :)

desrob
...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 + ??!!

**Fabry**
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 :)

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

poledrisk85
soprattutto la sua utilità in termini pratici...

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

poledrisk85
entusiasmante..

Powered by: vbHome (lite) v4.1 and vBulletin v2.3.1 - Copyright ©2000 - 2002, Jelsoft Enterprises Limited
Mantained by dsy crew (email) | Collabora con noi | Segnalaci un bug | Archive | Regolamento |Licenze | Thanks | Syndacate