Mc4- Matematiche Complementari 4, Logica Classica del Primo Ordine

Programma

I problemi: dimostrabilità e soddisfacibilità. Gli strumenti: linguaggio formale e calcolo dei sequenti . Il teorema di compattezza della logica del primo ordine. Il teorema di completezza della logica del primo ordine.

Materiale Didattico

- Dispense fornite dal docente

- Cori R, Lascar D “Logique mathématique”, Masson 1994

- Girard J-Y “Proof-theory and logical complexity”, Bibliopolis 1987