papousek

Prisoner

User info:

Registered: Jan 2005
Posts: 1562 (0.20 al dì)
Location: Sona
Corso: Dottore dal 2006
Anno: End
Time Online: 16 Days, 7:11:58 [...]
Status: Offline

Post actions:

scusate il mio post..saro breve...queste cose sono trattate sulle dispense???

..perchè io ho il problema che posso solo frequentare le lezioni del pomeriggio...

grazie a tutti

__________________
Break Out

Barone

non cambio mai avatar

User info:

Registered: Dec 2002
Posts: 4943 (0.59 al dì)
Location:
Corso: Done.
Anno:
Time Online: 36 Days, 5:19:15 [...]
Status: Offline

Post actions:

guarda...è tutto trattato sulle slides..però il linguaggio utilizzato è molto formale e quello fatto a lezione però a volte si discosta leggermente dalle slide che sono molto più comlete ed approfondite..ti consiglio di tenere un occhio qui che postiamo esercizi e robe del genere..
HIM POWER!!!

joker402

dsy core staff

User info:

Registered: Nov 2002
Posts: 2429 (0.29 al dì)
Location: Milano
Corso: TICom
Anno: II+
Time Online: 49 Days, 14:29:03: [...]
Status: Offline

Post actions:

Originally posted by Barone
joker dai un occhio ai miei es...

ho dato un'occhiata veloce, il primo esercizio sui modelli, hai scritto il testo diverso da quello che ho io, quindi magari l'hai anche fatto giusto
Il primo esercizio sulla conseguenza logica, mi sembra che ci sia qualche errore nella parte che hai segnato con B (R->P è falso quando R è vero e P falso)
Spero di non aver guardato troppo in fretta

__________________
Ogni uomo mente, ma dategli una maschera e sarà sincero.
~ joker402 ~

Barone

non cambio mai avatar

User info:

Registered: Dec 2002
Posts: 4943 (0.59 al dì)
Location:
Corso: Done.
Anno:
Time Online: 36 Days, 5:19:15 [...]
Status: Offline

Post actions:

cacchio a fare sti esercizi mi vanno insieme gli occhi..domani mattina li riguardo...

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:

Ho postato nell'area filez gli esercizi sulle k-dimostrazioni!

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

m735

TutoreStellato

User info:

Registered: Oct 2003
Posts: 157 (0.02 al dì)
Location: Milano
Corso: tecnologia della comunicazione
Anno: 2
Time Online: 1 Day, 14:39:44 [...]
Status: Offline

Post actions:

Ho tre dubbi:

Nelle ricerca delle dimostrazioni (calcolo del 1° ordine)

- f(x) è un termine vero? e per questo può essere considerato "termine già usato"=l, nell'applicare le regole di inferenza per i quantificatori?

- le variabili x,y,z,.... non sono termini... vero?

- Se, nell'apllicare una regola di inferenza, mi ritrovo a dover sostituire a tutte le x un termine, non devo sostituirlo anche alla x interna a f(x) vero???? (es. Q(x, f(x))-----> Q(c, f(x)))


è complicato scrivere con tutto questo formalismo.... probabilmente non si capirà niente

__________________
Killer Coca-Cola

REBOC

www.nococacola.info

m735

TutoreStellato

User info:

Registered: Oct 2003
Posts: 157 (0.02 al dì)
Location: Milano
Corso: tecnologia della comunicazione
Anno: 2
Time Online: 1 Day, 14:39:44 [...]
Status: Offline

Post actions:

mi correggo da sola... le variabili sono termini

__________________
Killer Coca-Cola

REBOC

www.nococacola.info

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:

Per la 3...io penso proprio che devi sostituirla..in fondo se cambi il valore di x, il valore di f(x) cambia univocamente (per la definizione di funzione!)

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

m735

TutoreStellato

User info:

Registered: Oct 2003
Posts: 157 (0.02 al dì)
Location: Milano
Corso: tecnologia della comunicazione
Anno: 2
Time Online: 1 Day, 14:39:44 [...]
Status: Offline

Post actions:

Anche io lo penso, ma non ne ero sicura...

se sostituisco l'esercizio esce

__________________
Killer Coca-Cola

REBOC

www.nococacola.info

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:

Oggi abbiamo svolto in classe esercizi sul calcolo delle dimostrazioni nella logica del primo ordine. La prof ha detto che gli esercizi saranno facili, con massimo 10 nodi!

Comunque confermo, f(x) diviene, ad esempio f(t) e resta un termine!

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

Francesko

User info:

Registered: Apr 2004
Posts: 216 (0.03 al dì)
Location: milano
Corso:
Anno: 3
Time Online: 4 Days, 20:34:26 [...]
Status: Offline

Post actions:

per caso qualche anima generosa può postare nei filez l'esercizio svolto?

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:

Ci provo...scriverlo è complicato...posto solo il primo però, quello il cui grado di diffcolotà sarà simile a quello del compito...


Non c'è la A e la E rovesciate!
Clicca qua!

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

Last edited by Flavia on 17-11-2004 at 11:02

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:

ecco l'esercizio assegnato dal prof Ghilardi a lezione ( è stato assegnato in un esame):

Frasi:

1. Nessun marinaio ama una ragazza bruna
2. Lucia è una ragazza bruna
_____________________________

3. Nessun marinaio ama Lucia

Analizzare tramite le regole ricorsive e producendo la forma sollevata la frase 1,poi analizzare la frase 2 e poi la frase 3. Dimostrare poi che le frasi 1 e 2 implicano la 3. La prima frase è ambigua,dimostrare i due possibili casi.


L'esercizio e' piuttosto lungo e nel compito bisognava dimostrare solo uno dei due casi di ambiguita'.

Buon lavoro

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

Last edited by luna on 17-11-2004 at 17:24

testa100

User info:

Registered: Jan 2003
Posts: 47 (0.01 al dì)
Location: segrate
Corso: Comunicazione Digitale
Anno: 2
Time Online: 1 Day, 7:28:37 [...]
Status: Offline

Post actions:

Il Prof. ha detto che in rete c'e' un "foglio" con tutte le regoline da usare per gli esercizi...ma qualcuno le ha trovate???
Lui ne ha scritte un po' alla lavagna dicendo che non c'era bisogno di ricopiarle perche' le trovavamo sul suo sito...

Aiuto!!!

Grazie...

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 luna
ecco l'esercizio assegnato dal prof Ghilardi a lezione ( è stato assegnato in un esame):

Frasi:

1. Nessun marinaio ama una ragazza bruna
2. Lucia è una ragazza bruna
_____________________________

3. Nessun marinaio ama Lucia

Analizzare tramite le regole ricorsive e producendo la forma sollevata la frase 1,poi analizzare la frase 2 e poi la frase 3. Dimostrare poi che le frasi 1 e 2 implicano la 3. La prima frase è ambigua,dimostrare i due possibili casi.


L'esercizio e' piuttosto lungo e nel compito bisognava dimostrare solo uno dei due casi di ambiguita'.

Buon lavoro

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