Fondamenti di Informatica (parte Barbanera)
22 Giugno 2023
Non e' ammesso l'uso di alcun testo, appunti, calcolatrici, telefonini o
smartphone (questi ultimi vanno riposti lontano dalla propria persona). Le risposte vanno scritte nel foglio di bella copia. Si
raccomanda la massima SINTETICITA'. L'eccessiva verbosita' verra'
considerata negativamente.
Per sostenere l'esame e' obbligatorio essersi prenotati sul portale studenti del nostro
ateneo. Elaborati di studenti non prenotati NON verranno valutati.
I risultati
verranno indicati nella pagina web del corso.
Date ed orari degli orali, sulla chat pubblica di Teams del corso.
(a)
Descrivere la componente Interprete delle Macchine Astratte.
E' possibile avere delle macchine astratte senza la componente Interprete?
Motivare brevemente la risposta.
(b)
Rinominare le variabili legate nel seguente termine in modo che
non ci siano due variabili legate con lo stesso nome
x(λx.((λx.x)x))
Questo termine ha una forma normale? Se no, perche' e qual e' una possibile sequenza infinita di β-riduzioni a partire da questo termine? Se si, qual e' e come si ottiene?
(c)
Dimostrare, in Deduzione Naturale, che
(d)
Sia {{a0,b0},{c2,p2}} una segnatura dove a e b sono simboli di costante, mentre c e p
sono simboli predicativi binari.
Interpretando a come "Antonella", b come
"Bruno", c(x, y) come "x conosce y", p(x, y) come "x e' parente di y",
traducete la seguente frase (scrivete cioe' la formule ben formata corrispondente):
Un parente di Bruno conosce una persona che conosce qualche parente di Antonella;