Fondamenti di Informatica (parte Barbanera)
23 Giugno 2022
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))
(c)
Quando un sistema formale si dice Consistente?
Quando un insieme di formule ben formate di un sistema formale e' una Teoria?
Cos'e' la Teoria pura di un sistema formale? Una teoria pura e' una teoria? Perche'?
(d)
Dimostrare che in deduzione naturale la regola
¬¬α
-------
α
e' derivabile.
Fare lo stesso per la regola
α
-------
¬¬α