Dipartimento di Informatica e Scienze dell'Informazione
Corso di Logica matematica - a.a.1996/97
(Corso di Laurea in Informatica)
Ulteriori informazioni
I testi delle prove scritte precedenti sono disponibili per
ftp
dal sito ftp.disi.unige.it nella directory pub/person/RosoliniG/corsi/.
La prova scritta consiste di quattro esercizi, ciascuno da svolgere in
un tempo fissato. Due di questi potrebbero richiedere l'uso di
Tarski's World.
Si accede alla prova orale con un risultato superiore ai
6/30. L'accesso rimane valido fino al completamento di un'altra
prova. Si può completare una prova orale in ogni sessione d'esami.
Lo scopo della prova orale è soprattutto di verificare le
capacità dimostrate nello svolgimento della prova scritta.
[Torna alla pagina del corso di LM]