.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- [argomenti] Esame... (http://www.dsy.it/forum/showthread.php?threadid=23965)

informazioni sull'esame...

ciao, per mia sfortuna non ho potuto seguire il corso di logica per le le applicazioni... e studiando da solo mi sono venuti alcuni dubbi...
innanzitutto vorrei chiedervi notizie sul corso integrativo... cosa bisogna studiare bene? cosa chiedono all'esame su quel corso purtroppo ho provato a vedere la prima lezione in streaming ma l'audio non funziona quando lui parla di questo...
help vorrei cercare di dare l'esame!!!!

grazie...

per quanto riguarda la parte di Ranise ti consiglio di studiare bene il teorema,la struttura e la definizione di universo di Herbrand.Inoltre anche la dpll se vai sul sito di Ranise (trovi il link sul wiki)puoi trovare le possibili domande dell'esame.se ti capita proprio Ranise ti chiede proprio quelle,altrimenti se farai l'esame con Ghilardi di solito chiede Dpll e Herbrand!

__________________
"Solamente il cuore ti permette di vedere chiaramente.L'essenziale e' invisibile agli occhi"
bisogna vivere "alla giornata", senza crearsi troppe aspettative. quello che viene sarà un "di più" ed è da mettere nel salvadanaio.
Sono troppo una grilla petulante by Nous

grazie

grazie tante per la risposta... purtroppo però ho letto le cose di ranise ma... non è che ci abbia capito tantissimo... vedrò cosa fare magari mi vedo le videolezioni....

grazie ancora... non è che sai di qualcuno che stà preparando logica... e viene in dipartimento a comelico qualche volta?

bye

Intervento del moderatore:
per rispondere a un post clicca su post reply, non su new thread

__________________
"Solamente il cuore ti permette di vedere chiaramente.L'essenziale e' invisibile agli occhi"
bisogna vivere "alla giornata", senza crearsi troppe aspettative. quello che viene sarà un "di più" ed è da mettere nel salvadanaio.
Sono troppo una grilla petulante by Nous

Consiglio problema TPTP

Qualcuno potrebbe consigliarmi qualche problema della libreria TPTP tra cui scegliere quello da portare al colloquio d'esame?

Ciao! Visto come funziona l'esame, Ghilardi ti chiede subito in cosa consiste il problema, cosa intende dimostrare etc etc... Inoltro, so che apprezza molto che nel problema ci sia almeno la formalizzazione di una SPL o SPR.

Personalmente ti consiglio la libreria BOO e HEN (sono esercizi standard, i primi riguardano l'algebra booleana per cui devi saper spiegare le proprietà contenute negli assiomi, ma sono proprio quelle semplicissime commutativa, associative...; quelli della libreria HEn riguardano relazioni tra insiemi, quindi ad esempio sottrazione tra insiemi, elemtno neutro che è l'insieme vuoto etc etc, e X,Y e Z sono proprio insiemi!).
Probabilmente anche nella libreria PUZ, che è quella un po più divertente perchè sono tutti giochini e storielle, c'è mi sembra il numero 6, che riguarda Marziani e Venusiani, che contiene una SPR o una SPL.

Probabilmente ce ne saranno moltissimi altri che andranno bene, ti dico quelli che avevvo preso in considerazione io e che so che vanno bene all'esame perchè ho assistito!
In bocca al lupo!

P.S. Ricordatevi sempre di attivare queste options in SPASS:
-Split=0 -Sorts=0 e -DocProof=1

__________________
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.

Dalla documentazione di SPASS:

-Splits=n
Sets the number of possible splitting applications to n. If n=-1 then the number of splits is not limited. Default is 0.

Qualcuno sà come funziona?.. ho notato che toglie molte regole che non conosco come Spt e SoR..

__________________
Debian rules
Linux User #305560

cerchi una casa in affito x le tue vacanze? Casa Vacanze Sicilia http://www.marsala.sicilia.it

Mi sto innervosendo.... Ranise avrà ripetuto per 40 volte "in buona sostanza"... :S

__________________
«And if you ever smell christian blood up in the mountains, then get your axe and chop them down!»

Originally posted by ripe
Mi sto innervosendo.... Ranise avrà ripetuto per 40 volte "in buona sostanza"... :S

__________________
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.

Originally posted by Flavia
e'vero avevo sclerato anche io durante le videolezioni!!!!!! "In buona sostanza"!!!!!!!!!!!!!!!!!!!!!!!!!!

__________________
«And if you ever smell christian blood up in the mountains, then get your axe and chop them down!»

Qualcuno mi sa dire quanto conta la parte integrativa nel totale dell'esame?! Voglio dire, è così determinante al fine del risultato finale?

__________________
«And if you ever smell christian blood up in the mountains, then get your axe and chop them down!»

io spero non mi chieda nulla della partre di Ranise.

__________________
Debian rules
Linux User #305560

cerchi una casa in affito x le tue vacanze? Casa Vacanze Sicilia http://www.marsala.sicilia.it

Originally posted by Cr34t|v3
io spero non mi chieda nulla della partre di Ranise.

__________________
«And if you ever smell christian blood up in the mountains, then get your axe and chop them down!»

Originally posted by ripe
Qualcuno mi sa dire quanto conta la parte integrativa nel totale dell'esame?! Voglio dire, è così determinante al fine del risultato finale?

__________________
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.

Originally posted by Flavia
Sicuramente non meno del 50%!

__________________
«And if you ever smell christian blood up in the mountains, then get your axe and chop them down!»

Veramente no! Almeno, all'esame di Gennaio era circa la metà, nel mio esame è stato addirittura di più!
Cioè nel senso, mi aspettavo che ad esempio chiedesse tutti i passaggi dell'esercizio, invece me ne ha chiesto uno e basta, poi la definizione di superposition left e una o due altre cose di teoria. Poi non so se si sia preso bene vedendo che la sua parte la sapevo bene, ed è passato alla parte di Ranise chiedendomi praticamente tutto! Universo di Herbrand, teorema di Herbrand, base di Herbran e come funziona il tutto, poi il perchè si poteva passare ad algoritmi per la semplice soddisfacibilità booleana, come funziona l'algoritmo tipo e quali sono i miglioramenti apportati dalla DPLL! Praticamente tutto tranne la prima parte sulla memoria!

Comunque anche se non vi chiederà tante cose sulle parte di Ranise, non sottovalutatela mi raccomando...soprattutto se capitate con Ranise! In genere comunque le cose da avere chiare in mente sono quelle che ho scritto sopra e che mi ha chiesto, insomma, avere chiaro il quadro generale di come funziona il tutto!

__________________
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.

Grazie, in pratica sono morto...

__________________
«And if you ever smell christian blood up in the mountains, then get your axe and chop them down!»

Se qualcuno potesse aiutarmi.. con questo esempio..
ho il seguente output di spass e mi trovo a voler eseguire a mano la SPR instruzione 538..

8[0:Inp] || -> quotient(U,V,divide(U,V))*.
534[0:Res:399.1,16.0] || less_equal(divide(U,zero),V) -> equal(divide(divide(U,V),zero),zero)**.
...
538[0:SpR:534.1,8.0] || less_equal(divide(U,zero),V) -> quotient(divide(U,V),zero,zero)*.

quindi ...
less_equal(divide(U,zero),V) -> equal(divide(divide(U,V),zero),zero)** -> quotient(U,V,divide(U,V))*
-----------------------------------------------------------------------------------------------------------------------------------


nelle dispenze non c'è un esempio di come questa venga fatta con l'output di spass..

devo interpretare l' equal come un segno di ugualianza = ?

e quindi :
->equal(divide(divide(U,V),zero),zero)**
diventerebbe
->divide(divide(U,V),zero)=zero

spero che qualcuno possa chiarirmi questa mia incomprensione..

__________________
Debian rules
Linux User #305560

cerchi una casa in affito x le tue vacanze? Casa Vacanze Sicilia http://www.marsala.sicilia.it

Certo, equal è il segno =, e devi ragionare di conseguenza...

__________________
«And if you ever smell christian blood up in the mountains, then get your axe and chop them down!»