LOGICA MATEMATICA 1

LOGICA MATEMATICA 1

_
iten
Codice
90705
ANNO ACCADEMICO
2016/2017
CFU
7 cfu al 1° anno di 9011 MATEMATICA (LM-40) GENOVA

7 CFU al 3° anno di 8760 MATEMATICA (L-35) GENOVA

SETTORE SCIENTIFICO DISCIPLINARE
MAT/01
LINGUA
Italiano
SEDE
GENOVA (MATEMATICA)
periodo
2° Semestre
materiale didattico

PRESENTAZIONE

Le lezioni si tengono in lingua italiana.

OBIETTIVI E CONTENUTI

OBIETTIVI FORMATIVI

Studio di teorie del prim'ordine e dei loro modelli, per analizzare sia questioni semantiche, quali i teoremi di completezza e di compattezza, che questioni sintattiche, quale i teoremi di incompletezza.

Modalità didattiche

Tradizionale

PROGRAMMA/CONTENUTO

La logica nella pratica matematica. Le teorie formali e i calcoli deduttivi.

La teoria dei tipi. Il problema della coerenza. La teoria dei numeri al prim'rdine. Le funzioni ricorsive. I teoremi di incompletezza.

Il decimo problema di Hilbert e la sua soluzione.

TESTI/BIBLIOGRAFIA

Note per il corso.

DOCENTI E COMMISSIONI

Ricevimento: su appuntamento

Commissione d'esame

GIUSEPPE ROSOLINI (Presidente)

MARCO BORGA

LEZIONI

Modalità didattiche

Tradizionale

INIZIO LEZIONI

27 Febbraio 2017

ORARI

L'orario di tutti gli insegnamenti è consultabile su EasyAcademy.

Vedi anche:

LOGICA MATEMATICA 1

ALTRE INFORMAZIONI

Modalità di frequenza: Facoltativa