Pages: [1] 2 3 ... 10
 1 
 on: Yesterday at 18:53:34 
Started by Alessandro Lauria - Last post by Alessandro Lauria
Buonasera ragazzi,
come scritto nel gruppo UNICT INFORMATICA, il tutorato di programmazione 1 M-Z sarà tenuto questo mercoledì, 12 dicembre, in aula 3 dalle 17 alle 19

Per ulteriori aggiornamenti unitevi al canale telegram linkato qui sotto:
https://t.me/tutorato_programmazione_1?fbclid=IwAR0HxQnPfgwI3kHzZNzyt6RwHU-b4PkMD5JJkhtImI6NNcm4tnLJACl91fA

 2 
 on: Yesterday at 11:02:22 
Started by Giuseppe Scollo - Last post by GianpietroC
Progetto:Theoretical Computer Tools
Linguaggio:C++
Descrizione:è un software per la risoluzione e la descrizione di varie equazioni inerenti alle differenti tematiche affrontate nel libro,come efficienza processore , calcolo rinfresco memorie DRAM ,legge di Amdahl ecc.. Contiene inoltre uno strumento per le differenti tecniche di rappresentazioni dei numeri e operazioni logiche su di essi
Gruppo: Gianpietro Castiglione(chiuso).

 3 
 on: 09-12-2018, 22:29:40 
Started by Franco Barbanera - Last post by Franco Barbanera
Che infamata

eh si...
si pretende addirittura che si leggano i testi dei quesiti.

 4 
 on: 08-12-2018, 21:44:15 
Started by Franco Barbanera - Last post by Trups
Che infamata

 5 
 on: 08-12-2018, 21:39:48 
Started by Franco Barbanera - Last post by Franco Barbanera
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.


 6 
 on: 08-12-2018, 20:54:55 
Started by Franco Barbanera - Last post by Franco Barbanera
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.

 7 
 on: 08-12-2018, 13:59:11 
Started by Franco Barbanera - Last post by Trups
infatti il quesito chiede di completare la definizione delle BV non delle FV

 8 
 on: 08-12-2018, 13:38:49 
Started by Franco Barbanera - Last post by Franco Barbanera
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.

 9 
 on: 08-12-2018, 13:37:04 
Started by Franco Barbanera - Last post by Franco Barbanera
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.

 10 
 on: 08-12-2018, 11:29:54 
Started by Franco Barbanera - Last post by Trups
Perché la domanda 6 della prova D è priva di senso?

Pages: [1] 2 3 ... 10