Presentazione

Organizzazione della Didattica

DM270
MATEMATICA


7

Corsi comuni

 

Frontali Esercizi Laboratorio Studio Individuale
ORE: 24 32 0 175

Periodo

AnnoPeriodo
III anno1 semestre

Frequenza

Facoltativa

Erogazione

Convenzionale

Lingua

Italiano

Calendario Attività Didattiche

InizioFine
02/10/201719/01/2018

Tipologia

TipologiaAmbitoSSDCFU
caratterizzanteFormazione teoricaMAT/017


Responsabile Insegnamento

ResponsabileSSDStruttura
Prof.ssa MAIETTI MARIA EMILIAMAT/01Dipartimento di Matematica

Altri Docenti

Non previsti.

Attività di Supporto alla Didattica

Non previste.

Bollettino

conoscenze di base di algebra e di topologia.

Lo scopo principale del corso è quello di illustrare i legami tra sintassi e semantica di un linguaggio formale e mettere in evidenza sia le possibilità che i calcoli sintattici offrono, come pure i limiti espressivi e dimostrativi che essi impongono.

Lezioni frontali in aula

Il corso verte sullo studio delle potenzialita' espressive e dei risultati limitativi di sistemi formali deduttivi per la logica predicativa classica, per la logica predicativa intuizionista e per le loro estensioni con gli assiomi dell'aritmetica di Peano. Si studieranno: -procedure di decisione per i frammenti proposizionali di entrambe le logiche, - procedure di semidecisione per entrambe le logiche, -i principali teoremi di equivalenza tra tali logiche e loro corrispondenti semantiche algebriche, -i teoremi di incompletezza di Goedel per l'aritmetica classica e per l'aritmetica intuizionista.

scritto con orale facoltativo

si intendono valutare le conoscenze acquisite dallo studente sui temi del corso

Dirk van Dalen, Logic and structure. London: Springer, 2012 A. S. Troelstra and H. Schwichtenberg, Basic Proof Theory. : Cambridge University Press, 1996 Saunders Mac Lane, Categories for the Working Mathematician. : Springer, 1978

Dispense provviste dal docente