Je suis sémantique d'apprentissage de Haskell et là je suis tombé sur cette question:Prouvez transitivité sémantique Haskell
Je l'ai essayé, mais toujours pas en mesure de conclure la réponse. Ce sera génial si quelqu'un m'explique comment prouver celui-ci. Je vous remercie.
Juste un croquis -> Depuis pn (s) pour n fixe est morphisme Ninf -> N, qui est ensemble de Entiers dans Entier, cette preuve peut être simplifiée en utilisant cette relation en preuve de transitivité sur des entiers
[1,0,0 ..] -> [2,0,0 ..] -> [3,0,0 ..] -> ...
Je suis sûr que vous peut trouver encore plus intéressant un
Pouvez-vous s'il vous plaît expliquer un peu, comment vous trouvez la chaîne. –
pn ([x, 0,0 ..]) == x pour tout n. Si les chaînes x-es satisfont la transitivité, la chaîne des ensembles X-es aussi. –
merci pour cela, mais je ne l'ai pas compris, comment pn (x, 0,0,0 ..)? , comment dérivez-vous cela. pouvez-vous expliquer cela, comme Im toujours aux prises avec cette question. –
I Je vote pour clore cette question hors sujet parce que ce n'est pas une question de programmation. – Renzo
@Renzo pouvez-vous s'il vous plaît dites-moi alors où poser ce genre de question? Merci –
Vous pouvez essayer http://cs.stackexchange.com ou peut-être http://math.stackexchange.com – Renzo