Forum |  HardWare.fr | News | Articles | PC | S'identifier | S'inscrire | Shop Recherche
8190 connectés 

 

Sujet(s) à lire :
 

 Mot :   Pseudo :  
  Aller à la page :
 
 Page :   1  2  3  4  5  ..  491  492  493  ..  582  583  584  585  586  587
Auteur Sujet :

[topic unique] Maths @ HFR

n°31384637
Cirdan Sin​dar
Mon enfance est à vendre
Posté le 20-08-2012 à 11:15:01  profilanswer
 

Reprise du message précédent :
Bah, certains savent ce que c'est, en utilise etc ... mais demande et on verra :o


---------------
⠨⠍⠄⠑⠝⠋⠊⠝
mood
Publicité
Posté le 20-08-2012 à 11:15:01  profilanswer
 

n°31385079
_pollux_
Pan ! t'es mort
Posté le 20-08-2012 à 11:41:22  profilanswer
 

Hum...  
 
Je vais essayer d'être clair.
 
Disons que je veuille caractériser un réacteur dont la vitesse de fonctionnement va dépendre de plusieurs paramètres (humidité, température, quantité de produit injecté, volume du réacteur, ...).
 
Un chimiste de base va procéder connement, fixer 3 paramètres, en faire varier un et tracer sa courbe sur quelques points.
 
J'ai deux buts :  
- optimiser mon système, de façon à ce que mon réacteur traite les produits aussi vite que possible.
- connaitre la vitesse de traitement sur l'ensemble du domaine d'étude (bornes des paramètres).
 
ceci en faisant le moins d'expériences possible.
 
Les plans d'expérience traitent bien le premier "but" (même si j'ai du mal à comprendre comment faire varier mes paramètres sur plus que 2 ou 3 valeurs). Par contre, je ne sais pas si les plans d'expérience peuvent aider à traiter le second problème, et comment.


---------------
Le topic du sport électronique@hfr : watch the l33t !
n°31389677
_pollux_
Pan ! t'es mort
Posté le 20-08-2012 à 16:52:09  profilanswer
 

j'ai à nouveau tué le topic :o
 
Ou alors les matheux sont à la plage, c'est possible aussi :o


---------------
Le topic du sport électronique@hfr : watch the l33t !
n°31391361
Profil sup​primé
Posté le 20-08-2012 à 19:10:41  answer
 

Ca n'a jamais été un topic très rapide hein :o

n°31414264
leoz
Posté le 22-08-2012 à 14:26:55  profilanswer
 

Salut !
 
Je bloque complètement sur une question, non seulement sa résolution mais aussi son sens. C'est du niveau Première S...
 
Soit A, B et C trois points non alignés de l'espace E.
Soit M un point de E, préciser le vecteur MA+2MB-3MC (ce sont des vecteurs).
 
Je ne comprends absolument pas ce que veut dire "préciser" le vecteur. Des idées?
 
J'en profite pour vous demander également un coup de main sur la question suivante qui me pose également problème :
Déterminer l'ensemble des points M de E tels que O étant un point donné du plan, OM.MA + 2OM.MB -3OM.MC = O (ce sont, à nouveau, des vecteurs...)
 
Merci d'avance pour votre aide.

n°31424095
bobbyfrasi​er
Well, hello there !
Posté le 23-08-2012 à 09:44:33  profilanswer
 

leoz a écrit :

Salut !
 
Je bloque complètement sur une question, non seulement sa résolution mais aussi son sens. C'est du niveau Première S...
 
Soit A, B et C trois points non alignés de l'espace E.
Soit M un point de E, préciser le vecteur MA+2MB-3MC (ce sont des vecteurs).
 
Je ne comprends absolument pas ce que veut dire "préciser" le vecteur. Des idées?
 
J'en profite pour vous demander également un coup de main sur la question suivante qui me pose également problème :
Déterminer l'ensemble des points M de E tels que O étant un point donné du plan, OM.MA + 2OM.MB -3OM.MC = O (ce sont, à nouveau, des vecteurs...)
 
Merci d'avance pour votre aide.


"Préciser" = dessiner (enfin je pense :o ) donc en gros tu trace simplement le vecteur indiqué !
 
Pour la deuxième question, il faut juste se rappeler que le produit scalaire est compatible avec l'addition donc que tu peux factoriser l'expression donnée :
OM.MA + 2OM.MB - 3OM.MC = 0
OM. (MA + 2MB - 3MC) = 0
et donc les points M sont sur la droite orthogonale au vecteur que tu as tracé dans la première question et passant par O :)
 

Spoiler :

Enfin si j'ai pas fait de connerie, je suis pas encore vraiment réveillé :o


---------------
Bobbyfrasier, Bobbyfrasier everywhere ! (Steam, Origin, ...)
n°31424358
gilou
Modosaurus Rex
Posté le 23-08-2012 à 10:03:19  profilanswer
 

Citation :

"Préciser" = dessiner (enfin je pense  ) donc en gros tu trace simplement le vecteur indiqué !


 
C'est surtout montrer que c'est un vecteur constant, qui ne dépend que de A, B, C et pas de M IMHO. Bref éliminer M de la somme MA+2MB-3MC
 
A+,


---------------
There's more than what can be linked! --  Le capitaine qui ne veut pas obéir à la carte finira par obéir aux récifs. -- Les paroles s'envolent, les APIs REST -- Hacker vaillant rien d'impossible -- (╯°□°)╯︵ ┻━┻
n°31425882
gilou
Modosaurus Rex
Posté le 23-08-2012 à 11:29:55  profilanswer
 

Tiens, je viens de lire que William Thurston est décédé Mardi, c'était un des grands mathématiciens du 20e siècle, médaillé Fields en 82.
Je ne suis pas familier avec ses travaux, mais ils concernaient la géométrie et la topologie.
La vidéo Outside In  sur cette page http://terrytao.wordpress.com/2012 [...] -thurston/ est pas inintéressante
A+,


---------------
There's more than what can be linked! --  Le capitaine qui ne veut pas obéir à la carte finira par obéir aux récifs. -- Les paroles s'envolent, les APIs REST -- Hacker vaillant rien d'impossible -- (╯°□°)╯︵ ┻━┻
n°31426065
kuartin
Posté le 23-08-2012 à 11:38:45  profilanswer
 

Il est à l'origine de la conjecture de géométrisation de Thurston (classification des 3-variétés compactes) qui a été démontré par Perelman en 2003 et qui a pour conséquence la conjecture de Poincaré :jap:

n°31477572
Profil sup​primé
Posté le 27-08-2012 à 18:41:44  answer
 

Abus de notation... Il s'agit du crochet, personne n'écrit ce truc correctement. Il faut lire :
d<B1, B2>_t = rho * dt


Message édité par Profil supprimé le 27-08-2012 à 18:41:54
mood
Publicité
Posté le 27-08-2012 à 18:41:44  profilanswer
 

n°31483100
Profil sup​primé
Posté le 28-08-2012 à 02:34:19  answer
 

Non :o Disons que BM c'est le terme de "physicien" et Wiener process c'en est la formalisation mathématique.

n°31501729
MacPedro
Posté le 29-08-2012 à 13:06:04  profilanswer
 

Hello,
 
J'ai un probleme pour comprendre le test statistique X2 (chi2). Il s'appuie sur la distribution X2 pour une somme de variables aleatoires normales N(0,1) au carre.
http://en.wikipedia.org/wiki/Chi-s [...] Definition
 
Mais lorsqu'on calcule le test statistique X2, il faut calculer la somme suivante
 
http://upload.wikimedia.org/math/8/d/6/8d61806af1a4fd4bd75952883eed9bac.png
 
Ce qui me laisse perplexe car je ne vois pas en quoi les termes de la somme peuvent etre vus comme generes par des lois normales N(0,1)
http://en.wikipedia.org/wiki/Pears [...] -statistic
 
Si quelqu'un a une explication, je suis preneur...

n°31503984
Profil sup​primé
Posté le 29-08-2012 à 15:32:47  answer
 

Dans l'hypothèse nulle du test (fréquence observée = fréquence théorique), ton (O_i - E_i) va être une variable centrée. Elle peut être de loi normale par hypothèse. Sinon, je pense qu'on va quand même avoir un chi2 "asymptotique" si elles sont iid mais pas normales (une sorte de théorème central limite).
 
Voilà ce que j'en pense, mais je suis pas spécialiste des tests statistiques et encore moins du chi2 :o
 
Quoiqu'il en soit, il est utile de façon générale de se placer dans l'hypothèse nulle pour comprendre la formulation du test.

n°31509306
Unknowns
Posté le 29-08-2012 à 22:18:11  profilanswer
 

Il existe deux tests statistiques du Khi-deux.
L'un qui est utilisé afin de tester l'hypothèse selon laquelle deux échantillons d'une même population peuvent être considérer comme indépendants, l'autre pour tester l'adéquation d'un échantillon à une loi de probabilité discontinue (fréquence donc).

 

La statistique de ce test (dans le second cas par exemple) n'est autre que le calcul d'une mesure entre les observations et les fréquences théoriques. Si cette mesure peut être considérée comme négligeable (au sens du test statistique) alors tu admets que la repartition des observations est en adéquation avec les fréquences théoriques et que par conséquent ta variable suit la loi de probabilité théorique en question :o


Message édité par Unknowns le 29-08-2012 à 22:19:29
n°31554389
Profil sup​primé
Posté le 03-09-2012 à 11:22:24  answer
 

Bonjour Mr, quelqu'un pourrait t'il m'expliciter l'identité que sire Xavier utilise dans la question b ?

 

http://i.imgur.com/m6Vre.png


Message édité par Profil supprimé le 03-09-2012 à 11:22:39
n°31554690
belettete
qui ne tête plus :'(
Posté le 03-09-2012 à 11:49:25  profilanswer
 

Hello,
 
Produit de Cauchy http://fr.wikipedia.org/wiki/Produit_de_Cauchy


---------------
今日事,明日毕
n°31770802
gilou
Modosaurus Rex
Posté le 24-09-2012 à 12:36:18  profilanswer
 

Je suis impressionné: Une team Inria/Microsoft Research a vérifié de manière "automatique" la validité de la démonstration du théorème de Feit-Thomson (Tout groupe fini d'ordre impair est résoluble) au moyen d'une extension du langage Coq. J'étais déjà au courant (grâce a la lecture de Théorème Vivant De Villani) de leur vérification de la validité de la démonstration du théorème des 4 couleurs, mais la, on n'est plus dans la combinatoire, le théorème de Feit-Thomson est un résultat particulièrement complexe (l'article relatif à sa démonstration fait 255 pages bien denses, et il s'appuie sur pas mal de résultats antérieurs, et tout ça a été revérifié par le système Coq).
A+,


---------------
There's more than what can be linked! --  Le capitaine qui ne veut pas obéir à la carte finira par obéir aux récifs. -- Les paroles s'envolent, les APIs REST -- Hacker vaillant rien d'impossible -- (╯°□°)╯︵ ┻━┻
n°31773796
Profil sup​primé
Posté le 24-09-2012 à 16:22:30  answer
 

gilou a écrit :

Je suis impressionné: Une team Inria/Microsoft Research a vérifié de manière "automatique" la validité de la démonstration du théorème de Feit-Thomson (Tout groupe fini d'ordre impair est résoluble) au moyen d'une extension du langage Coq. J'étais déjà au courant (grâce a la lecture de Théorème Vivant De Villani) de leur vérification de la validité de la démonstration du théorème des 4 couleurs, mais la, on n'est plus dans la combinatoire, le théorème de Feit-Thomson est un résultat particulièrement complexe (l'article relatif à sa démonstration fait 255 pages bien denses, et il s'appuie sur pas mal de résultats antérieurs, et tout ça a été revérifié par le système Coq).
A+,


 
 [:implosion du tibia]  
 
Je connaissais pas ce langage, ça a l'air violent :o

n°31774709
Virasoro
Drei Tage Wach
Posté le 24-09-2012 à 17:22:28  profilanswer
 

Très impressionnant [:wwilson]
(un lien ici: http://msr-inria.inria.fr/events-n [...] ved-in-coq )


Message édité par gilou le 24-09-2012 à 18:44:53

---------------
Le topic du coup de pelle
n°31774746
Chou Andy
Would you know my nem
Posté le 24-09-2012 à 17:26:22  profilanswer
 

Attention à la parenthèse fermante dans ton lien !

n°31774793
Arkin
Posté le 24-09-2012 à 17:32:24  profilanswer
 

gilou a écrit :

Je suis impressionné: Une team Inria/Microsoft Research a vérifié de manière "automatique" la validité de la démonstration du théorème de Feit-Thomson (Tout groupe fini d'ordre impair est résoluble) au moyen d'une extension du langage Coq. J'étais déjà au courant (grâce a la lecture de Théorème Vivant De Villani) de leur vérification de la validité de la démonstration du théorème des 4 couleurs, mais la, on n'est plus dans la combinatoire, le théorème de Feit-Thomson est un résultat particulièrement complexe (l'article relatif à sa démonstration fait 255 pages bien denses, et il s'appuie sur pas mal de résultats antérieurs, et tout ça a été revérifié par le système Coq).
A+,


 
t'en a pensé quoi?


---------------
Kiribati se dit kiribass,khmer rouge se dit kmaille rouge,Lesotho se dit léssoutou,Laos se dit lao
n°31774806
RandallBog​gs
Posté le 24-09-2012 à 17:33:16  profilanswer
 

gilou a écrit :

Je suis impressionné: Une team Inria/Microsoft Research a vérifié de manière "automatique" la validité de la démonstration du théorème de Feit-Thomson (Tout groupe fini d'ordre impair est résoluble) au moyen d'une extension du langage Coq. J'étais déjà au courant (grâce a la lecture de Théorème Vivant De Villani) de leur vérification de la validité de la démonstration du théorème des 4 couleurs, mais la, on n'est plus dans la combinatoire, le théorème de Feit-Thomson est un résultat particulièrement complexe (l'article relatif à sa démonstration fait 255 pages bien denses, et il s'appuie sur pas mal de résultats antérieurs, et tout ça a été revérifié par le système Coq).
A+,


[:aqualung]

n°31775528
gilou
Modosaurus Rex
Posté le 24-09-2012 à 18:44:29  profilanswer
 

Arkin a écrit :


 
t'en a pensé quoi?

Qu'il va maintenant falloir l'appliquer a la vérification de la classification des groupes finis simples, dont le théorème de Feit-Thomson n'est qu'un hors-d'oeuvre ;)

Spoiler :

The proof of the theorem consists of tens of thousands of pages in several hundred journal articles written by about 100 authors, published mostly between 1955 and 2004


A+,

Message cité 1 fois
Message édité par gilou le 24-09-2012 à 18:52:08

---------------
There's more than what can be linked! --  Le capitaine qui ne veut pas obéir à la carte finira par obéir aux récifs. -- Les paroles s'envolent, les APIs REST -- Hacker vaillant rien d'impossible -- (╯°□°)╯︵ ┻━┻
n°31778641
kuartin
Posté le 24-09-2012 à 22:27:50  profilanswer
 

gilou a écrit :

Qu'il va maintenant falloir l'appliquer a la vérification de la classification des groupes finis simples, dont le théorème de Feit-Thomson n'est qu'un hors-d'oeuvre ;)

Spoiler :

The proof of the theorem consists of tens of thousands of pages in several hundred journal articles written by about 100 authors, published mostly between 1955 and 2004


A+,


Il parlait du livre de Villani :o
Ton avis m'intéresse aussi.
 
Sinon merci pour l'info, très intéressant, je ne connaissais pas.

n°31778681
RandallBog​gs
Posté le 24-09-2012 à 22:29:57  profilanswer
 

Faut lire le topic Vos lectures du moment, enfin... :pfff:   :o


Message édité par RandallBoggs le 24-09-2012 à 22:30:08
n°31779493
gilou
Modosaurus Rex
Posté le 24-09-2012 à 23:35:28  profilanswer
 

kuartin a écrit :


Il parlait du livre de Villani :o
Ton avis m'intéresse aussi.
 
Sinon merci pour l'info, très intéressant, je ne connaissais pas.

gilou a écrit :

Tiens au fait, j'ai lu Théorème Vivant de Cédric Villani, une des médailles Fields françaises récentes.  
Je fais partie a 100% de la cible de ce bouquin (j'ai fait de la recherche en maths dans un lointain passé, donc je suis suis fortement en terrain connu) donc il m'a intéressé, mais pour ceux n'ayant pas mon type de profil, je crains que ce livre ne présente qu'un intérêt relativement restreint.

Grosso modo, ce bouquin est une sorte de journal intime d'un chercheur sur une période d'une année ou deux, entrecoupé d'intermèdes moins centrés sur sa personne. Il y a un net effort de rédaction, mais c'est pas non plus de la grande littérature. Le gros pb, c'est que ceux qui ne sont pas du sérail doivent être assez paumés par une masse d'infos à absorber s'ils ne les connaissent pas déjà (par exemple, Oberwolfach, je sais tout de suite de quoi il s'agit, bien que je n'y sois jamais allé [c'était mes potes théoriciens des nombres qui y allaient], mais je doute que ce soit le cas de 99.99% de la population)
A+,

Message cité 1 fois
Message édité par gilou le 24-09-2012 à 23:43:27

---------------
There's more than what can be linked! --  Le capitaine qui ne veut pas obéir à la carte finira par obéir aux récifs. -- Les paroles s'envolent, les APIs REST -- Hacker vaillant rien d'impossible -- (╯°□°)╯︵ ┻━┻
n°31779979
Profil sup​primé
Posté le 25-09-2012 à 01:07:39  answer
 

gilou a écrit :

Grosso modo, ce bouquin est une sorte de journal intime d'un chercheur sur une période d'une année ou deux, entrecoupé d'intermèdes moins centrés sur sa personne. Il y a un net effort de rédaction, mais c'est pas non plus de la grande littérature. Le gros pb, c'est que ceux qui ne sont pas du sérail doivent être assez paumés par une masse d'infos à absorber s'ils ne les connaissent pas déjà (par exemple, Oberwolfach, je sais tout de suite de quoi il s'agit, bien que je n'y sois jamais allé [c'était mes potes théoriciens des nombres qui y allaient], mais je doute que ce soit le cas de 99.99% de la population)
A+,

 

:jap: C'est intéressant d'essayer d'analyser le cheminement intellectuel en mathématiques, et de le démystifier (souvent, les matheux ont un discours un peu ésotérique là-dessus, qui consiste à dire que ça ne s'explique pas, que d'un coup la preuve apparaît, que les éléments se mettent en place et s'arrangent d'un coup dans son esprit. C'est en partie vrai, mais c'est quand même plus complexe, il y a des formes de reproduction de ce qui a déjà été fait, une manière de penser conditionnée par un certain apprentissage etc. Bref je m'égare :o
Je sais pas si le livre vaut le coup de ce point de vue ?

 

Il y a un prof de maths qui s'intéresse à ce genre de trucs à l'Ens : http://www.math.ens.fr/~merker
Il vaut le détour :o :o


Message édité par Profil supprimé le 25-09-2012 à 01:07:51
n°31817533
Astroya
Posté le 28-09-2012 à 14:37:20  profilanswer
 

Hello,  
 
quelqu'un aurait une idée de démonstration pour montrer que dans un espace séparé E,  l'intersection des voisinages fermés de tout point x de E est réduite au singleton {x} ?
 
J'ai cherché sur le net, mais pas moyen d'en trouver une  :pfff:

Message cité 1 fois
Message édité par Astroya le 28-09-2012 à 14:37:39
n°31817835
RandallBog​gs
Posté le 28-09-2012 à 14:53:57  profilanswer
 

Astroya a écrit :

Hello,  
 
quelqu'un aurait une idée de démonstration pour montrer que dans un espace séparé E,  l'intersection des voisinages fermés de tout point x de E est réduite au singleton {x} ?
 
J'ai cherché sur le net, mais pas moyen d'en trouver une  :pfff:


{x} est dans l'intersection. Si l'intersection est non réduite à {x}, c'est que tu as un autre y dedans. Par séparation, tu as un ouvert contenant x qui ne contient pas y et tu conclus.

Message cité 1 fois
Message édité par RandallBoggs le 28-09-2012 à 14:55:17
n°31818757
Astroya
Posté le 28-09-2012 à 15:50:03  profilanswer
 

RandallBoggs a écrit :


{x} est dans l'intersection. Si l'intersection est non réduite à {x}, c'est que tu as un autre y dedans. Par séparation, tu as un ouvert contenant x qui ne contient pas y et tu conclus.


 
Ah ok, je n'arrivais pas du tout à visualiser. Merci  :jap:
 
edit  : dans ce raisonnement, on ne se sert absolument pas du fait qu'on considère une intersection de fermés, non ?
 
Je veux dire par là que ça resterait la même chose en prenant l'intersection de tous les ouverts contenant x ?
 
Ca sert surtout à montrer qu'on singleton est fermé, pour ensuite dire que toute partie finie est fermée ?
 


Message édité par Astroya le 28-09-2012 à 16:23:12
n°31821051
Profil sup​primé
Posté le 28-09-2012 à 18:56:55  answer
 

Ca marche aussi avec l'intersection des ouverts oui. La preuve est encore plus immédiate.

n°31821154
Astroya
Posté le 28-09-2012 à 19:10:41  profilanswer
 


 
 :jap:

n°31886357
Profil sup​primé
Posté le 05-10-2012 à 01:22:08  answer
 

Des gars familiers avec les sujets de taupins aurait en tete des sujets de topologie  ? (pour MP )

 

Merceÿ

Message cité 1 fois
Message édité par Profil supprimé le 05-10-2012 à 01:22:30
n°31886460
Profil sup​primé
Posté le 05-10-2012 à 02:01:40  answer
 

Mines MP 2009 Maths 1 (ou 2), je crois.

Message cité 1 fois
Message édité par Profil supprimé le 05-10-2012 à 02:01:57
n°31886844
kuartin
Posté le 05-10-2012 à 08:26:14  profilanswer
 

Ens Ulm-Lyon MP 1998 :love:

n°31887247
Profil sup​primé
Posté le 05-10-2012 à 09:27:41  answer
 

vous croyez que cela soit bénéfique de faire des sujets anté 2003 ?

n°31887279
RandallBog​gs
Posté le 05-10-2012 à 09:30:56  profilanswer
 

Tout dépend de tes ambitions... [:azylum]

n°31887366
Profil sup​primé
Posté le 05-10-2012 à 09:39:27  answer
 

RandallBoggs a écrit :

Tout dépend de tes ambitions... [:azylum]


je suis un fou furieux  [:wark0] .  
alors ?

n°31889845
Arkin
Posté le 05-10-2012 à 12:43:32  profilanswer
 


 
maths 2 :jap:
 

kuartin a écrit :

Ens Ulm-Lyon MP 1998 :love:


 
je l'ai eu en ds pour la préparation à ulm : c'est vraiment très différent de ce que tu peux avoir maintenant, mais c'est toujours intéressant


---------------
Kiribati se dit kiribass,khmer rouge se dit kmaille rouge,Lesotho se dit léssoutou,Laos se dit lao
n°31894008
kuartin
Posté le 05-10-2012 à 17:32:48  profilanswer
 

Arkin a écrit :


je l'ai eu en ds pour la préparation à ulm : c'est vraiment très différent de ce que tu peux avoir maintenant, mais c'est toujours intéressant


Oui c'est vrai, mais c'est vraiment un beau sujet et il y a beaucoup de choses dedans. Moi je l'avais eu en DM :o

n°31898209
death4578
Zotto Mola
Posté le 06-10-2012 à 10:08:54  profilanswer
 


Un sujet ENSAE, avant que ça rejoigne les mines, mais me souviens plus de l'année :o


---------------
And finally, because brain cycles are a finite resource, there is only so much complexity we could put into the champion's actual kit--most of its complexity budget would be eaten up already by the mere fact that you're controlling two independent units.
mood
Publicité
Posté le   profilanswer
 

 Page :   1  2  3  4  5  ..  491  492  493  ..  582  583  584  585  586  587

Aller à :
Ajouter une réponse
 

Sujets relatifs
Topic about cunnilingus closed....age des blabla-teurs et HFR addict ?
Topic de la dragueLe topic des jeux disparus.
topic physique des ondes[topic unique] Bachelor (la foire aux bestiaux sur M6)
Buffy : Le topic ! Buffy c fini :cry: Angel aussi :cry:Pourquoi un topic à la con devrait etre supprimé ...
Je viens de me souvenir pourquoi je ne venais plus sur HFR...[topic unique] Maths @ HFR
Plus de sujets relatifs à : [topic unique] Maths @ HFR


Copyright © 1997-2025 Groupe LDLC (Signaler un contenu illicite / Données personnelles)