.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- Esperienza di esame (http://www.dsy.it/forum/showthread.php?threadid=30515)

Esperienza di esame

Dato ora l'esame, vorrei passare un messaggio "positivo" al forum.

Prima di tutto, lanciare sempre SPASS con Sorts=0 -DocProof. EmS e company li da' solo in caso contrario.
Continuando, va bene uno qualunque degli esempi, anche nel caso in cui non fosse proof found, ma dovete essere in grado di spiegare riga per riga tutte le clausole, e di giustificare tutti i passaggi.

A quel punto lui vi chiederà di implementarne uno, tipicamente applicando la regola di RES, o se vi va' di lusso la fattorizzazione destra.

E' facile che vi chieda anche una regola di riduzione.

Nell'insieme l'esame è molto fattibile, avendo l'accortezza di portare l'esercizio stampato e di lanciarlo con quelle opzioni. Lui non fa storie e tende ad aiutare molto sulle definizioni. E' importante sapere TUTTO, magari non bene, ma sapere tutti gli argomenti. Potete non ricordarvi di LPO 1-2-3, ma l'idea generale e almeno una dovreste saperle.

Nell'insieme un bell'esame.

Innanzitutto grazie per aver postato un resoconto sull'esame, ma per quanto riguarda la parte di Ranise cosa ti e' stato chiesto?

Re: Esperienza di esame

Originally posted by Orion

Prima di tutto, lanciare sempre SPASS con Sorts=0 -DocProof. EmS e company li da' solo in caso contrario.

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

Di Ranise chiede la parte finale. Herbrand e il suo insieme, tutta quella roba là che ormai è stata esplusa dal mio povero cranio a mo' di missile. In pratica gli algoritmi per la soddisfacibilità... ma non va troppo in dettaglio, basta che tu conosca i principi. Mi ha fatto provare l'insoddisfacibilità tramite herbrand comunque.