Pages: [1]   Go Down
Print
Author Topic: Soluzioni prova Barbanera  (Read 831 times)
0 Members e 1 Utente non registrato stanno visualizzando questa discussione.
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.071



WWW
« on: 08-12-2018, 00:02:39 »

In attach

* proveALL-2018-12-07.pdf (202.51 KB - scaricati 163 volte.)
Logged
Tend
Matricola
*
Offline Offline

Posts: 1


« Reply #1 on: 08-12-2018, 09:32:31 »

Penso che nella prova B la soluzione alla domanda 6 sia incorretta: risulta infatti che la soluzione sia FV(λx.P) = BV(P)/{x}, ma la soluzione dovrebbe essere FV(λx.P) = FV(P)/{x}, come anche riportato nel testo. Quindi la risposta dovrebbe essere la 4, non la 3
Logged
Trups
Matricola
*
Offline Offline

Posts: 5


« Reply #2 on: 08-12-2018, 11:29:54 »

Perché la domanda 6 della prova D è priva di senso?
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.071



WWW
« Reply #3 on: 08-12-2018, 13:37:04 »

Penso che nella prova B la soluzione alla domanda 6 sia incorretta: risulta infatti che la soluzione sia FV(λx.P) = BV(P)/{x}, ma la soluzione dovrebbe essere FV(λx.P) = FV(P)/{x}, come anche riportato nel testo. Quindi la risposta dovrebbe essere la 4, non la 3

Un errore con il copia incolla, che rende corretta la risposta 4.
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.071



WWW
« Reply #4 on: 08-12-2018, 13:38:49 »

Perché la domanda 6 della prova D è priva di senso?

Perche' per avere la definizione di insieme di variabili libere,
le variabili libere di x dovrebbero essere {x} e non l'insieme vuoto.
Logged
Trups
Matricola
*
Offline Offline

Posts: 5


« Reply #5 on: 08-12-2018, 13:59:11 »

infatti il quesito chiede di completare la definizione delle BV non delle FV
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.071



WWW
« Reply #6 on: 08-12-2018, 20:54:55 »

Penso che nella prova B la soluzione alla domanda 6 sia incorretta: risulta infatti che la soluzione sia FV(λx.P) = BV(P)/{x}, ma la soluzione dovrebbe essere FV(λx.P) = FV(P)/{x}, come anche riportato nel testo. Quindi la risposta dovrebbe essere la 4, non la 3

Un errore con il copia incolla, che rende corretta la risposta 4.

Ovviamente, vista l'ambiguita' della domanda, anche la risposta 3 sara' considerata valida.
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.071



WWW
« Reply #7 on: 08-12-2018, 21:39:48 »

infatti il quesito chiede di completare la definizione delle BV non delle FV

Il quesito chiede

Cosa va inserito al posto di `?' per avere la definizione di Insieme delle
variabili libere di un lambda-termine?

Che poi l'insieme lo chiamiamo BV, Giuseppe o Carmelo, e' indifferente.

Logged
Trups
Matricola
*
Offline Offline

Posts: 5


« Reply #8 on: 08-12-2018, 21:44:15 »

Che infamata
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.071



WWW
« Reply #9 on: 09-12-2018, 22:29:40 »

Che infamata

eh si...
si pretende addirittura che si leggano i testi dei quesiti.
Logged
Pages: [1]   Go Up
Print
Jump to: