Logica

L'insegnamento si propone di fornire agli studenti, con un approccio orientato all'acquisizione sia di conoscenze sia di abilità pratiche, le nozioni e i metodi di base della logica contemporanea, spendibili per qualunque attività richieda capacità avanzate di ragionamento e risoluzione di problemi

Conoscenze e comprensione:
Al termine del corso lo studente sarà in grado di:
- Presentare i concetti e i metodi principali della moderna logica formale;
- dimostrare padronanza della logica deduttiva
- descrivere i risultati fondamentali relativi alla logica proposizionale e alla logica della quantificazione: completezza, decidibilità della logica booleana, indecidibilità di quella quantificazionale, complessità computazionale della logica booleana.
Capacità di applicare conoscenze e comprensione:

Ci si attende che alla fine del corso lo studente sia in grado di applicare le conoscenze e i metodi appresi per
- definire linguaggi formali adeguati a risolvere una data classe di problemi;
- tradurre proposizioni dal linguaggio ordinario in un opportuno linguaggio booleano o quantificazionale;
- eseguire deduzioni e costruire controesempi per i ragionamenti scorretti.
- Applicare gli strumenti logici appresi nella risoluzione di problemi teorici e pratici