.dsy:it. - Esperienza di esame

.dsy:it.
//www.dsy.it

Esperienza di esame

Posted by Orion on 23-04-2007 17:38

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.