La recherche a retourné 57 résultats

par tsukiyumio
10 mars 2020 22:40
Forum : Mathématiques
Sujet : Application calcul des prédicats
Réponses : 0
Vues : 790

Application calcul des prédicats

Bonjour,

Est-ce que quelqu'un ici connaît plusieurs applications pertinentes du calcul des prédicats dans le domaine informatique ? Je sais intuitivement que c'est utile mais j'ai besoin d'exemples concrets pour convaincre un ami à se motiver un peu plus pour étudier sur le sujet. Merci
par tsukiyumio
10 janv. 2020 10:11
Forum : Mathématiques
Sujet : Un autre chemin
Réponses : 6
Vues : 1032

Re: Un autre chemin

tsukiyumio a écrit :
10 janv. 2020 07:11
Pour une passion, par contre il y a des sources concernant l'algèbre aussi ? ce serait apprécié
par tsukiyumio
10 janv. 2020 07:11
Forum : Mathématiques
Sujet : Un autre chemin
Réponses : 6
Vues : 1032

Re: Un autre chemin

Pour une passion
par tsukiyumio
09 janv. 2020 22:55
Forum : Mathématiques
Sujet : Un autre chemin
Réponses : 6
Vues : 1032

Un autre chemin

Bonjour, J’ai fini ma MP l’année dernière et j’ai intégré une école d’ingénieur par la suite. Cependant j’aime bien les maths et je veux bien continuer à en apprendre indépendamment de l’école c’est pour cela que je vous demande si vous avez des pistes (livre, site internet,etc...) qui permettent de...
par tsukiyumio
14 mars 2019 20:24
Forum : Mathématiques
Sujet : Normes équivalents
Réponses : 4
Vues : 861

Re: Normes équivalents

avec un peu plus de détails si possible ?
par tsukiyumio
14 mars 2019 19:57
Forum : Mathématiques
Sujet : Normes équivalents
Réponses : 4
Vues : 861

Normes équivalents

Bonjour,

Je sais que sur $ R^n, ||X||_{1} \leq n||X||_{\infty} $, mais comment justifier que n est le plus petit ?
par tsukiyumio
26 févr. 2019 12:57
Forum : Mathématiques
Sujet : Espace euclidien
Réponses : 12
Vues : 1191

Espace euclidien

Bonjour, pouvez-vous m'aider ? Soit E un espace euclidien. Soit (a1,a2,...,ap) un simplexe de E ( c-a-d un ensemble où la distance entre 2 points est la même). On note g le point barycentre de ce simplexe Montrer que (g-a0) est orthogonal à Vect(a2-a1,a3-a1,.....ap-1) J'ai fait le problème mais est-...
par tsukiyumio
09 févr. 2019 12:55
Forum : Mathématiques
Sujet : Espace vectoriel
Réponses : 2
Vues : 833

Espace vectoriel

Bonjour,

Rassurez-moi, un espace vectoriel non nécessairement de dimension finie peut-il être la somme directe de deux sous-espaces vectoriels de dimension finies ?
par tsukiyumio
25 janv. 2019 14:23
Forum : Mathématiques
Sujet : Implication
Réponses : 3
Vues : 625

Re: Implication

ok :D
par tsukiyumio
24 janv. 2019 22:27
Forum : Mathématiques
Sujet : Application
Réponses : 1
Vues : 404

Application

Bonsoir, Soit \phi une application de classe C^2 de R dans R, vérifiant pout tout réels t et t' : \phi(\frac{t+t'}{2})\leq\frac{1}{2}(\phi(t)+\phi(t')) Question : en étudiant la limite, lorsque h tend vers 0+ de \frac{\phi(u+h)+\phi(u-h)-2\phi(u)}{h^2} , établit que \phi' est croissante au sens larg...