[Logica - Ghilardi] Appello 15 Giugno 2006
Posted by **Fabry** on 31-05-2006 15:31
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
Powered by: vbHome (lite) v3.8 and vBulletin v2.3.1
Copyright © 2000 - 2002 Jelsoft Enterprises Limited