|
|
|
|
 |
|  |
 |
papousek |
| .....mmmm....visto che flavia nn mi risponde via m ... |
18-12-2004 16:32 |
|
 |
papousek |
Prisoner

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
Edit | Report | IP: Logged |
.....mmmm....visto che flavia nn mi risponde via messenger...vorrei chiedere a voi tutti una piccola delucidazione...
esercizio di semantica postato da flavia:
la frase è la seguente....IL MANUALE DIVULGATIVO CHE MI SEGNALI E' COSTOSO....
la mia domanda riguarda l ultimo passaggio...ovvero.....quando al posto di (lamdaQ) devo inserire {LamdaX|costoso(x)}....
ecco il passaggio completo...spero si capisca....
y=lamda
{yQ|Ez({yx|manuale(x) ^divulgativo(x) ^ segnalare(y,x,z)}={z} ^ Q(z))}
inserendo appunto {yx|costoso(x)} diventa.....
Ez({yx|manuale(x) ^ divulgativo(x) ^ segnalare(y,x,z)}={z} ^ costoso (z)).....
ecco la domanda...flavia ha tolto il yx da costoso mentre è rimasto yx in manuale....quindi per finire...devo toglierlo quel yx anche da manuale o deve restare li???
grazie.....

__________________
Break Out
|
|
18-12-2004 16:32 |
|
|
|  |
 |
GinoPilotino |
| [QUOTE][i]Originally posted by Barone [/i]
... |
18-12-2004 16:41 |
|
 |
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 Barone
credo ci siano almeno un paio di errori.
In generale vanno istanziati prima i quantificatori che introducono un parametro nuovo poi gli altri.prova a riguardare..prima di domani purtroppo non riesco a corregertelo..cmq adi un occhio anche alla mia versione se hai voglia.ciao
come un paio d'errori?
per me lo svolgimento è corretto. si tratta solo di fare quando arrivi al ramo 1b]
Q( a ), Ax(...), P( f ( a )) => Ex(...), P( a )
di riapplicare l'esiste di destra istanziando come variabile f( a ) e verrebbe, come dice futurbaggio
Q( a ), Ax(...), P( f ( a )) => Ex(...), P( a ), P( f ( a ))
a me sembra corretto.
|
|
18-12-2004 16:41 |
|
|
|  |
 |
bau |
| sissì! f(a) è una normalissima variabile ;) ... |
18-12-2004 16:54 |
|
 |
bau |
.arcimaestro.

Registered: Dec 2002
Posts: 273 (0.03 al dì)
Location: somewhere over the rainbow
Corso: Informatica -magistrale-
Anno: 3...4?!
Time Online: 2 Days, 4:32:12 [...]
Status: Offline
Edit | Report | IP: Logged |
sissì! f(a) è una normalissima variabile 
__________________
Will you, won't you, will you, won't you, will you join the dance?~ Lewis Carol
|
|
18-12-2004 16:54 |
|
|
|  |
 |
bau |
| Ah, il sostantivo nel complemento di specificazion ... |
18-12-2004 17:18 |
|
 |
bau |
.arcimaestro.

Registered: Dec 2002
Posts: 273 (0.03 al dì)
Location: somewhere over the rainbow
Corso: Informatica -magistrale-
Anno: 3...4?!
Time Online: 2 Days, 4:32:12 [...]
Status: Offline
Edit | Report | IP: Logged |
Ah, il sostantivo nel complemento di specificazione (di+sostantivo) va considerato sempre come NP, nome proprio, per poter fare l'albero correttamente?
__________________
Will you, won't you, will you, won't you, will you join the dance?~ Lewis Carol
|
|
18-12-2004 17:18 |
|
|
|  |
 |
GinoPilotino |
| no, per esempio, "di matematica" non è NP ma NC : ... |
18-12-2004 17:59 |
|
 |
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 |
no, per esempio, "di matematica" non è NP ma NC 
|
|
18-12-2004 17:59 |
|
|
|  |
 |
bau |
| si, però il prof aveva mica detto che se nache si ... |
18-12-2004 18:19 |
|
 |
bau |
.arcimaestro.

Registered: Dec 2002
Posts: 273 (0.03 al dì)
Location: somewhere over the rainbow
Corso: Informatica -magistrale-
Anno: 3...4?!
Time Online: 2 Days, 4:32:12 [...]
Status: Offline
Edit | Report | IP: Logged |
si, però il prof aveva mica detto che se nache si hanno nomi comuni con il "di" sono da considerare NP per poi poterci fare la lamba coversione?? es, se matematica è nc allora ho di(x,y), mentre se è NP ho di(x,matematica)??!!!
__________________
Will you, won't you, will you, won't you, will you join the dance?~ Lewis Carol
|
|
18-12-2004 18:19 |
|
|
|  |
 |
bau |
| altro dubbio:
... |
18-12-2004 18:22 |
|
 |
bau |
.arcimaestro.

Registered: Dec 2002
Posts: 273 (0.03 al dì)
Location: somewhere over the rainbow
Corso: Informatica -magistrale-
Anno: 3...4?!
Time Online: 2 Days, 4:32:12 [...]
Status: Offline
Edit | Report | IP: Logged |
altro dubbio:
non mi è ancora chiaro se il "un" nelle frasi "se..allora" sia da considerare come "ogni" solo se con anafora o se sempre...aiutoo!!
altro dubbio!!:
nella frase "se compro una cartina di Milano..." Milano lo alzo subito come aveva fatto Flavia o solo nella frase cui appartiene??? 
__________________
Will you, won't you, will you, won't you, will you join the dance?~ Lewis Carol
|
|
18-12-2004 18:22 |
|
|
|  |
 |
bau |
| ah, ok mayetta!!! ;) allora col di metto sempre np ... |
18-12-2004 18:26 |
|
 |
bau |
.arcimaestro.

Registered: Dec 2002
Posts: 273 (0.03 al dì)
Location: somewhere over the rainbow
Corso: Informatica -magistrale-
Anno: 3...4?!
Time Online: 2 Days, 4:32:12 [...]
Status: Offline
Edit | Report | IP: Logged |
ah, ok mayetta!!! allora col di metto sempre np?!
__________________
Will you, won't you, will you, won't you, will you join the dance?~ Lewis Carol
|
|
18-12-2004 18:26 |
|
|
|  |
 |
angelko |
| [QUOTE][i]Originally posted by bau [/i]
... |
18-12-2004 18:50 |
|
 |
angelko |
---

Registered: Jan 2004
Posts: 1393 (0.17 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 bau
altro dubbio:
non mi è ancora chiaro se il "un" nelle frasi "se..allora" sia da considerare come "ogni" solo se con anafora o se sempre...aiutoo!!
altro dubbio!!:
nella frase "se compro una cartina di Milano..." Milano lo alzo subito come aveva fatto Flavia o solo nella frase cui appartiene???
prima domanda: solo se c'è l'anafora!
seconda domanda: solo nella frase a cui appartiene! 
__________________
"di tanto in tanto noi c'incontreremo, quando ci piacerà, nel bel mezzo dell'unica festa che non può finire"
|
|
18-12-2004 18:50 |
|
|
|  |
 |
mayetta |
| [QUOTE][i]Originally posted by bau [/i]
... |
18-12-2004 18:53 |
|
 |
mayetta |
--

Registered: Nov 2001
Posts: 1319 (0.15 al dì)
Location:
Corso:
Anno:
Time Online: 33 Days, 0:19:42 [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by bau
ah, ok mayetta!!! allora col di metto sempre np?!
no credo che matematica sia un caso particolare... non credo sia la regola...
|
|
18-12-2004 18:53 |
|
|
|  |
 |
angelko |
| [QUOTE][i]Originally posted by futurbaggio [/i]
... |
18-12-2004 18:54 |
|
 |
angelko |
---

Registered: Jan 2004
Posts: 1393 (0.17 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 futurbaggio
Assolutamente si, perchè non ci sono riferimenti al SN commerciante negli altri enunciati semplici: "Antonio compra la penna", "Ad Antonio (gli) piace la penna (che)" e "Il commerciante fa lo scontrino ad Antonio (gli)".
Il SN Antonio va sicuramente sollevato per primo visto che compare un po' dappertutto 
Roberto
no!
non è cosi!
proprio alla fine dell'ultima lezione flavia ha chiesto a ghilardi, data la presenza di una descrizione definita, cosa andava sollevato prima e ghilardi ha risposto che la descrizione definita va sollevata per prima anche se compare in un solo enunciato e antonio in entrambi!
__________________
"di tanto in tanto noi c'incontreremo, quando ci piacerà, nel bel mezzo dell'unica festa che non può finire"
|
|
18-12-2004 18:54 |
|
|
|  |
 |
angelko |
| [QUOTE][i]Originally posted by mayetta [/i]
... |
18-12-2004 18:55 |
|
 |
angelko |
---

Registered: Jan 2004
Posts: 1393 (0.17 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 mayetta
no credo che matematica sia un caso particolare... non credo sia la regola...
si lo credo anch'io... per esempio se ci fosse: "mangio l'osso di un cane", 'un cane' non va considerato come NP però non abbiamo mai affrontato casi cosi a lezione, non penso (almeno spero) non lo metta proprio all'esame!
__________________
"di tanto in tanto noi c'incontreremo, quando ci piacerà, nel bel mezzo dell'unica festa che non può finire"
|
|
18-12-2004 18:55 |
|
|
|  |
 |
GinoPilotino |
| ah si ragazzi, scusatemi, ho interpretato male la ... |
18-12-2004 18:56 |
|
 |
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 |
ah si ragazzi, scusatemi, ho interpretato male la domanda, sto impazzendo.
il di matematica è NP.
invece volevo chiedere lumi sull'esercizio 35 della ricerca di dimostrazioni, e più precisamente su questo passaggio:
AxR(x,f(x)) perchè lo si può tradurre con R(f(a),f(a))
cioè, x può assumere sia il valore di a che di f(a) 
Last edited by GinoPilotino on 18-12-2004 at 18:59
|
|
18-12-2004 18:56 |
|
|
|  |
 |
angelko |
| [QUOTE][i]Originally posted by papousek [/i]
... |
18-12-2004 18:59 |
|
 |
angelko |
---

Registered: Jan 2004
Posts: 1393 (0.17 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
.....mmmm....visto che flavia nn mi risponde via messenger...vorrei chiedere a voi tutti una piccola delucidazione...
esercizio di semantica postato da flavia:
la frase è la seguente....IL MANUALE DIVULGATIVO CHE MI SEGNALI E' COSTOSO....
la mia domanda riguarda l ultimo passaggio...ovvero.....quando al posto di (lamdaQ) devo inserire {LamdaX|costoso(x)}....
ecco il passaggio completo...spero si capisca....
y=lamda
{yQ|Ez({yx|manuale(x) ^divulgativo(x) ^ segnalare(y,x,z)}={z} ^ Q(z))}
inserendo appunto {yx|costoso(x)} diventa.....
Ez({yx|manuale(x) ^ divulgativo(x) ^ segnalare(y,x,z)}={z} ^ costoso (z)).....
ecco la domanda...flavia ha tolto il yx da costoso mentre è rimasto yx in manuale....quindi per finire...devo toglierlo quel yx anche da manuale o deve restare li???
grazie.....
l'ultimo lambdaX (con la B ) rimane!
__________________
"di tanto in tanto noi c'incontreremo, quando ci piacerà, nel bel mezzo dell'unica festa che non può finire"
|
|
18-12-2004 18:59 |
|
|
|  |
 |
| All times are GMT. The time now is 20:42. |
|
|
 |
|
 |
|
|
|  |
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
|
|
|
|
|
|