Salta al contenuto principale
CODICE 61711
ANNO ACCADEMICO 2018/2019
CFU
SETTORE SCIENTIFICO DISCIPLINARE MAT/01
LINGUA Italiano (Inglese a richiesta)
SEDE
  • GENOVA
PERIODO 1° Semestre
MATERIALE DIDATTICO AULAWEB

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

Commissione d'esame

GIUSEPPE ROSOLINI (Presidente)

RICCARDO CAMERLO

RUGGERO PAGNAN

LEZIONI

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

ALTRE INFORMAZIONI

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

Modalità di frequenza: Facoltativa

Modalità di iscrizione agli esami