LOGICA MATEMATICA 2

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.

Modalità 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)

RUGGERO PAGNAN

RICCARDO CAMERLO

LEZIONI

Modalità didattiche

Tradizionale

INIZIO LEZIONI

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

ORARI

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

Vedi anche:

LOGICA MATEMATICA 2

ESAMI

Modalità d'esame

Orale

ALTRE INFORMAZIONI

Prerequisiti: Gli argomenti trattati in Logica Matematica ( a.a.2015/16 e precedenti)

Modalità di frequenza: Facoltativa

Modalità di iscrizione agli esami