Sign In
 
 
 

Title

Fondamenti di Logica 

Teacher

Simone Martini  

Materials

 

Syllabus

Sistemi in deduzione naturale e a sequenti per la logica classica e intuizionista. Relazioni tra i due.
- Teoria della dimostrazione: eliminazione del taglio e/o normalizzazione. Consequenze.

Qualche argomento a scelta tra i seguenti:
- Lambda-calcolo tipizzato e la corrispondenza di Curry-Howard. Normalizzazione forte; Confluenza.
- Logica lineare: sequenti, reti di dimostrazioni. Cenni alla semantica Logiche leggere e relazioni con la complessita' computazionale implicita
- Logiche modali classiche: semantica, modelli di Kripke, relazione di accessibilita'.

Il docente e` disponibile a trattare i classici teoremi limitativi (Goedel, Church, Tarski), nel caso in cui l'uditorio ne avesse necessita`.

Period

May-June 

Calendar

All lectures are in Sala Seminari Ovest, 10.30-12.30 (except for Fri 5: 9-11)

May:
Mon 4, Fri 8, Mon 11, Mon 18, Thu 21, Fri 22, Mon 25, Fri 29

June:
Fri 5, Mon 8

Year

2009 
Attachments
Created at 1/14/2009 4:40 PM  by Paolo Milazzo 
Last modified at 5/6/2009 12:41 PM  by Cristian Dittamo