Vai al contenuto principale Vai al footer
Università degli Studi di Parma Università degli Studi di Parma
Laurea in
Matematica
Università degli Studi di Parma
Dipartimento di Scienze Matematiche, Fisiche e Informatiche

LOGICA MATEMATICA
cod. 1005720

Anno accademico 2014/15
3° anno di corso - Secondo semestre
Docente
Settore scientifico disciplinare
Logica matematica (MAT/01)
Field
A scelta dello studente
Tipologia attività formativa
A scelta dello studente
56 ore
di attività frontali
6 crediti
sede: PARMA
insegnamento
in - - -
orari del corso non disponibili
appelli d'esame
Stampa

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