LOGICA MATEMATICA 2

LOGICA MATEMATICA 2

_
iten
Codice
61711
ANNO ACCADEMICO
2016/2017
CFU
6 cfu al 2° anno di 9011 MATEMATICA (LM-40) GENOVA

6 CFU al 2° anno di 9014 INFORMATICA (LM-18) 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

a) Completamento sul teorema di Gödel: computabilità e ricorsività; dimostrazione del teorema di incompletezza e analisi di alcune sue conseguenze.

b) Dimostrazioni formali e informali a confronto. Introduzione alla teoria della dimostrazione: la deduzione naturale di Gentzen e il calcolo dei sequenti. il teorema di normalizzazionei e il teorema di eliminazione del taglio.

c) Rivisitazione del problema dei fondamenti e analisi della sua rilevanza nell'insegnamento della matematica.

TESTI/BIBLIOGRAFIA

M. Borga, Elementi di logica matematica, EUROMA (La Goliardica), Roma, 1984, ristampa, 1992.

M. Borga, Fondamenti di logica: introduzione alla teoria della dimostrazione, Franco Angeli, Milano, 1995.

DOCENTI E COMMISSIONI

Ricevimento: su appuntamento

Commissione d'esame

GIUSEPPE ROSOLINI (Presidente)

MARCO BORGA

LEZIONI

Modalità didattiche

Tradizionale

INIZIO LEZIONI

26 Settembre 2016

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