Obiettivi formativi
- - -
Prerequisiti
Nessuno. Sono utili una conoscenza di base di un qualche linguaggio di programmazione, e familiarita' con strutture matematiche di base (gruppi, anelli, campi).
Contenuti dell'insegnamento
Programma "istituzionale" di logica matematica: in particolare, logica del primo ordine e teoria della ricorsione.
Programma esteso
Calcolo proposizionale, Logica del Primo Ordine, Deduzione e completezza, Ricorsione, Computabilita', Decidibilita', Indecidibilita'
Bibliografia
A. Fornasiero. Dispense del corso di Logica Matematica. Parma 2015.
A. Berarducci.
Note del corso di Logica Matematica.
Parte I e II.
C. Toffalori, P. Cintioli.
Logica matematica, McGraw-Hill, 2000.
G. Lolli.
Lezioni di logica matematica, Boringhieri, 1978.
H.B. Enderton.
A mathematical introduction to logic, Academic Press, 1972.
Metodi didattici
- - -
Modalità verifica apprendimento
Esame orale
Altre informazioni
Homepage del corso, con le dispense: www.dm.unipi.it/~fornasiero/teaching/logica_Parma15/index.html