Prof. Giuseppe Perelli: i libri dei suoi insegnamenti

1. Che cosa si intende per logica proposizionale e quali sono i connettivi fondamentali?
2. Come si costruisce una tavola di verità per valutare la validità di una formula?
3. Che cosa si intende per forma normale congiuntiva e come si ottiene da una formula?
4. Quali sono le regole di deduzione naturale per la logica proposizionale?
5. Che cosa si intende per logica del primo ordine e quali elementi la caratterizzano?
6. Come si formalizza un ragionamento con quantificatori universali ed esistenziali?
7. Che cosa si intende per interpretazione e modello di una formula del primo ordine?
8. Quali sono le proprietà di correttezza e completezza di un sistema deduttivo?
9. Come si applica il metodo di risoluzione per dimostrare l'insoddisfacibilità di un insieme di clausole?
10. Che cosa si intende per unificazione e quale ruolo ha nella deduzione automatica?
11. Come si costruisce un'argomentazione per la dimostrazione di un teorema logico?
12. Quali sono le caratteristiche della logica modale e dei suoi sistemi principali?
13. Che cosa si intende per logica temporale e come si usa per specificare sistemi?
14. Come si verifica una proprietà di un sistema con il model checking?
15. Che cosa si intende per ragionamento non monotono e quando si applica?
16. Come si rappresenta la conoscenza con logiche descrittive?
17. Quali sono i limiti della decidibilità per le logiche del primo ordine?
18. Come si esprime una regola di inferenza in un sistema di deduzione a Hilbert?
19. Che cosa si intende per teorema di compattezza della logica del primo ordine?
20. Quali applicazioni hanno le logiche formali nella verifica del software?

Domande di esercitazione costruite sul programma ufficiale, non fornite dal docente.

1. Che cosa si intende per logica proposizionale e quali sono i connettivi fondamentali?
2. Come si costruisce una tavola di verità per valutare la validità di una formula?
3. Che cosa si intende per forma normale congiuntiva e come si ottiene da una formula?
4. Quali sono le regole di deduzione naturale per la logica proposizionale?
5. Che cosa si intende per logica del primo ordine e quali elementi la caratterizzano?
6. Come si formalizza un ragionamento con quantificatori universali ed esistenziali?
7. Che cosa si intende per interpretazione e modello di una formula del primo ordine?
8. Quali sono le proprietà di correttezza e completezza di un sistema deduttivo?
9. Come si applica il metodo di risoluzione per dimostrare l'insoddisfacibilità di un insieme di clausole?
10. Che cosa si intende per unificazione e quale ruolo ha nella deduzione automatica?
11. Come si costruisce un'argomentazione per la dimostrazione di un teorema logico?
12. Quali sono le caratteristiche della logica modale e dei suoi sistemi principali?
13. Che cosa si intende per logica temporale e come si usa per specificare sistemi?
14. Come si verifica una proprietà di un sistema con il model checking?
15. Che cosa si intende per ragionamento non monotono e quando si applica?
16. Come si rappresenta la conoscenza con logiche descrittive?
17. Quali sono i limiti della decidibilità per le logiche del primo ordine?
18. Come si esprime una regola di inferenza in un sistema di deduzione a Hilbert?
19. Che cosa si intende per teorema di compattezza della logica del primo ordine?
20. Quali applicazioni hanno le logiche formali nella verifica del software?

Domande di esercitazione costruite sul programma ufficiale, non fornite dal docente.

1. Che cosa si intende per logica proposizionale e quali sono i connettivi fondamentali?
2. Come si costruisce una tavola di verità per valutare la validità di una formula?
3. Che cosa si intende per forma normale congiuntiva e come si ottiene da una formula?
4. Quali sono le regole di deduzione naturale per la logica proposizionale?
5. Che cosa si intende per logica del primo ordine e quali elementi la caratterizzano?
6. Come si formalizza un ragionamento con quantificatori universali ed esistenziali?
7. Che cosa si intende per interpretazione e modello di una formula del primo ordine?
8. Quali sono le proprietà di correttezza e completezza di un sistema deduttivo?
9. Come si applica il metodo di risoluzione per dimostrare l'insoddisfacibilità di un insieme di clausole?
10. Che cosa si intende per unificazione e quale ruolo ha nella deduzione automatica?
11. Come si costruisce un'argomentazione per la dimostrazione di un teorema logico?
12. Quali sono le caratteristiche della logica modale e dei suoi sistemi principali?
13. Che cosa si intende per logica temporale e come si usa per specificare sistemi?
14. Come si verifica una proprietà di un sistema con il model checking?
15. Che cosa si intende per ragionamento non monotono e quando si applica?
16. Come si rappresenta la conoscenza con logiche descrittive?
17. Quali sono i limiti della decidibilità per le logiche del primo ordine?
18. Come si esprime una regola di inferenza in un sistema di deduzione a Hilbert?
19. Che cosa si intende per teorema di compattezza della logica del primo ordine?
20. Quali applicazioni hanno le logiche formali nella verifica del software?

Domande di esercitazione costruite sul programma ufficiale, non fornite dal docente.

1. Che cosa si intende per logica proposizionale e quali sono i connettivi fondamentali?
2. Come si costruisce una tavola di verità per valutare la validità di una formula?
3. Che cosa si intende per forma normale congiuntiva e come si ottiene da una formula?
4. Quali sono le regole di deduzione naturale per la logica proposizionale?
5. Che cosa si intende per logica del primo ordine e quali elementi la caratterizzano?
6. Come si formalizza un ragionamento con quantificatori universali ed esistenziali?
7. Che cosa si intende per interpretazione e modello di una formula del primo ordine?
8. Quali sono le proprietà di correttezza e completezza di un sistema deduttivo?
9. Come si applica il metodo di risoluzione per dimostrare l'insoddisfacibilità di un insieme di clausole?
10. Che cosa si intende per unificazione e quale ruolo ha nella deduzione automatica?
11. Come si costruisce un'argomentazione per la dimostrazione di un teorema logico?
12. Quali sono le caratteristiche della logica modale e dei suoi sistemi principali?
13. Che cosa si intende per logica temporale e come si usa per specificare sistemi?
14. Come si verifica una proprietà di un sistema con il model checking?
15. Che cosa si intende per ragionamento non monotono e quando si applica?
16. Come si rappresenta la conoscenza con logiche descrittive?
17. Quali sono i limiti della decidibilità per le logiche del primo ordine?
18. Come si esprime una regola di inferenza in un sistema di deduzione a Hilbert?
19. Che cosa si intende per teorema di compattezza della logica del primo ordine?
20. Quali applicazioni hanno le logiche formali nella verifica del software?

Domande di esercitazione costruite sul programma ufficiale, non fornite dal docente.