Logica computazionale (2006/2007)

Corso a esaurimento

Codice insegnamento
4S01115
Docenti
Andrea Masini, Ruggero Ferro
Coordinatore
Andrea Masini
crediti
5
Settore disciplinare
MAT/01 - LOGICA MATEMATICA
Lingua di erogazione
Italiano
Periodo
3° Q dal 2-apr-2007 al 8-giu-2007.

Orario lezioni

Obiettivi formativi

Aritmetizzazione della sintassi; aritmetiche con assiomatizzazioni minime per ottenere sufficiente rappresentabilità. Indecibilità, incompletezza di teorie effettive sufficientemente ricche. Indimostrabilità della consistenza all'interno di una teoria assiomatizzabile sufficientemente ricca.
Il calcolo dei sequenti LK. Relazioni con i sistemi alla Hilbert. L'eliminazione del taglio.Proprietà della sottoformula e consistenza del calcolo puro dei predicati. Eliminazione del taglio per teorie matematiche del I ordine.
Intuizionismo, Interpretazione BHK. Il calcolo dei sequenti LJ. Relazioni tra logica classica e logica intuizionista. Intuizionismo e teoria dei tipi. La logica lineare (cenni)

Programma

Aritmetizzazione della sintassi; aritmetiche con assiomatizzazioni minime per ottenere sufficiente rappresentabilità. Indecibilità, incompletezza di teorie effettive sufficientemente ricche. Indimostrabilità della consistenza all'interno di una teoria assiomatizzabile sufficientemente ricca.
Il calcolo dei sequenti LK. Relazioni con i sistemi alla Hilbert. L'eliminazione del taglio.Proprietà della sottoformula e consistenza del calcolo puro dei predicati. Eliminazione del taglio per teorie matematiche del I ordine.
Intuizionismo, Interpretazione BHK. Il calcolo dei sequenti LJ. Relazioni tra logica classica e logica intuizionista. Intuizionismo e teoria dei tipi. La logica lineare (cenni)

Modalità d'esame

Prova scritta

Statistiche per i requisiti di trasparenza (Attuazione Art. 2 del D.M. 31/10/2007, n. 544)

Statistiche esiti
Esiti Esami Esiti Percentuali Media voti Deviazione Standard
Positivi 40.0% 27 3
Respinti --
Assenti 33.33%
Ritirati 23.33%
Annullati 3.33%
Distribuzione degli esiti positivi
18 19 20 21 22 23 24 25 26 27 28 29 30 30 e Lode
4.1% 4.1% 4.1% 4.1% 4.1% 0.0% 4.1% 8.3% 8.3% 8.3% 0.0% 0.0% 29.1% 20.8%

Valori relativi all'AA 2006/2007 calcolati su un totale di 60 iscritti. I valori in percentuale sono arrotondati al numero intero più vicino.