Materiale didattico di supporto
Oltre ai testi e il materiale indicato nella pagina
con il
programma del corso,
può essere utile considerare il materiale che segue.
Lucidi
I lucidi utilizzati a lezione si possono trovare
qui.
Attenzione:
i lucidi (slides) non sostituiscono i libri, né le
dispense, che si possono invece scaricare dalla pagina
con il
programma del corso.
Testi di compiti d'esame
Qui si possono
trovare alcuni testi dei compiti d'esame del corso di Logica per
l'Informatica degli anni passati.
Un sistema di supporto per lo svolgimento di alcune tipologie di
esercizi
Eseguibile Linux (modalità grafica)
e manuale d'uso. È
disponibile anche
una modalità non grafica.
Per sistemi Windows è disponibile soltanto una
versione non grafica.
Si noti che il sistema è ancora a livello sperimentale, e
potreste trovare casi di malfunzionamento, che, eventualmente, siete
pregati di segnalare al docente.
Un programma Prolog per la generazione di tableaux per LTL
Il programma tableauSolver si può scaricare da github.