Informatica - DISI, University of Trentodisi.unitn.it/~zunino/teaching/informatica/informatica MAT -...
Transcript of Informatica - DISI, University of Trentodisi.unitn.it/~zunino/teaching/informatica/informatica MAT -...
Informatica
CdL in Matematica
Parte 3
Roberto Zunino
Definizioni Ricorsive:
Esempi Intuitivi
Esempio
Esempio
Esempio
Esempio
4 27
5 4
Esempio
Definizioni Ricorsive:
Regole di Inferenza
Regole di Inferenza
Regole di Inferenza
Regole di Inferenza
Conseguenze Immediate
Esempio
Esempio
Esempio
Esempio
Esempio
Conseguenze e Inclusioni
Esempio
Conseguenze e Inclusioni
Esempio
Punti pre-/post-/fissi
Definizioni ricorsive:
Esempio di Formalizzazione
Formalizzazione
Formalizzazione
Un Primo Tentativo
Definizione Corretta
Conclusione
Punti prefissie
Principio di Induzione
Monotonia
Knaster-Tarski
Knaster-Tarski: dimostrazione
Minimo Punto Prefisso
Principio di Induzione
Induzione: Esempio
Induzione: Esempio
Notazione
Induzione: Esempio
Induzione: Esempio
Notazione
Induzione: Esempio
Induzione: Esempio
Notazione
Operativamente
Operativamente
Punti fissie
Inversione
Lemma del Minimo Punto Fisso
Conseguenza
Inversione
Relazioni Definite per Ricorsione
Relazioni per Ricorsione
Esempio
Formalmente
Notazione
“Induzione sul <=”
“Induzione sul <=”
Esercizio
Esempio
Derivazioni
Derivazioni
Derivazioni
Derivazioni
Derivazioni
Iterate di una Funzione
Derivazioni
Derivazioni
Derivazioni e punti fissi
Continuità di Scotte
Punto Fisso di Kleene
FUORIESAME
Continuità (secondo Scott)FUORIESAME
Perché si chiama “continuità”FUORIESAME
Continuità: dimostrazione FUORIESAME
Continuità: dimostrazione FUORIESAME
Continuità e Finitezza FUORIESAME
Continuità e Monotonia FUORIESAME
Ancora sui punti fissi FUORIESAME
Th. del Punto Fisso di KleeneFUORIESAME
Th. Kleene: dimostrazione FUORIESAME
Th. Kleene: dimostrazione(2)FUORIESAME
Th. Kleene: dimostrazione(3)FUORIESAME
Th. Kleene: Esempi FUORIESAME
Th. Kleene: Esempi FUORIESAME