Bonjour tous le monde,
Tout est dans le titre, pour le calcul numerique je comprends comment les logiciels fonctionne en générel (Echantillonage, itérations....) mais par contre pour du calcul formel je ne comprends pas du tout.
Pourriez vous m'expliquer un peu?
Salut !
il y a pas grand chose à en dire :
les expressions formelle sont représenté par des arbres, et après il faut programmer tous un tas de fonction (récursive) qui manipule ces expressions pour les simplifier/faire ce que veut faire l'utilisateur dessus.
par exemple l'expression a+b est représenté par un arbre ayant + comme racine, avec deux sommet en dessous de lui : a et b.
et quand tu veux simplifier l'expression, tu commence par simplifier a, puis b, puis tester si tu es dans un cas ou tu peut simplifier le + : si a ou b est nul ou si b= -a ou pas...
Apres, bah.. ca fonctionne comme toiIls ont en memoire une liste de données de base (primitives usuelles, ..) et de regles (derivation de fonction composée, resolution d'equation de degré 2, PGCD, etc..). Comme le dit Ksilver, ils decoupent chaque expression en morceaux plus simples, et ils appliquent ces règles à ces morceaux.
d'accord, il doit y avoir alors un sacré paquet de formules programmé !
merci en tout cas de votre aide
Ca ne se résume quand même pas à une liste de règles simples, il y a aussi des tas d'algorithmes de calcul formel tout à fait élaborés et subtils, que notre cerveau n'emploie pas quand on fait les calculs "à la main".
Bonsoir,
il me semble qu'à l'origine c'était programmé en LISP.
http://fr.wikipedia.org/wiki/Common_Lisp.
La première version de Derive l'était.
Derive c'est ce qui tourne sur une TI89.
http://education.ti.com/educationpor...r_derive6.html
JR
l'électronique c'est pas du vaudou!
merci tous pour vos info
A+
Telchar> Oui, bien sur, mais en un sens c'est le "niveau au dessus", il y a :
- l'aspect "automatique" :faire des choses qu'on sait faire a la main mais qu'on a la flemme de faire ou qu'on veut verifier, ou pour tester des trucs
- des algorithmes plus elaborés qui sont "par essence" des outils purement informatiques (bien qu'ils soient des traductions de resultats mathématiques malgré tout)
Je concede que c'est une vision simplifiée
L'information importante etant que la plupart des methodes qu'on apprend (moins à partir d'un certain niveau, mais quand meme) ont une dimension "mecanique" qui fait qu'elles peuvent etre appliquées par un ordinateur. Une fois qu'on comprends, comme l'a expliqué Ksilver, qu'un ordinateur peut manipuler des expressions symboliques (a,,
merci pour ces info complementairesEnvoyé par jobherzt
Telchar> Oui, bien sur, mais en un sens c'est le "niveau au dessus", il y a :
- l'aspect "automatique" :faire des choses qu'on sait faire a la main mais qu'on a la flemme de faire ou qu'on veut verifier, ou pour tester des trucs
- des algorithmes plus elaborés qui sont "par essence" des outils purement informatiques (bien qu'ils soient des traductions de resultats mathématiques malgré tout)
Je concede que c'est une vision simplifiée
L'information importante etant que la plupart des methodes qu'on apprend (moins à partir d'un certain niveau, mais quand meme) ont une dimension "mecanique" qui fait qu'elles peuvent etre appliquées par un ordinateur. Une fois qu'on comprends, comme l'a expliqué Ksilver, qu'un ordinateur peut manipuler des expressions symboliques (a,
A+
L'intérêt du LISP était d'être l'un des premiers langages qui permettait l'appel récursif, et que sa structure se prêtait bien à des démarches d'intelligence artificielle, comme le calcul formel.
Par contre la programmation était assez absconse, si je me souviens bien, avec un tas de parenthèses.
merci pour ces complements
