recoil

dsy adminz

User info:

Registered: Mar 2002
Posts: 4454 (0.51 al dì)
Location: Milano / Erba
Corso: TICOM
Anno: laureato
Time Online: 61 Days, 16:17:45 [...]
Status: Offline

Post actions:

Originally posted by holylaw
la presenza e' (era) obbligatoria??
e' fattibile sta cosa secondo voi?? le dispense sono fatte bene, chiare e sufficienti per passare e magari prendere un bel voto?
da quanto ho capito l'esame si svolge con un progetto e uno scritto...

__________________
Sono sempre alla ricerca di curriculum interessanti da segnalare alle società con cui ho contatti. Info in pm

kikka

.consigliere.

User info:

Registered: May 2002
Posts: 112 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 12:57:55 [...]
Status: Offline

Post actions:

Ciao
anch'io lavorando non ho potuto seguire il corso..
recoil ma l'esercizio di cui parlavi è dato dal prof immagino...altrimenti bisogna inventarselo??
Per l'utilizzo di spass ci sono dispense ulteriori o bisogna utilizzare il materiale che si trova in internet?
Per chi ha gia dato l'esame come vi siete preparati??
Grazie ciao

Sauzer

.fedelissimo.

User info:

Registered: Oct 2003
Posts: 58 (0.01 al dì)
Location: Macchinetta del caffè, via comelico 39/41 Milano
Corso: Laurea specialistica T.I.C.
Anno: primo
Time Online: 12:09:31 [...]
Status: Offline

Post actions:

Ciao, io sto preparando l'esame e se tutto va bene vorrei darlo entro le prossime 2 settimane.
Avevo seguito ma non con molta costanza quindi non preoccuparti, non è indispensabile seguire.
L'esercizio per spass lo devi inventare tu (ne trovi in rete o puoi utilizzare direttamente uno di quelli sulle dispense).
Per SPASS trovi qualcosa sulla dispensa del corso, comunque anche in rete si trova molto e non è molto difficile da usare (mi hanno detto così tutti quelli che hanno gia dato l'esame :-) ).
Per prepararlo basta la dispensa, non serve altro.

Buono studio

Sauzer

__________________
Si parte per l'erasmussss in Finlandiaaa

kikka

.consigliere.

User info:

Registered: May 2002
Posts: 112 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 12:57:55 [...]
Status: Offline

Post actions:

Grazie

AlphaGamma

.piano ma pieni.

User info:

Registered: Jun 2002
Posts: 6732 (0.78 al dì)
Location:
Corso: Eh?
Anno: Io cosa?
Time Online: 21 Days, 21:22:01: [...]
Status: Offline

Post actions:

L'appello di logica è il 18 giugno.
(azz, ma io ho editoria multimediale il 14!!!!)

Ok c'è qualcuno che nella fase finale è disposto a confrontarsi sulla materia?
PS: sono non frequentante.

__________________
Attenzio', concentrazio', ritmo e VITALITÀ

Bulma

.grande:maestro.

User info:

Registered: Jun 2002
Posts: 1706 (0.20 al dì)
Location: Rondinera City
Corso: Specialistica in Informatica
Anno: Dott. Mag.
Time Online: 72 Days, 20:00:05: [...]
Status: Offline

Post actions:

Alpha, il nostro esame di Logica non ha appelli prefissati, puoi scrivere al docente e fissare l'esame quando preferisci. Probabilmente il 18 giugno sarà l'appello per il corso di Logica per la Laurea Triennale...

__________________
The man in black fled across the desert and the gunslinger followed.

AlphaGamma

.piano ma pieni.

User info:

Registered: Jun 2002
Posts: 6732 (0.78 al dì)
Location:
Corso: Eh?
Anno: Io cosa?
Time Online: 21 Days, 21:22:01: [...]
Status: Offline

Post actions:

Molto bene. Questa si che è una ottima notizia.

Ok, c'è qualcuno che è disposto a dare logica nel periodo metà giugno - metà luglio?

__________________
Attenzio', concentrazio', ritmo e VITALITÀ

0m4r

.grande:maestro.

User info:

Registered: Mar 2002
Posts: 7287 (0.84 al dì)
Location: Düsseldorf (DE)
Corso:
Anno: ESAMI FINITI
Time Online: 49 Days, 0:57:33 [...]
Status: Offline

Post actions:

io lo darò prima se non muoio di stress e stanchezza!!!!

__________________
http://www.twitter.com/0m4r

recoil

dsy adminz

User info:

Registered: Mar 2002
Posts: 4454 (0.51 al dì)
Location: Milano / Erba
Corso: TICOM
Anno: laureato
Time Online: 61 Days, 16:17:45 [...]
Status: Offline

Post actions:

secondo me logica, proprio perché non ha appelli fissati, è da fare nei "tempi morti" tipo ottobre/novembre o aprile/maggio
io penso di farlo in autunno

AlphaGamma

.piano ma pieni.

User info:

Registered: Jun 2002
Posts: 6732 (0.78 al dì)
Location:
Corso: Eh?
Anno: Io cosa?
Time Online: 21 Days, 21:22:01: [...]
Status: Offline

Post actions:

Recoil... è un'ottima idea. Direi anzi geniale.

Ok, depenno logica dall'elenco esami da dare a giugno-luglio.

__________________
Attenzio', concentrazio', ritmo e VITALITÀ

Bulma

.grande:maestro.

User info:

Registered: Jun 2002
Posts: 1706 (0.20 al dì)
Location: Rondinera City
Corso: Specialistica in Informatica
Anno: Dott. Mag.
Time Online: 72 Days, 20:00:05: [...]
Status: Offline

Post actions:

Ho or ora finito di sostenere l'esame di Logica e, da brava newser, vi aggiorno.
L'esame è iniziato con l'esecuzione, da parte di SPASS, di un programmino (semplicissimo) portato da me (per la cronaca, una banale dimostrazione della legge di cancellazione in un gruppo). Ho commentato un po' l'output, dopodiché ho dovuto eseguire a mano un passo della dimostrazione.
Abbiamo poi parlato della differenza tra regole di inferenza e regole di riduzione, della nozione di clausola e inferenza ridondante, della regola Rew.
Ecco, tutto qui, il mio compito l'ho fatto e ora... vado a festeggiare!!

__________________
The man in black fled across the desert and the gunslinger followed.

0m4r

.grande:maestro.

User info:

Registered: Mar 2002
Posts: 7287 (0.84 al dì)
Location: Düsseldorf (DE)
Corso:
Anno: ESAMI FINITI
Time Online: 49 Days, 0:57:33 [...]
Status: Offline

Post actions:

Originally posted by Bulma
Ho or ora finito di sostenere l'esame di Logica e, da brava newser, vi aggiorno.
L'esame è iniziato con l'esecuzione, da parte di SPASS, di un programmino (semplicissimo) portato da me (per la cronaca, una banale dimostrazione della legge di cancellazione in un gruppo). Ho commentato un po' l'output, dopodiché ho dovuto eseguire a mano un passo della dimostrazione.
Abbiamo poi parlato della differenza tra regole di inferenza e regole di riduzione, della nozione di clausola e inferenza ridondante, della regola Rew.
Ecco, tutto qui, il mio compito l'ho fatto e ora... vado a festeggiare!!

__________________
http://www.twitter.com/0m4r

Sauzer

.fedelissimo.

User info:

Registered: Oct 2003
Posts: 58 (0.01 al dì)
Location: Macchinetta del caffè, via comelico 39/41 Milano
Corso: Laurea specialistica T.I.C.
Anno: primo
Time Online: 12:09:31 [...]
Status: Offline

Post actions:

Originally posted by 0m4r
Bhe, complimenti...
Posso chiederti di postare il testo del tuo esercizio? Ed inoltre, quali sono le risposte alle domande che ti ha fatto??

__________________
Si parte per l'erasmussss in Finlandiaaa

Bulma

.grande:maestro.

User info:

Registered: Jun 2002
Posts: 1706 (0.20 al dì)
Location: Rondinera City
Corso: Specialistica in Informatica
Anno: Dott. Mag.
Time Online: 72 Days, 20:00:05: [...]
Status: Offline

Post actions:

Per quanto riguarda l'esercizio, preferite che posti (suppongo nell'area Filez...) il file per SPASS o che scriva qui le formule che ho usato?

Per quanto invece riguarda le domande, beh:
1) differenza tra regole di riduzione e regole di inferenza: le prime cancellano clausole, le seconde le derivano. Inoltre, se disabilitiamo le regole di riduzione, otteniamo una perdita di efficienza ma manteniamo la completezza refutazionale del calcolo, che verrebbe invece distrutta se disabilitassimo le regole di inferenza.
2) Clausole e inferenze ridonanti: trovate la definizione precisa nel paragrafo 4.3 della dispensa (dal titolo "Ridondanze")
3) Regola Rew: regola di demodulazione, anche nota come riscrittura, è una regola di riduzione per il calcolo S. La definizione puntuale si trova nel paragrafo indicato al punto 2).

Questo dovrebbe essere tutto, se vi servono altre informazioni non esitate a chiedere (prima che rimuova ogni conoscenza di logica dal mio cervello )!

__________________
The man in black fled across the desert and the gunslinger followed.

0m4r

.grande:maestro.

User info:

Registered: Mar 2002
Posts: 7287 (0.84 al dì)
Location: Düsseldorf (DE)
Corso:
Anno: ESAMI FINITI
Time Online: 49 Days, 0:57:33 [...]
Status: Offline

Post actions:

Originally posted by Bulma
Per quanto riguarda l'esercizio, preferite che posti (suppongo nell'area Filez...) il file per SPASS o che scriva qui le formule che ho usato?

__________________
http://www.twitter.com/0m4r