Informatica CdL in Matematica Parte 3 Roberto Zunino
Definizioni Ricorsive: Esempi Intuitivi
Esempio
Esempio
Esempio
Esempio 7 4 2 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 prefissi e 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 fissi e 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 Scott e Punto Fisso di Kleene FUORI ESAME
Continuità (secondo Scott) FUORI ESAME
Perché si chiama “continuità” FUORI ESAME
Continuità: dimostrazione FUORI ESAME
Continuità: dimostrazione FUORI ESAME
Continuità e Finitezza FUORI ESAME
Continuità e Monotonia FUORI ESAME
Ancora sui punti fissi FUORI ESAME
Th. del Punto Fisso di Kleene FUORI ESAME
Th. Kleene: dimostrazione FUORI ESAME
Th. Kleene: dimostrazione(2) FUORI ESAME
Th. Kleene: dimostrazione(3) FUORI ESAME
Th. Kleene: Esempi FUORI ESAME
Th. Kleene: Esempi FUORI ESAME