LOGICA MATEMATICA I
cod. 14877

Anno accademico 2008/09
1° anno di corso - Secondo semestre
Docente
Settore scientifico disciplinare
Logica matematica (MAT/01)
Field
Discipline matematiche e fisiche
Tipologia attività formativa
Base
48 ore
di attività frontali
6 crediti
sede:
insegnamento
in - - -

Obiettivi formativi

Apprendimento delle nozioni basilari di Logica predicativa del 1° ordine

Prerequisiti

- - -

Contenuti dell'insegnamento

<br />Un calcolo dei sequent per la logica proposizionale classica. Linguaggi del primo ordine e deduzione naturale predicativa. <br />Semantica. Insiemi non contraddittori e insiemi soddisfacibili di formule. Varie formulazioni equivalenti del teorema di completezza e i vari metateoremi classici come suoi corollari.

Programma esteso

- - -

Bibliografia

<br />[1] H. Enderton, A Mathematical Introduction to Logic, Academic Press 1972.<br />[2] W. S. HATCHER, Fondamenti della matematica, Boringhieri 1973.<br />[3] E. Mendelson, Introduzione alla logica matematica, Boringhieri 1972.<br />[4] C. Reggiani & M. Servi, Lezioni di Logica Matematica, 1, Libreria S. Croce 2002.<br /> <br /> <br />

Metodi didattici

Lezioni orali più assegnazione di esercizi da svolgere che poi verranno corretti nelle ore di laboratorio dagli studenti a turno

Modalità verifica apprendimento

- - -

Altre informazioni

- - -