Capacità di sintesi

Buongiorno professore,
sono uno studente che frequenta il suo corso di Logica per la
Programmazione e che dovrà svolgere l’esame scritto il prossimo 13
Gennaio. A questo proposito vorrei chiederle se le modalità di
svolgimento saranno quelle del compitino (un’ora di tempo, possibilità
di consultare gli appunti) e se è possibile il tipo di esercizi che ci
saranno (in particolare mi interesserebbe sapere se ci potrebbero
essere verifiche di correttezza di triple di Hoare con comandi
iterativi, che nel compitino non c’erano).
La ringrazio anticipatamente, e mi scuso per il disturbo.

Risposta:

1 ora, possibilità di consultare le dispense, tipologia degli esercizi allineata con i due compitini.