Caractéristiques Formelles

pour e e Mieux maˆ ıtriser le d´roulement d’un projet e Meilleure visibilit´ pour les utilisateurs sur certains r´sultats e e interm´diaires et garantir que le r´sultat final sera celui attendu e e Formalisme d´fini par: e Un langage formel Un langage semi-formel g´n´ralement graphique e e Un langage naturel Fonction : Repr´senter le monde r´el tel qu’il est per¸u par le concepteur e e c Outil de communication entre informaticiens et utilisateurs Constitu´ par un ensemble de mod`les permettant

TI-Nspire CAS rend possible la construction de fonctions ou de programmes très évolués, comme on peut le voir par exemple dans le chapitre 11 sur les séries de Fourier. En particulier, ces programmes pourront utiliser toutes les ressources du calcul formel, tout en étant capables d’interagir avec le contenu d’un écran graphique 1 . Le contenu de ce chapitre décrit l’utilisation de la version 1.4, sortie pendant l’été 2008. Il est important de le préciser car il est probable que la programmation sur

autant dire que tout cela est tr`s calculatoire et que e e e dans cette derni`re question, on n’a pas fait beaucoup de physique ; jadis, on ´tait bien oblig´ de savoir e e e faire ces calculs mais, aujourd’hui, le d´veloppement des logiciels de calcul formel nous affranchit de e cette contrainte. 4 

de l’Abstraction ne fut que le résultat final de la dislocation de la couleur et de la forme, issue du fauvisme puis poursuivi par les cubistes. Le cubisme s’attaque à la représentation de l’espace en perspective en détruisant ces habitudes formelles, en modifiant de façon flagrante les formes de la vie réelle. Il dévoile une réalité fragmentée, une image sous ses différentes facettes. Le fauvisme s’intéresse aux harmonies de couleur vives qui sont altérées par rapport à la réalité et à la

couple qui les accompagne nous offre l’image en miroir de celle de Gaspard. Rohmer a donc tout pensé, tout organisé, de façon à ce que son film soit le plus vraisemblable possible mais empêche le spectateur de s’y identifier, adoptant un langage formel qui crée la distance. Dans son film il insère des éléments qui soulignent sa position politique (le monologue de Margot sur la Polynésie renvoie à une ancienne critique de Rohmer sur un film dont il avait fait une critique marquante) mais aussi des

les autres différentes formes de langage humain comme les langages Dérivés, les langages formels et les langages conventionnels. Ceux-ci sont des objets précédemment imposés par l’homme. Par exemple, le langage des couleurs ; la couleur blanche est associée à la lumière, la bonté et l’innocence, ces concepts sont produits de l’homme qui n’ont aucune relation avec la réalité. Ce qui concerne les langages formels, ils sont utilisés dans le domaine de la science en remplaçant le langage ordinaire par

. . . . . . . . . . . . . . . . . . . . . 4.3 Partiel septembre 2007 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 4 ` TABLE DES MATIERES Chapitre 1 Une introduction et sa suite Maple est un logiciel de calcul formel : il peut traiter des donn´es num´riques (entier, r´els, e e e complexes...) de pr´cision arbitraire et aussi des donn´es symboliques (polynˆmes,expressions...). e e o Ce logiciel est ´galement dot´ de capacit´s graphiques. e e e 1.1 Acc`s e

d’Al-Khwarizmi ne permet pas de trouver la deuxième solution de l’équation. C 1   2 3 4 5 Équation x 2 + 2 x = 15 x 2 + 3 x = 10 x 2 + 4 x = 21 Solution obtenue avec la méthode d’Al-Khwarizmi 3 2 3 Solution(s) obtenue(s) avec un logiciel de calcul formel 3 et –5 2 et –5 3 et –7 Remarque : on peut faire observer aux élèves que cette méthode ne s’applique pas à toutes les équations du second degré : on n’a ici que des équations de la forme x 2 + mx – p = 0, où m et p sont deux nombres positifs. On

qui ont des capacités insuffisantes. Qu’est ce que le calcul formel ? Le calcul formel permet d’effectuer des calculs symboliques (avec des « x »), du type développement, factorisation, résolution de systèmes d'équations, dérivées, intégration, calcul matriciel, ... Le calcul formel est-il souhaitable ? Dans l'état actuel des programmes et de l'épreuve du baccalauréat, il est clair que la bonne maîtrise d'une calculatrice formelle est un atout pour un élève de section scientifique. Voir la

laquelle f ( x) est minimal. Exercice 2 : Soit f la fonction définie sur ℝ – 1 par f ( x)  5 x²  6 x  8 et D la droite passant par les points x 1 A ( 2 ; 0 ) et B ( – 4 ; 32 ) 1) Déterminer une équation de la droite D 2) Un logiciel de calcul formel fournit les renseignements suivants Interpréter graphiquement ces deux résultats. 3) Déterminer, par le calcul, les coordonnées des points d’intersection de Cf et de la droite D Exercice 3 : ABCD est un trapèze rectangle de bases parallèles [AD]