Orale del 11/07/2019
è partito chiedendomi di "tratteggiare" una funzione che data una φ ricorsiva primitiva mi generava un programma for
λx.0 è l'azzeramento della variabile
λx.x+1 assegna alla variabile x il suo successore
λx1....xn.xi 1<=i<=n è la selezione di una variabile xi
h in n+1 var e g1 ...
La ricerca ha trovato 2 risultati
- 12/07/2019, 9:00
- Forum: [ECC] Elementi di calcolabili e complessità
- Argomento: Domande Orale Degano
- Risposte: 36
- Visite : 551153
- 02/02/2019, 15:54
- Forum: [PI] Programmazione di interfacce
- Argomento: LWC rivisti e sistemati
- Risposte: 0
- Visite : 7016
LWC rivisti e sistemati
Qual'ora utilizzaste questi LWC per scrivere il vostro mid e voleste pubblicarlo su GitHub, vi chiederei di forkare la repo per mera onestà intellettuale.
https://github.com/The90Frank/FrankLWC
https://github.com/The90Frank/FrankLWC