- Docente: Cesare Parenti
- Crediti formativi: 5
- SSD: MAT/01
- Lingua di insegnamento: Italiano
- Modalità didattica: Convenzionale - Lezioni in presenza
- Campus: Bologna
- Corso: Laurea in Filosofia (cod. 0342)
Conoscenze e abilità da conseguire
Competenze di base riguardo alla formalizzazione del linguaggio matematico, con particolare rilievo alla distinzione tra livello sintattico e semantico. Conoscenza di almeno un calcolo sintattico per la nozione di conseguenza logica al primo ordine, insieme ai principali risultati metateorici (correttezza e completezza).
Contenuti
1. Linguaggi proposizionali: sintassi e semantica. Soddisfacibilità; equivalenze semantiche. Metodi sintattici: Risoluzione proposizionale e Deduzione Naturale. Correttezza e Completezza. 2. Linguaggi del prim'ordine. Predicati, termini, quantificatori. Sintassi. Variabili libere e vincolate. Interpretazioni. Semantica per un linguaggio predicativo. Soddisfacibilità e equivalenze semantiche. Forma normale prenessa e algoritmo di Skolem. Riduzione ad enunciati universali, il teorema di Herbrand-Skolem. Metodi sintattici al prim'ordine : Risoluzione (unificazione, Clausole di Horn), Deduzione naturale. Correttezza e Completezza (il teorema di Henkin ).
Testi/Bibliografia
A. Asperti - A. Ciabattoni, Logica a informatica, McGraw Hill, 1997
Metodi didattici
Lezioni ed esercitazioni.
Modalità di verifica e valutazione dell'apprendimento
Esame scritto (non è consentita la consultazioni di appunti); orale facoltativo.
Strumenti a supporto della didattica
Lavagna, proiettore, lavagna luminosa
Orario di ricevimento
Consulta il sito web di Cesare Parenti