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
La recherche a retourné 57 résultats
Aller sur la recherche avancée
- 10 mars 2020 22:40
- Forum : Mathématiques
- Sujet : Application calcul des prédicats
- Réponses : 0
- Vues : 790
- 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:11Pour une passion, par contre il y a des sources concernant l'algèbre aussi ? ce serait apprécié
- 10 janv. 2020 07:11
- Forum : Mathématiques
- Sujet : Un autre chemin
- Réponses : 6
- Vues : 1032
Re: Un autre chemin
Pour une passion
- 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...
- 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 ?
- 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 ?
Je sais que sur $ R^n, ||X||_{1} \leq n||X||_{\infty} $, mais comment justifier que n est le plus petit ?
- 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-...
- 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 ?
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 ?
- 25 janv. 2019 14:23
- Forum : Mathématiques
- Sujet : Implication
- Réponses : 3
- Vues : 625
- 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...