Home » Archivo » Archvio 2010 » Logica 2 - 2010/2011

Laurea Magistrale

Salta il menu di secondo livello

Logica 2 - 6 CFU - A.A. 2010/2011

Link al sito del corso

Insegnante

Prof. Giovanni Sambin

Periodo

I anno - 3 trimestre | 11/04/2011 - 18/06/2011

Curriculum:

Ore: 32 Frontali, 0 Laboratorio, 16 Esercizi

Torna su ▲

Programma del Corso

Con topologia formale si intende oggi la topologia sviluppata sulla base di una fondazione cosi' costruttiva da essere anche esprimibile in un linguaggio di programmazione. Lo scopo del corso e' introdurre alla ricerca in topologia formale, area per cui Padova e' riconosciuta come il principale centro di ricerca.
I contenuti saranno i seguenti:
Motivazioni allo studio della matematica costruttiva, teoria dei tipi costruttiva come linguaggio di programmazione, struttura logica sottostante la topologia (the Basic Picture), coppie di base, topologie di base (o non-distributive), topologie formali, punti formali e spazi formali, generazione induttiva e co-induttiva di topologie formali, esempi e applicazioni (numeri reali, spazi di Cantor e di Baire, compattificazioni, teoremi di rappresentazione di Stone, topologie regolari,...)

Prerequisiti: - -

Propedeuticità:

Ausili Didattici: - -

Testi di Riferimento: G. Sambin et al., The Basic Picture, preprint e articoli forniti dal docente.

Torna su ▲