Messages postés par "blo yhg"
7 messages sont invisibles car dans un sujet inaccessible.
| Sujet | Date | Extrait |
|---|---|---|
|
Caf&Sciences
Le coin des scientifiques ! |
mercredi 05 avril 2017 à 07h01 | > Mais on m'avait parlé d'un résultat, où il était montré qu'on ne pouvait pas écrire un lambda terme pour décider du min entre deux entiers $n$ et $m$ en $O(min(n,m))$. Source:[Saroupille](https:/… |
|
Caf&Sciences
Le coin des scientifiques ! |
mardi 04 avril 2017 à 23h59 | L'article dont parle Saroupille est peut-être celui-ci : http://www.sciencedirect.com/science/article/pii/0304397591900395 (*About primitive recursive algorithms*, Loïc Colson, résultat page 10). Je … |
|
J'ai décidé de m'améliorer en Maths, mettez-moi sur la voie
But : développement de jeux vidéo |
mardi 04 avril 2017 à 14h03 | > Je ne te cache pas qu'arriver jusque là sera sans effort Mais il n'y aurait pas de raison de le cacher, c'est plutôt vendeur ! |
| dimanche 02 avril 2017 à 13h15 | > > Si mes calculs sont justes! Or, que voyons nous aujourd’hui? Quelle est toujours pour demain! > > À partir de là j'ai cru lire un discours d'Hary Seldon :) Source:[LudoBike](https://zestedesa… | |
| dimanche 02 avril 2017 à 02h16 | Oui, cette inégalité est valable pour tout $h$ dans un certain voisinage de $0$ dépendant de $\alpha$. Comme $\alpha$ est un réel strictement positif quelconque, tu peux rendre $\alpha \times \frac{… | |
| vendredi 31 mars 2017 à 23h24 | > > Mais on divise par h2. Il faut raisonner avec des ordres de grandeurs. Ce que tu intègres s’écrase devant t, donc tu obtiens un truc qui s’écrase devant h2, et justement tu divises par h2. > >… | |
| mardi 28 mars 2017 à 10h51 | > Il semble que la condition pour que X soit solution de l'équation soit $\complement_B A \subset X \subset B$. La condition complète est $(A \subseteq B) \land (B \setminus A \subseteq X \subsete… | |
| lundi 27 mars 2017 à 22h02 | @elegance : Alors j'ai trouvé en cherchant [sur internet](http://yoda.guillaume.pagesperso-orange.fr/N1000/N6000.htm#N6500) mais à moins d'être Ramanujan je vois pas comment faire pour trouver ! | |
| lundi 27 mars 2017 à 22h00 | Je ne sais pas à partir de ce que tu as écrit, je n'avais pas en tête de passer la la formule $1_{A \cup B} = 1_A + 1_B - 1_A 1_B$. Je ne comprends pas trop ce que tu as marqué, d'où sort ce $A \Delt… | |
| lundi 27 mars 2017 à 19h03 | En fait ce que j'entendais c'est qu'on a des équations indépendandes pour chaque élément de $E$. Donc on résout pour chaque élément de $E$, en fonction de s'il est dans $A$ et de s'il est dans $B$, l… | |
| lundi 27 mars 2017 à 00h47 | > Intuitivement, j'ai envie de dire que le terme va disparaître lorsque l'on passera à la limite en faisant tendre $h$ vers zéro ($t$ étant coincé entre $hy$ et $h$, $\varepsilon(t)$ « ne peut que s'… | |
| dimanche 26 mars 2017 à 19h06 | Ah, je fais effectivement ça mais c'était voulu. J'ai justement vérifié que le tout sommait bien à 10⁶. En éliminant les doublons je trouve bien comme tu dis, avec 352 et 30 points menant aux deux p… | |
| dimanche 26 mars 2017 à 16h44 | @Erouke : J'ai oublié de mentionner l'OEIS grâce à laquelle j'ai trouvé le nom de Kaprekar routine. http://oeis.org/search?q=Kaprekar%20map Ici tu as les cycles en base 10 (un cycle est donné par … | |
| dimanche 26 mars 2017 à 15h25 | @adri1 : Ah oui. J'avais vu que tu utilisais des `Int` pour stocker les nombres mais en fait le `++ repeat 0` rajoute les zéros qu'il manque. Par contre, du coup j'ai calculé les cycles pour 6 chi… | |
| dimanche 26 mars 2017 à 03h08 | Bonsoir, > Voici ce que j'ai fait jusqu'à présent. On sait que $F$ est de classe $\mathcal{C}^1$ sur $\mathbf{R}^2$ si elle admet une dérivée partielle continue sur $\mathbf{R}^2$ en chacune de se… | |
| dimanche 26 mars 2017 à 01h38 | > Pour 5 chiffres, j'ai beaucoup plus de cycles de longueur 4 ou 2, du coup j'ai du mal à comprendre pourquoi ton programme affiche spécifiquement `[1, 4, 2, 4]`... À moins que ce ne sont que les cyc… | |
| samedi 25 mars 2017 à 19h23 | > La pirouette consistant à reformuler une preuve par l’absurde en une implication dont la conclusion est fausse me semble un peu artificielle. Ce n'est pas du tout artificiel ! D'ailleurs l'exemp… | |
| samedi 25 mars 2017 à 19h06 | @Thinking : Ton lien pointe vers la mauvaise page, il faut sûrement ajouter un http. Voilà un script python pour afficher les longueurs des cycles. [[secret]] | ```py | import itertools | … | |
| vendredi 24 mars 2017 à 23h47 | > Le point de vue de matheux c'est de dire qu'une proposition est fausse si tu peux exhiber un contre-exemple. Le point de vue de logicien, c'est de dire que la négation est prouvable. Oui, donc j… | |
| vendredi 24 mars 2017 à 23h32 | Mais c'est quoi une proposition « fausse » ? Il existe des formalismes dans lesquels $\lnot A$ n'est pas équivalent à $A \to \bot$ ? | |
| vendredi 24 mars 2017 à 23h28 | > Je pense pas qu'il y ait un moyen de montrer que la contraposée est équivalente à l'implication sans passer par un tiers exclus. Si ? En effet, on peut déduire le tiers exclu « par contraposée »… |