LOGICA MATEMATICA 2

iten
Codice
61711
ANNO ACCADEMICO
2018/2019
CFU
8 cfu al 2° anno di 9011 MATEMATICA (LM-40) GENOVA
SETTORE SCIENTIFICO DISCIPLINARE
MAT/01
LINGUA
Italiano (Inglese a richiesta)
SEDE
GENOVA (MATEMATICA)
periodo
1° Semestre
materiale didattico

PRESENTAZIONE

Le lezioni si tengono in lingua italiana. Si possono svolgere in lingua inglese su richiesta.

OBIETTIVI E CONTENUTI

OBIETTIVI FORMATIVI

Approfondire alcuni argomenti di teoria della dimostrazione.

MODALITA' DIDATTICHE

Tradizionale

PROGRAMMA/CONTENUTO

Richiami di teoria delle categorie.

Le funzioni ricorsive.

Alcuni aspetti di teorie dalle dimostrazione: tra questi, il teorema di incompletezza di Gödel, i modelli della realizzabilità di Kleene, il decimo problema di Hilbert.

TESTI/BIBLIOGRAFIA

Note del corso

DOCENTI E COMMISSIONI

Ricevimento: su appuntamento

Commissione d'esame

GIUSEPPE ROSOLINI (Presidente)

RICCARDO CAMERLO

RUGGERO PAGNAN

LEZIONI

MODALITA' DIDATTICHE

Tradizionale

INIZIO LEZIONI

In accordo con il calendario accademico approvato dal Consiglio di Corsi di Studi.

Orari delle lezioni

LOGICA MATEMATICA 2

ESAMI

MODALITA' D'ESAME

Orale

Calendario appelli

Data Ora Luogo Tipologia Note
07/01/2019 09:00 GENOVA Orale
23/01/2019 09:00 GENOVA Orale
08/02/2019 09:00 GENOVA Orale
03/06/2019 09:00 GENOVA Orale
21/06/2019 09:00 GENOVA Orale
10/07/2019 09:00 GENOVA Orale
02/09/2019 09:00 GENOVA Orale