Seminario Logica e Informazione

Anno accademico: 2003-2004

Coordinatori: Prof. A. Cantini e Prof. P. Minari

Orario: Giovedì 11-13, Aula 5

Primo incontro : Giovedì 2 Ottobre 2003

Primo semestre:

2 Ottobre: Presentazione del seminario.

16-23 Ottobre: L. Crosilla: Introduzione alla teoria dei tipi di Martin-Löf.
(Dispense)

30 Ottobre: Workshop di Logica Nonclassica
presso Dipartimento di Matematica "U.Dini"
Viale Morgagni 67/A
50134 Firenze
Sala Tricerri
Inizio lavori ore 9:15

6-13 Novembre: L. Crosilla: Introduzione alla teoria dei tipi di Martin-Löf.

20 Novembre: R. Mana: Funzioni computabili.

27 Novembre: G. Calamai: Introduzione alla teoria della complessità.
(Lucidi - pdf)

4 Dicembre: C. Benvenuti: Introduzione al Lambda Calcolo non-tipato.

11 Dicembre: V. Santini: Gödel's T.

18 Dicembre: R. Bruni: Il sistema F di Girard.
(Lucidi - pdf e alcune pagine in landscape ps)

Secondo semestre:

19, 26 Febbraio: L. Crosilla: Introduzione alla teoria degli insiemi.
(Lucidi 19 Febbraio - ps; Lucidi 26 Febbraio - ps)
(Dispense - pdf)

Mercoledì 3 Marzo (ore 9 - 11): L. Crosilla: Introduzione alla teoria degli insiemi.
(Lucidi - ps)

11 Marzo: Esercizi sulla teoria costruttiva degli insiemi.

18 Marzo: V. Santini: Indagine sulle costanti logiche.

25 Marzo: V. Santini: Indagine sulle costanti logiche.

1 Aprile: Prof. G. Jäger (Universität Bern): Reflections on reflections in explicit mathematics.

15 Aprile: R. Bruni: Teoria degli insiemi e filosofia: le riflessioni di Kurt Gödel.

22 Aprile: R. Bruni: Teoria degli insiemi e filosofia: le riflessioni di Kurt Gödel.
(Lucidi - pdf)

29 Aprile: R. Mana: Introduzione alla teoria degli iperinsiemi.

6 Maggio: R. Mana: Introduzione alla teoria degli iperinsiemi.

13 Maggio: Intervento da definire.