|
|
|
 |
|  |
 |
laser |
[QUOTE][i]Originally posted by morf [/i]
... |
21-12-2004 16:53 |
|
 |
laser |
.fedelissimo.
Registered: Mar 2003
Posts: 57 (0.01 al dì)
Location: Milano
Corso: comunicazione digitale
Anno: 3
Time Online: 1 Day, 6:19:35 [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by morf
posso fare una domanda sperando in una risposta ? ma il sollevamente quando è realmente necessario? non dovrebbe essere di norma fatto quando c'è ambiguità?
ho visto che il prof l'ha usato anche per risolvere frasi come "Antonio ama una ragazza" che sono fattibili anche senza: ovviamente se non sollevo non posso usare tutte le formulette che lui ci ha elencato.
Ciao morf...
Allora...da quanto ho capito io, la tecnica del sollevamento serve come dici tu a eliminare le ambiguità, cioè in sostanza quando ti ritrovi più forme logiche diverse a partire da uno stesso albero di generazione...però è una tecnica che puoi benissimo utilizzare come "standard"(quindi anche quando hai frasi elementari) e che in più ti dà la possibilità come tu stesso hai detto di svlogere l'esercizio "semplicemente" leggendo le regole scritte sul foglio.
Correggetemi se ho detto cavolate...
Ciaoooo
__________________
"Conosco la metà di voi solo a metà e nutro per meno della metà di voi metà dell'affetto che meritate"
Bilbo Baggins -La compagnia dell'anello-
|
21-12-2004 16:53 |
|
|
|  |
 |
Barone |
[QUOTE][i]Originally posted by laser [/i]
... |
21-12-2004 16:57 |
|
 |
Barone |
non cambio mai avatar

Registered: Dec 2002
Posts: 4943 (0.61 al dì)
Location:
Corso: Done.
Anno:
Time Online: 36 Days, 5:19:15 [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by laser
Ciao morf...
Allora...da quanto ho capito io, la tecnica del sollevamento serve come dici tu a eliminare le ambiguità, cioè in sostanza quando ti ritrovi più forme logiche diverse a partire da uno stesso albero di generazione...però è una tecnica che puoi benissimo utilizzare come "standard"(quindi anche quando hai frasi elementari) e che in più ti dà la possibilità come tu stesso hai detto di svlogere l'esercizio "semplicemente" leggendo le regole scritte sul foglio.
Correggetemi se ho detto cavolate...
Ciaoooo
corretto
|
21-12-2004 16:57 |
|
|
|  |
 |
laser |
[QUOTE][i]Originally posted by luna [/i]
... |
21-12-2004 16:59 |
|
 |
laser |
.fedelissimo.
Registered: Mar 2003
Posts: 57 (0.01 al dì)
Location: Milano
Corso: comunicazione digitale
Anno: 3
Time Online: 1 Day, 6:19:35 [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by luna
l'albero è giusto sia come l'ho detto io che come te l'ha detto Angy!
La soluzione..a me viene
Ex(piantina(x) E di (x,Milano) E comprare (z,x)--> NON perdersi(z))
Poi dipende da che lettere hai usato per Milano e piantina!Spero sia giusto!
Scusa luna...
a me viene leggermente diverso il risultato....cioè la parentesi dell'esiste x si chiude prima dell'implica e non alla fine della formula...infatti l'ultimo passaggio da fare nell'esercizio è del tipo [[C]] ( [[E1]] , [[E2]] )....quindi basta prendere E1 ed E2 e metterci -> in mezzo..
E' giusto oppure sbaglio qualcosa?
Ciao! 
__________________
"Conosco la metà di voi solo a metà e nutro per meno della metà di voi metà dell'affetto che meritate"
Bilbo Baggins -La compagnia dell'anello-
|
21-12-2004 16:59 |
|
|
|  |
 |
joker402 |
[QUOTE][i]Originally posted by morf [/i]
... |
21-12-2004 17:02 |
|
 |
joker402 |
dsy core staff

Registered: Nov 2002
Posts: 2429 (0.30 al dì)
Location: Milano
Corso: TICom
Anno: II+
Time Online: 49 Days, 14:29:03: [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by morf
posso fare una domanda sperando in una risposta ? [...] certo! oramai questo forum è in quasi-real-time! 
A lezione inizialmente aveva detto che bisognava sempre sollevare il meno possibile. Poi però negli esempi ha sempre sollevato tutto il sollevabile... quindi nel compito io credo che solleverò tutto.
__________________
Ogni uomo mente, ma dategli una maschera e sarà sincero.
~ joker402 ~
|
21-12-2004 17:02 |
|
|
|  |
 |
angelko |
[QUOTE][i]Originally posted by laser [/i]
... |
21-12-2004 17:05 |
|
 |
angelko |
---

Registered: Jan 2004
Posts: 1393 (0.18 al dì)
Location: Limbiate
Corso: Comunicazione Digitale
Anno: 3°
Time Online: 29 Days, 5:15:31 [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by laser
Scusa luna...
a me viene leggermente diverso il risultato....cioè la parentesi dell'esiste x si chiude prima dell'implica e non alla fine della formula...infatti l'ultimo passaggio da fare nell'esercizio è del tipo [[C]] ( [[E1]] , [[E2]] )....quindi basta prendere E1 ed E2 e metterci -> in mezzo..
E' giusto oppure sbaglio qualcosa?
Ciao!
è giusto quello che dici!
ma nella soluzione di sara non cambia nulla tanto non ci sono riferimenti a x in "non perdersi" e anche perchè l'AND lega piu dell'IMPLICA
__________________
"di tanto in tanto noi c'incontreremo, quando ci piacerà, nel bel mezzo dell'unica festa che non può finire"
|
21-12-2004 17:05 |
|
|
|  |
 |
Barone |
[QUOTE][i]Originally posted by joker402 [/i]
... |
21-12-2004 17:06 |
|
 |
Barone |
non cambio mai avatar

Registered: Dec 2002
Posts: 4943 (0.61 al dì)
Location:
Corso: Done.
Anno:
Time Online: 36 Days, 5:19:15 [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by joker402
certo! oramai questo forum è in quasi-real-time! 
A lezione inizialmente aveva detto che bisognava sempre sollevare il meno possibile. Poi però negli esempi ha sempre sollevato tutto il sollevabile... quindi nel compito io credo che solleverò tutto.
il meno possibile credi si rifersca a "quanto in alto" ci debba sollevare..appunto il meno possibile...
ma è bene sollvare tutti i Sn per poter usare le regole,
Last edited by Barone on 21-12-2004 at 17:09
|
21-12-2004 17:06 |
|
|
|  |
 |
papousek |
[QUOTE][i]Originally posted by angelko [/i]
... |
21-12-2004 17:08 |
|
 |
papousek |
Prisoner

Registered: Jan 2005
Posts: 1562 (0.21 al dì)
Location: Sona
Corso: Dottore dal 2006
Anno: End
Time Online: 16 Days, 7:11:58 [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by angelko
si cosi è giusta!
qualche giorno fa bau aveva tirato fuori l'esempio "se la sedia non si rompe, Antonio finirà tutti i compiti di matemantica"
qualcuno l'ha fatta?
a me viene:
Ez({Lambdax|sedia(x)} = {z} AND (NON rompere (z,z) --> (Ay(compiti(y) AND di(y,Matematica) --> finire(Antonio,y)))})
ok viene anche a me cosi...a parte il not rompere...che ho messo not rompere(x)....e a parte la parentesi dopo il primo AND....nn è che va tolta??...così....
Ez({Lambdax|sedia(x)} = {z} AND NON rompere (z,z) --> (Ay(compiti(y) AND di(y,Matematica) --> finire(Antonio,y)))})
__________________
Break Out
|
21-12-2004 17:08 |
|
|
|  |
 |
angelko |
[QUOTE][i]Originally posted by GinoPilotino [/i]
... |
21-12-2004 17:09 |
|
 |
angelko |
---

Registered: Jan 2004
Posts: 1393 (0.18 al dì)
Location: Limbiate
Corso: Comunicazione Digitale
Anno: 3°
Time Online: 29 Days, 5:15:31 [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by GinoPilotino
però una domanda: perchè rompere hai m esso NOT rompere (z,z)?
il verbo riflessivo quando l'hai analizzato hai messo NOT rompere (x,x)? Io ho messo NOT rompere (x).
allora in questo caso ho sbagliato
in effetti rompersi non è un verbo riflessivo vero (cioè non è la sedia che rompe se stessa) quindi avrei dovuto mettere rompersi (z), come dici tu!
però in generale se ci fosse un verbo riflessivo, analizzarlo come riflessivo ( es. lavare (x,x)) o come intransitivo ( lavarsi (x)) non cambia nulla!
__________________
"di tanto in tanto noi c'incontreremo, quando ci piacerà, nel bel mezzo dell'unica festa che non può finire"
|
21-12-2004 17:09 |
|
|
|  |
 |
laser |
[QUOTE][i]Originally posted by angelko [/i]
... |
21-12-2004 17:10 |
|
 |
laser |
.fedelissimo.
Registered: Mar 2003
Posts: 57 (0.01 al dì)
Location: Milano
Corso: comunicazione digitale
Anno: 3
Time Online: 1 Day, 6:19:35 [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by angelko
è giusto quello che dici!
ma nella soluzione di sara non cambia nulla tanto non ci sono riferimenti a x in "non perdersi" e anche perchè l'AND lega piu dell'IMPLICA
Giusto...hai ragione...grazie!
__________________
"Conosco la metà di voi solo a metà e nutro per meno della metà di voi metà dell'affetto che meritate"
Bilbo Baggins -La compagnia dell'anello-
|
21-12-2004 17:10 |
|
|
|  |
 |
GinoPilotino |
[QUOTE][i]Originally posted by angelko [/i]
... |
21-12-2004 17:12 |
|
 |
GinoPilotino |
.grande:maestro.

Registered: Dec 2002
Posts: 1403 (0.17 al dì)
Location: Segrate
Corso: TI.COM
Anno: Secondo
Time Online: 13 Days, 8:59:42 [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by angelko
allora in questo caso ho sbagliato
in effetti rompersi non è un verbo riflessivo vero (cioè non è la sedia che rompe se stessa) quindi avrei dovuto mettere rompersi (z), come dici tu!
però in generale se ci fosse un verbo riflessivo, analizzarlo come riflessivo ( es. lavare (x,x)) o come intransitivo ( lavarsi (x)) non cambia nulla!
l'importante era chiarirsi...ogni volta che leggo il forum mi nasce un dubbio 
|
21-12-2004 17:12 |
|
|
|  |
 |
angelko |
[QUOTE][i]Originally posted by papousek [/i]
... |
21-12-2004 17:16 |
|
 |
angelko |
---

Registered: Jan 2004
Posts: 1393 (0.18 al dì)
Location: Limbiate
Corso: Comunicazione Digitale
Anno: 3°
Time Online: 29 Days, 5:15:31 [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by papousek
ok viene anche a me cosi...a parte il not rompere...che ho messo not rompere(x)....e a parte la parentesi dopo il primo AND....nn è che va tolta??...così....
Ez({Lambdax|sedia(x)} = {z} AND NON rompere (z,z) --> (Ay(compiti(y) AND di(y,Matematica) --> finire(Antonio,y)))})
mi sa che hai ragione!
maledette parentesi!
forse l'ho scritto per distrazione, infatti alla fine il numero di parentesi chiuse è giusto.
__________________
"di tanto in tanto noi c'incontreremo, quando ci piacerà, nel bel mezzo dell'unica festa che non può finire"
|
21-12-2004 17:16 |
|
|
|  |
 |
papousek |
[QUOTE][i]Originally posted by angelko [/i]
... |
21-12-2004 17:21 |
|
 |
papousek |
Prisoner

Registered: Jan 2005
Posts: 1562 (0.21 al dì)
Location: Sona
Corso: Dottore dal 2006
Anno: End
Time Online: 16 Days, 7:11:58 [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by angelko
mi sa che hai ragione!
maledette parentesi!
forse l'ho scritto per distrazione, infatti alla fine il numero di parentesi chiuse è giusto.
qua ci vuole un bella fresca e passa tutto...
ciauz....
__________________
Break Out
|
21-12-2004 17:21 |
|
|
|  |
 |
papousek |
[QUOTE][i]Originally posted by luna [/i]
... |
21-12-2004 17:30 |
|
 |
papousek |
Prisoner

Registered: Jan 2005
Posts: 1562 (0.21 al dì)
Location: Sona
Corso: Dottore dal 2006
Anno: End
Time Online: 16 Days, 7:11:58 [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by luna
ci vorrebbero le vacanze
le vacanze inizieranno dalle 10.30 di domani in poi....
__________________
Break Out
|
21-12-2004 17:30 |
|
|
|  |
 |
Mac |
Ho un domandone da porre agli illuminati :D
... |
21-12-2004 18:12 |
|
 |
Mac |
Unknown Phase

Registered: Jul 2003
Posts: 240 (0.03 al dì)
Location:
Corso: t.i.coMA
Anno: -1+3=?
Time Online: 4 Days, 8:04:50 [...]
Status: Offline
Edit | Report | IP: Logged |
Ho un domandone da porre agli illuminati 
Frase di esempoi: nessuno studente che si prepara è bocciato
Domandone: il verbo riflessivo prepararsi=si prepara PERCHE' è da trattare come un verbo intransitivo? (dagli es. di Flavia)
Io personalmente lo tratto come un normale verbo transitivo (quale è) come lo studente (x) prepara sè stesso (x) quindi come
___________E
__________/__\
________SN___SV
________/____/_\
_______X___VT__SN
___________/_____\
______preparare___X
Sbaglio? 
spero si riesca a capire l'albero 
__________________
Mac
"L'estremo limite della saggezza: ecco ciò che l'uomo chiama follia"
|
21-12-2004 18:12 |
|
|
|  |
 |
All times are GMT. The time now is 21:15. |
|
|
 |
|
 |
|
|
|  |
Forum Rules:
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts
|
HTML code is OFF
vB code is ON
Smilies are ON
[IMG] code is ON
|
|
|
|
|
|