Likes Likes:  0
Risultati da 1 a 8 di 8

Discussione: [math problem] 5 euro in bonus poker a chi lo risolve

  1. #1
    Antonius L'avatar di marbury85
    Registrato il
    Mar 2008
    Località
    midstakes mtt
    Posts
    2,160
    Likes (Given)
    841
    Likes (Received)
    1034

    Predefinito [math problem] 5 euro in bonus poker a chi lo risolve

    Sono disperato, devo completare gli homework per poter dare orale di analisi statica e questo esercizio mi sta facendo uscire di testa.



    le prime due righe sono la consegna, quello sotto è una pseudo soluzione trovata spulciando gli articoli scentifici pubblicati dal mio prof, diciamo che la prima parte dell'implicazione l'avevo fatta anchio e vale per definizione di post-fixpoint (anche se lui nn lo scrive lol e uno cm cazzo lo capisce??) ma la seconda parte della dimostrazione nn riesco a capire cm fa a far saltar fuori che:

    f(γ(gfp(f#))) <= gfp(f)

    cioè è assurdo nn c'è nessuna proprietà che io veda della galoise insertion che dia una roba simile, cioè anche la definizione di miglior funzione di astrazione nn ti permette di ricavare quella roba...



    P.S: gfp = greatfix point
    Lol ma che whine è una trap della nonna in carriola su doppia street che faila clamorosamente e mette 100bb dead river (cit. Luciom)

  2. #2
    Cbet Super Mod L'avatar di Raistlin
    Registrato il
    Oct 2007
    Località
    Roma
    Posts
    4,186
    Likes (Given)
    13
    Likes (Received)
    1106

    Predefinito

    fa 2

    sgancia

  3. #3
    Antonius L'avatar di marbury85
    Registrato il
    Mar 2008
    Località
    midstakes mtt
    Posts
    2,160
    Likes (Given)
    841
    Likes (Received)
    1034

    Predefinito

    risolto ora mentre facevo la doccia.

    γ(gfp(f#)) >= gfp(f) per definizione se f# è sound (cioè approssima correttamente f)

    ora o γ(gfp(f#) = gfp(f) e quindi vale che f(γ(gfp(f#)) = gfp(f) <= gfp(f)

    oppure γ(gfp(f#)) > gfp(f) ==> è un prefixpoint cioè f(γ(gfp(f#)) <= γ(gfp(f#)

    dato che f monotona, per duale del teorema di kleene dopo n interazione ff((γ(gfp(f#))) = f(γ(gfp(f#)) cioè diventa un puntofisso della funzione

    dato che gfp(f) è il + grande puntofisso della funzione vale che f(γ(gfp(f#)) <= gfp(f)

    applicando la completezza cioè usando f ° γ = γ ° f# otteniamo: γ(f#(gfp(f#)) <= gfp(f)

    che equivale per definizione di puntofisso a: γ(gfp(f#)) <= gfp(f)

    applicando ambo i membri α per monotonia della stessa la disequazione continua a valere: α(γ(gfp(f#))) <= α(gfp(f))

    per GI α°γ = id quindi concludiamo: gfp(f#) <= α(gfp(f))

    gg
    Lol ma che whine è una trap della nonna in carriola su doppia street che faila clamorosamente e mette 100bb dead river (cit. Luciom)

  4. #4
    Monkey Tilt L'avatar di squiz2
    Registrato il
    Sep 2011
    Località
    FINO ALLA FINE, FORZA LANCIANO!
    Posts
    1,939
    Likes (Given)
    2288
    Likes (Received)
    2008

    Predefinito

    Citazione Originariamente Scritto da marbury85 Visualizza Messaggio
    risolto ora mentre facevo la doccia.

    γ(gfp(f#)) >= gfp(f) per definizione se f# è sound (cioè approssima correttamente f)

    ora o γ(gfp(f#) = gfp(f) e quindi vale che f(γ(gfp(f#)) = gfp(f) <= gfp(f)

    oppure γ(gfp(f#)) > gfp(f) ==> è un prefixpoint cioè f(γ(gfp(f#)) <= γ(gfp(f#)

    dato che f monotona, per duale del teorema di kleene dopo n interazione ff((γ(gfp(f#))) = f(γ(gfp(f#)) cioè diventa un puntofisso della funzione

    dato che gfp(f) è il + grande puntofisso della funzione vale che f(γ(gfp(f#)) <= gfp(f)

    applicando la completezza cioè usando f ° γ = γ ° f# otteniamo: γ(f#(gfp(f#)) <= gfp(f)

    che equivale per definizione di puntofisso a: γ(gfp(f#)) <= gfp(f)

    applicando ambo i membri α per monotonia della stessa la disequazione continua a valere: α(γ(gfp(f#))) <= α(gfp(f))

    per GI α°γ = id quindi concludiamo: gfp(f#) <= α(gfp(f))

    gg
    sick mi hai anticipato per un nonnulla!
    Citazione Originariamente Scritto da aaronfunk Visualizza Messaggio
    ma per me può venire giù tutto frega un cas FUCK THA POLICE
    Citazione Originariamente Scritto da lucy80
    Ovviamente l’interesse commerciale di sharkscope è di portare i risultati in negativo, per poi chiedere soldi agli utenti per azzerare i risultati!
    Citazione Originariamente Scritto da Britva Visualizza Messaggio
    Squiz2: Il veneziano de Roma. Un mix pokeristico fra l'indolenza di Alvaro Recoba, la classe di George Best e la tracotanza di un Cristiano Ronaldo sotto acido. Il suo motto: non grindare oggi se lo puoi fare domani. Voto: 7,5

  5. #5
    Monkey Tilt
    Registrato il
    Jul 2012
    Località
    Cagliari
    Posts
    1,075
    Likes (Given)
    175
    Likes (Received)
    72

    Predefinito

    Citazione Originariamente Scritto da marbury85 Visualizza Messaggio
    risolto ora mentre facevo la doccia.

    γ(gfp(f#)) >= gfp(f) per definizione se f# è sound (cioè approssima correttamente f)

    ora o γ(gfp(f#) = gfp(f) e quindi vale che f(γ(gfp(f#)) = gfp(f) <= gfp(f)

    oppure γ(gfp(f#)) > gfp(f) ==> è un prefixpoint cioè f(γ(gfp(f#)) <= γ(gfp(f#)

    dato che f monotona, per duale del teorema di kleene dopo n interazione ff((γ(gfp(f#))) = f(γ(gfp(f#)) cioè diventa un puntofisso della funzione

    dato che gfp(f) è il + grande puntofisso della funzione vale che f(γ(gfp(f#)) <= gfp(f)

    applicando la completezza cioè usando f ° γ = γ ° f# otteniamo: γ(f#(gfp(f#)) <= gfp(f)

    che equivale per definizione di puntofisso a: γ(gfp(f#)) <= gfp(f)

    applicando ambo i membri α per monotonia della stessa la disequazione continua a valere: α(γ(gfp(f#))) <= α(gfp(f))

    per GI α°γ = id quindi concludiamo: gfp(f#) <= α(gfp(f))

    gg
    sick life

  6. #6
    Calling Station L'avatar di LikeWater
    Registrato il
    Feb 2014
    Posts
    61
    Likes (Given)
    5
    Likes (Received)
    0

    Predefinito


  7. #7
    Tight Agressive L'avatar di peppe70
    Registrato il
    Dec 2009
    Località
    Salerno
    Posts
    283
    Likes (Given)
    137
    Likes (Received)
    499

    Predefinito

    Citazione Originariamente Scritto da marbury85 Visualizza Messaggio
    risolto ora mentre facevo la doccia.
    che doccia-shampoo usi?

  8. #8
    Antonius L'avatar di marbury85
    Registrato il
    Mar 2008
    Località
    midstakes mtt
    Posts
    2,160
    Likes (Given)
    841
    Likes (Received)
    1034

    Predefinito

    Citazione Originariamente Scritto da LikeWater Visualizza Messaggio
    nn è niente di che sono notazioni, evitate di inoltrarvi cm dovrò fare io in articoli scentifici incolonnati in giustificato senza un accapo, dove ognuno cambia simboli e notazione, servono 3 giorni per capire di cosa sta parlando
    Lol ma che whine è una trap della nonna in carriola su doppia street che faila clamorosamente e mette 100bb dead river (cit. Luciom)

Informazioni Discussione

Utenti che Stanno Visualizzando Questa Discussione

Ci sono attualmente 1 utenti che stanno visualizzando questa discussione. (0 utenti e 1 ospiti)

Segnalibri

Permessi di Scrittura

  • Tu non puoi inviare nuove discussioni
  • Tu non puoi inviare risposte
  • Tu non puoi inviare allegati
  • Tu non puoi modificare i tuoi messaggi
  •