TORNA ALL' INDICE.
Logica proposizionale Sintassi e semantica della logica proposizionale. Proposizioni atomiche, predicati e simboli di funzione. Connettivi logici e tavole di verità. Equivalenze e conseguenze logiche. Traduzione dal linguaggio naturale. Forme normali congiuntive e disgiuntive. Metodi di dimostrazione. Sistemi deduttivi del calcolo proposizionale. Uso di tool (Tarski's World, Fitch e Boole) per la modellazione e il calcolo formale.
Logica del primo ordine Sintassi e semantica della logica del primo ordine. Quantificatori e la loro logica. Traduzione dal linguaggio naturale. Sistemi deduttivi del calcolo del primo ordine. Uso di tool (Tarski's World e Fitch) per la modellazione e il calcolo formale.
Logica e informatica Saranno discusse alcune nozioni di base che accomunano logica e informatica - come formalizzazione e modelli, calcolabilità (cenni), ragionamento induttivo e ricorsione - e potranno essere considerate alcune applicazioni della logica all'informatica, scelte in base allo svolgimento del corso e al tempo a disposizione.
Un elenco dettagliato degli argomenti oggetto delle prove d'esame verrà pubblicato alla fine delle singole parti corso.
TORNA ALL' INDICE.
TORNA ALL' INDICE.
TORNA ALL' INDICE.
TORNA ALL' INDICE.