Docente: U. Moscato
Crediti: 6 CFU
Descrizione e Programma del Corso
Conoscenze: Il corso si propone di analizzare alcuni argomenti di logica matematica legati alla teoria della dimostrazione in logiche non classiche (intuizionismo e logiche modali). Verranno presentati per tali logiche sistemi deduttivi a tableaux.
Abilità: Si prevede che lo studente acquisisca capacità nel sintetizzare algoritmi, nella formalizzazione e costruzione di dimostrazioni e loro verifica.
Programma:
- Riepilogo dei principali risultati del corso di Logica Matematica I.
- Sintesi logica degli algoritmi
- Introduzione alla logica intuizionista; sintassi a tableaux e semantica con modelli di Kripke.
- Teoremi di validità e completezza.
- Introduzione alla logica modale S4; sintassi a tableaux e semantica con modelli di Kripke.
- Teoremi di validità e completezza.
- Rapporti fra S4 e la logica intuizionista
- Cenni a estensioni dell'intuizionismo e di S4.
Per ulteriori informazioni sul corso rivolgersi direttamente al docente.