Fondamenti di Informatica (parte Barbanera)
14 Luglio 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)
Cosa significa, nel calcolo proposizionale (logica proposizionale),
che una formula A e' conseguenza tautologica di un insieme di formule
Γ ( Γ ⊨ A) ?
E' vera la seguente affermazione?
p → (p → q) ⊨ p → q
dove p e q sono variabili proposizionali.
(b)
Dimostrare in deduzione naturale che
(c)
Descrivere in dettaglio il significato della seguente regola della semantica operazionale
del linguaggio WHILE:
ai ≠ aj a , begin δ end ⇓ b b , begin while Xi ≠ Xj do δ end ⇓ c
______________________________________________________
a begin while Xi ≠ Xj do δ end ⇓ c
Servono altre regole per completare la semantica delle istruzioni while del linguaggio? Se si, perche' e quali sono? se no, giustificare il motivo per cui
la regola sopra descritta e' sufficiente.