Table of Contents
Un po’ di ripasso di algebra
Ordinamento parziale
Reticolo completo
Operatori su reticoli completi: monotonicità e continuità
Minimo punto fisso
Il teorema di Tarski
Le potenze ordinali
Il teorema di Kleene
Minimo punto fisso: a che serve?
Esempio di lfp: i reticoli
Esempio di lfp: il funzionale
Esempio : un po’ di “calcolo”
|
Author: Giorgio Levi
Email: levi@di.unipi.it
Home Page: http://www.di.unipi.it/~levi/corsoLP/pagina.html
Download presentation source
|