Si tu as une illustration sympa sur Python et que tu insistes dessus, à mon avis ça peut passer. Perso c'est ce que j'avais: un TIPE maths auréolé d'une partie info (Caml tant qu'à faire parce que tout le monde adore ça!) que j'avais présentée comme une partie importante de l'exposé. La partie maths...

A Lyon, si tu es en maths, il n'y a pas beaucoup de cours (16h de cours et TD + 2h d'anglais + 4h optionnelles de cours et TD de maths: "cours de prémaster"), et tu as le temps de faire d'autres cours à côté: informatique, physique, lettres, histoire, ce que tu veux en fait il suffit de pr...

Les chercheurs ont souvent des sujets qu'ils n'ont jamais vraiment investis sérieusement par manque de temps mais qu'ils aimeraient étudier. Ce sont des sujets sur lesquels un étudiant peut réellement leur apporter de l'aide après avoir suffisamment travaillé. Donc ça se fait oui, il suffit de deman...

Les isométries sont aussi les applications qui conservent les distances, et alors ce ne sont pas nécessairement des morphismes d'espaces vectoriels. Par exemple les translations sont des isométries $ \mathbb{R} \rightarrow \mathbb{R} $.

Il s'agit ici de savoir si on peut caractériser d'une certaine manière une propriété déjà définie: celle pour un réel d'être un entier naturel. Ce que je voulais dire dans mon précédent message est qu'il n'existe pas de formule F[x] du genre \forall y(\exists z (x.(y + 1) = z.(z-y) \Longrightarrow z...

Salut, On peut aussi définir l'ensemble des entiers relatifs comme le plus petit sous-anneau de \mathbb{R} , et caractériser les entiers naturels comme les entiers relatifs positifs. Il n'existe pas de propriété pour un réel "d'être un entier naturel" écrite dans le langage de l'arithmétiq...

Il y a des magistères de maths à Paris (Orsay, Jussieu) et à Strasbourg également. @preypaa17: Je ne saurais pas te répondre. De manière générale le niveau des cours est assez élevé, cela va assez vite, et sauf exception les partiels ne sont pas évidents, mais ne sont loin d'être infaisables. (c'est...

Si tu veux faire des maths, en ce qui concerne l'ENS de Lyon, il y a le concours MPI option maths qui comporte à l'écrit et à l'oral deux épreuves de maths et une épreuve d'info, et qui donne naturellement accès au département de mathématiques. (contrairement au concours MPI option info où il y a de...

Oula oui la famille n'est pas libre!

On peut faire comme avec le dual $ E^* \equiv L(E,K.u) $ où $ u \in E - \{0_E\} $.

En bijection oui mais en bijection linéaire...? Avec l'axiome du choix: pour un espace E , et une base e: \alpha \rightarrow E de E , la famille des applications linéaires envoyant e sur e \circ \sigma où \sigma est une permutation de \alpha est une famille libre d'éléments de L(E) . Le cardinal de ...