[Esame] 8 GIUGNO
Clicca QUI per vedere il messaggio nel forum |
| srs |
Qualcuno di voi ha dato l'esame oggi?
Come è andata?
Cosa ha chiesto?
Quale esercizio avete portato?
Grazie
Ciao |
| ripe |
Molto bene! :D
Di rifare qualche passaggio dell'esercizio, poi domande di teoria (matching, regole di riduzione, struttura di un elaboratore, risultati di Herbrand...).
Io avevo portato un esercizietto della dispensa, meglio se pensate a qualcosa di più elaborato... |
| Randall |
Be', non mi lamento. :-D
L'ho passato, comunque.
Ho portato l'esercizio 6.4 HEN della libreria TPTP, mostrandogli come con diversi parametri cambiasse l'esecuzione.
Mi ha fatto fare una SpL... che ho anche parzialmente cannato. :P Come volevasi dimostrare.
Poi alcune domande di teoria: ordinamenti, significato di calcolo refutazionalmente completo, eccetera.
Ciao
Ste |
| colonnello |
| Quanto ci avete messo a prepararlo?..Con le video lezioni o dispensa?..La roba non sembra tanta, però' mi sa che bisogna impararsi a memoria un bel po' di roba.. |
| Randall |
Personalmente poco meno di un mesetto.
Avevo seguito le lezioni, e ho usato le videolezioni solo per la parte di Ranise e per rivedere alcuni concetti.
Sì', devi sapere a memoria le formule, ma si impareranno usandole, provando il problema che hai scelto.
Ciao
Ste |
|
|
|
