dony83

User info:

Registered: Jan 2006
Posts: 3 (0.00 al dì)
Location: Milano ma vengo dalla prov di bari
Corso: teconolgie della comunicazione
Anno: primo
Time Online: 2:39:03: [...]
Status: Offline

Post actions:

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

luna

.grande:maestro.

User info:

Registered: Apr 2003
Posts: 4565 (0.55 al dì)
Location: Rozzano
Corso:
Anno: Ormai finito!
Time Online: 102 Days, 14:49:55 [...]
Status: Offline

Post actions:

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

dony83

User info:

Registered: Jan 2006
Posts: 3 (0.00 al dì)
Location: Milano ma vengo dalla prov di bari
Corso: teconolgie della comunicazione
Anno: primo
Time Online: 2:39:03: [...]
Status: Offline

Post actions:

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

luna

.grande:maestro.

User info:

Registered: Apr 2003
Posts: 4565 (0.55 al dì)
Location: Rozzano
Corso:
Anno: Ormai finito!
Time Online: 102 Days, 14:49:55 [...]
Status: Offline

Post actions:

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

Ti consiglio di guardare le videolezioni,sono un po' pesanti pero' cerca di seguirle!

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

davidec

User info:

Registered: Apr 2003
Posts: 8 (0.00 al dì)
Location:
Corso:
Anno:
Time Online: 6:12:50 [...]
Status: Offline

Post actions:

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

Flavia

Regina degli avatar

User info:

Registered: Sep 2002
Posts: 3228 (0.38 al dì)
Location: Bergamo
Corso: TI.COM
Anno: Finito! :D
Time Online: 25 Days, 9:12:10 [...]
Status: Offline

Post actions:

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.

Cr34t|v3

User info:

Registered: Jun 2002
Posts: 535 (0.06 al dì)
Location: Milano
Corso: oUt
Anno: 0
Time Online: 9 Days, 22:07:13 [...]
Status: Offline

Post actions:

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

ripe

- up in the mountains -

User info:

Registered: Jun 2002
Posts: 9469 (1.10 al dì)
Location: Cinisellooo
Corso: TICO TICO
Anno: Primo
Time Online: 61 Days, 2:33:39 [...]
Status: Offline

Post actions:

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

Flavia

Regina degli avatar

User info:

Registered: Sep 2002
Posts: 3228 (0.38 al dì)
Location: Bergamo
Corso: TI.COM
Anno: Finito! :D
Time Online: 25 Days, 9:12:10 [...]
Status: Offline

Post actions:

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

e'vero avevo sclerato anche io durante le videolezioni!!!!!! "In buona sostanza"!!!!!!!!!!!!!!!!!!!!!!!!!!

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

ripe

- up in the mountains -

User info:

Registered: Jun 2002
Posts: 9469 (1.10 al dì)
Location: Cinisellooo
Corso: TICO TICO
Anno: Primo
Time Online: 61 Days, 2:33:39 [...]
Status: Offline

Post actions:

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

Sta continuando ancora, non ce la faccio più!!

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

ripe

- up in the mountains -

User info:

Registered: Jun 2002
Posts: 9469 (1.10 al dì)
Location: Cinisellooo
Corso: TICO TICO
Anno: Primo
Time Online: 61 Days, 2:33:39 [...]
Status: Offline

Post actions:

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

Cr34t|v3

User info:

Registered: Jun 2002
Posts: 535 (0.06 al dì)
Location: Milano
Corso: oUt
Anno: 0
Time Online: 9 Days, 22:07:13 [...]
Status: Offline

Post actions:

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

ripe

- up in the mountains -

User info:

Registered: Jun 2002
Posts: 9469 (1.10 al dì)
Location: Cinisellooo
Corso: TICO TICO
Anno: Primo
Time Online: 61 Days, 2:33:39 [...]
Status: Offline

Post actions:

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

Siamo in due, non ci ho capito una mazza!

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

Flavia

Regina degli avatar

User info:

Registered: Sep 2002
Posts: 3228 (0.38 al dì)
Location: Bergamo
Corso: TI.COM
Anno: Finito! :D
Time Online: 25 Days, 9:12:10 [...]
Status: Offline

Post actions:

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?

Sicuramente non meno del 50%!

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

ripe

- up in the mountains -

User info:

Registered: Jun 2002
Posts: 9469 (1.10 al dì)
Location: Cinisellooo
Corso: TICO TICO
Anno: Primo
Time Online: 61 Days, 2:33:39 [...]
Status: Offline

Post actions:

Originally posted by Flavia
Sicuramente non meno del 50%!

Dici sul serio? Spero sia uno scherzo!

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