20410529 - LM510 - TEORIE LOGICHE 1

Affrontare alcune questioni della teoria della dimostrazione del ventesimo secolo, in connessione con le tematiche della ricerca contemporanea

Curriculum

scheda docente | materiale didattico

Fruizione: 20710091 TEORIE LOGICHE 1 - LM in Scienze filosofiche LM-78 MAIELI ROBERTO

Programma

Dimostrazioni (Sequent Proofs)
***************************************
Deduzione Naturale (ND)

Il Calcolo dei Sequenti per la Logica Intuizionista (LJ) e Logica Classia (LK)

L'eliminazione dei Tagli per LJ ed LK

Il calcolo dei sequenti della Logica Lineare (LL)

Il teorema di Eliminazione dei Tagli per LL

Il Teorema di Focalizzazione delle dimostrazioni di LL

Reti dimostrative (Proof Nets)
*************************************
(stutture dimostrative, correttezza, normalizzazione, adeguatezza, sequenzializzazione, focalizzazione, complessità)

Reti puramente moltiplicative

Reti moltplicative-additive

Reti moltiplicative-esponenziali

Semantica Denotazionale

Testi Adottati

Libri, aricoli, APPUNTI E SLIDES DISPONIBILI SULLA PAGINA WEB DEL CORSO
https://sites.google.com/view/lm510/

Modalità Erogazione

LEZIONI CON ESERCITAZIONI in presenza in aula ed in streaming

Modalità Valutazione

domande ed esercizi sui temi affrontati a lezione con una esposizione in forma seminariale

scheda docente | materiale didattico

Fruizione: 20710091 TEORIE LOGICHE 1 - LM in Scienze filosofiche LM-78 MAIELI ROBERTO

Programma

Dimostrazioni (Sequent Proofs)
***************************************
Deduzione Naturale (ND)

Il Calcolo dei Sequenti per la Logica Intuizionista (LJ) e Logica Classia (LK)

L'eliminazione dei Tagli per LJ ed LK

Il calcolo dei sequenti della Logica Lineare (LL)

Il teorema di Eliminazione dei Tagli per LL

Il Teorema di Focalizzazione delle dimostrazioni di LL

Reti dimostrative (Proof Nets)
*************************************
(stutture dimostrative, correttezza, normalizzazione, adeguatezza, sequenzializzazione, focalizzazione, complessità)

Reti puramente moltiplicative

Reti moltplicative-additive

Reti moltiplicative-esponenziali

Semantica Denotazionale

Testi Adottati

Libri, aricoli, APPUNTI E SLIDES DISPONIBILI SULLA PAGINA WEB DEL CORSO
https://sites.google.com/view/lm510/

Modalità Erogazione

LEZIONI CON ESERCITAZIONI in presenza in aula ed in streaming

Modalità Valutazione

domande ed esercizi sui temi affrontati a lezione con una esposizione in forma seminariale

scheda docente | materiale didattico

Fruizione: 20710091 TEORIE LOGICHE 1 - LM in Scienze filosofiche LM-78 MAIELI ROBERTO

Programma

Dimostrazioni (Sequent Proofs)
***************************************
Deduzione Naturale (ND)

Il Calcolo dei Sequenti per la Logica Intuizionista (LJ) e Logica Classia (LK)

L'eliminazione dei Tagli per LJ ed LK

Il calcolo dei sequenti della Logica Lineare (LL)

Il teorema di Eliminazione dei Tagli per LL

Il Teorema di Focalizzazione delle dimostrazioni di LL

Reti dimostrative (Proof Nets)
*************************************
(stutture dimostrative, correttezza, normalizzazione, adeguatezza, sequenzializzazione, focalizzazione, complessità)

Reti puramente moltiplicative

Reti moltplicative-additive

Reti moltiplicative-esponenziali

Semantica Denotazionale

Testi Adottati

Libri, aricoli, APPUNTI E SLIDES DISPONIBILI SULLA PAGINA WEB DEL CORSO
https://sites.google.com/view/lm510/

Modalità Erogazione

LEZIONI CON ESERCITAZIONI in presenza in aula ed in streaming

Modalità Valutazione

domande ed esercizi sui temi affrontati a lezione con una esposizione in forma seminariale