.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!»