Salta al contenuto principale
CODICE 90705
ANNO ACCADEMICO 2016/2017
CFU
SETTORE SCIENTIFICO DISCIPLINARE MAT/01
LINGUA Italiano
SEDE
PERIODO 2° Semestre
MATERIALE DIDATTICO AULAWEB

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.

MODALITA' 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

Commissione d'esame

GIUSEPPE ROSOLINI (Presidente)

MARCO BORGA

LEZIONI

INIZIO LEZIONI

27 Febbraio 2017

Orari delle lezioni

LOGICA MATEMATICA 1

ESAMI

Calendario appelli

Data appello Orario Luogo Tipologia Note
05/06/2017 09:00 GENOVA Orale
29/06/2017 09:00 GENOVA Orale
20/07/2017 09:00 GENOVA Orale
04/09/2017 09:00 GENOVA Orale
20/09/2017 09:00 GENOVA Orale

ALTRE INFORMAZIONI

Modalità di frequenza: Facoltativa