corso

Teoria della programmazione

Giorgio Germano

Tel. 0502212731

Elementi di algebra: grafi, semigruppoidi, categorie. categorie cartesiane.
Chiusura induttiva, induzione, algebre di Peano e ricorsione.
Sintassi dei rogrammi imperativi, ricorsione e variabili di input e di output.
I programmi imperativi input-output.
La categoria sintattica dei programmi.
. Ricorsione e semantica dei programmi.
. Il monoide semantico dei programmi.
. Ricorsione e funtore semantico dalla sintassi alla semantica.
. Le funzioni su sequenze calcolabili da programmi imperativi input-output.
La categoria delle funzioni su sequenze calcolabili.
Ricorsione e funtore di calcolabilità dalla sintassi alla categoria delle funzioni calcolabili.
La funzione apply come trasormazione naturale dal funtore semantico al funtore di calcolabilità.
Rapporti tra semantica e calcolabilità.
La tesi di Church tradizionale e la sua estensione alle categorie cartesiane di funzioni numeriche calcolabili.

Testo: dispensa del docente.

Scritto e orale