Salta al contenuto principale della pagina

LOGICA MATEMATICA 1

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

MODALITA' DIDATTICHE

Tradizionale

INIZIO LEZIONI

27 Febbraio 2017

Orari delle lezioni

LOGICA MATEMATICA 1

ESAMI

Calendario appelli

Data Ora Luogo Tipologia Note
05/06/2017 09:00 GENOVA Orale (P) prenotazione obbligatoria per e-mail
29/06/2017 09:00 GENOVA Orale (P) prenotazione obbligatoria per e-mail
20/07/2017 09:00 GENOVA Orale (P) prenotazione obbligatoria per e-mail
04/09/2017 09:00 GENOVA Orale (P) prenotazione obbligatoria per e-mail
20/09/2017 09:00 GENOVA Orale (P) prenotazione obbligatoria per e-mail

ALTRE INFORMAZIONI

Modalità di frequenza: Facoltativa