Corso di Logica matematica - a.a. 1997/98
Lo scopo del corso è di offrire i risultati fondamentali della
logica matematica
chiarendo come il calcolo logico sia ausiliario alle altre materie.
Si provvede dunque a fissare l'intuizione di che cosa sia una
dimostrazione
corretta, basata su regole generali prefissate, presentando modi per
produrre dimostrazioni e controesempi mediante modelli.
Un ulteriore punto sarà di chiarire la distinzione tra teoria e
metateoria,
e l'utilità delle definizioni per induzione e l'uso delle
dimostrazioni
per induzione attraverso numerosi esempi.
-
Logica proposizionale
- connettivi e relativi metodi di dimostrazione
- soddisfacibilità e verità
- dimostrazioni formali
- termini
- Logica del prim'ordine
- quantificatori e relativi metodi di dimostrazione
- semantica dei quantificatori
- dimostrazioni formali
- forme prenesse
-
Applicazioni della logica del prim'ordine
- cenni di teoria degli insiemi
- induzione numerica
- definizioni induttive
- enunciati di Horn
- risoluzione
- skolemizzazione
- completezza ed incompletezza
- altri sistemi formali
- traduzioni
- J. Barwise, J. Etchemendy
- The language of first order logic,
Cambridge University Press, 1993
- G. Lolli
- Introduzione alla logica formale, Il Mulino, 1991
Commenti al
docente.
Last updated: 20/11/97
Laurea e Diploma in Informatica