Calcul formel

Université Joseph Fourier - Grenoble 1 Université de Sfax THÈSE pour obtenir le grade de : DOCTEUR DE L’UNIVERSITÉ JOSEPH FOURIER Discipline : INFORMATIQUE Titre : Contribution à une démarche de vérification formelle d’architectures logicielles Présentée et soutenue à Grenoble publiquement par Mohamed GRAIET Le 25 Octobre 2007 Jury : Présidente du jury : Rapporteurs : Examinateurs : Directeurs de thèse : Mlle Marie-Christine Fauvet M. Philippe Aniorté M. Mourad Chabane Oussalah M. Noureddine

! C’est une règle ! La règle de l’octet. - Charge formelle : si, dans une molécule, un atome est entouré de plus (moins) d’électrons que quand il est libre, alors il porte une charge formelle négative (positive). Une paire libre compte pour 2 électrons, une paire liante pour 1 seul. - Règles de construction (par ordre de priorité) : o Respecter la règle de l’octet tant que faire se peut o Faire le maximum de liaison o Eviter les charges formelles trop nombreuses VSEPR : - Les paires électroniques

moins cohérente, plus ou moins vraie, tout dépend du point de vu, et de l’interlocuteur. Nous pouvons donc nous demander si, lorsque l’action de réfléchir est cohérente, est-elle absolument vraie ? Dans un premier temps nous allons voir la vérité formelle, pour ensuite nous pencher sur la vérité réelle. Et dans un dernier temps nous voir l’ensemble de ses deux vérités et les expliquer. Commençons par définir la notion de cohérence. Lorsque quelque chose est cohérent c’est qu’il n’est pas contradictoire

l'Éducation nationale > www.education.gouv.fr 1/10 Bulletin officiel n° 30 du 23 juillet 2009 Utilisation d’outils logiciels L’utilisation de logiciels (calculatrice ou ordinateur), d’outils de visualisation et de représentation, de calcul (numérique ou formel), de simulation, de programmation développe la possibilité d’expérimenter, ouvre largement la dialectique entre l’observation et la démonstration et change profondément la nature de l’enseignement. L’utilisation régulière de ces outils peut

l’outil formation pour permettre l’envoi de convocations formelles - Avant le 15 septembre 2007 o Les RO ont réparti les RU sur les sessions d’octobre o Sessions interégionales (soit 3 RU des régions Paris et Roissy et 2 RU des régions BJ/TJ/Quai et Est+Sud par session) o Avant le 20 septembre, les formateurs ont inscrit les RU concernés sur l’outil formation pour permettre l’envoi de convocations formelles - Au 31 octobre 2007 o Chaque RU est formé

Xcas au lycée Renée De Graeve & Bernard Parisse Université de Grenoble I Xcas, au départ un logiciel de calcul formel, permet aujourd’hui de faire de l’algorithmique, de la géométrie interactive et analytique dans le plan et l’espace et propose un tableur formel, d’où son nom de “couteau suisse des mathématiques”. Il s’agit d’un logiciel libre, disponible sous Windows, Mac OS et Linux, la version à jour se récupère en tapant xcas sur un moteur de recherche ou directement depuis le site de Xcas

mal, il s’agit de faire ce que notre devoir exige. Ce qui est nettement plus facile à comprendre. Immédiatement. Le devoir s’impose sans autre justification que lui-même. Il s’agit d’obéir à son injonction et non de vouloir comprendre ou tenter de calculer.  Il s’impose comme un impératif catégorique, (texte) forme qui se traduit par le « tu dois ! » Dès que je commence à discuter, si par exemple je demande « pourquoi faut-il être honnête ? », je suis déjà du côté de la recherche de l’intérêt. Implicitement

scientifique : 1) un certain retour au fondamental, 2) ancré sur une pratique expérimentale nettement affirmée, 3) et sur la mise en place d’une pédagogie du questionnement. Coupler la pratique expérimentale au retour au fondamental évite une présentation formelle de la discipline. Fonder la pratique expérimentale sur une pédagogie du questionnement évite de réduire l’expérimental à une simple gestuelle. Le questionnement appliqué aux notions fondamentales de la discipline permet de mettre l’accent sur la

les uns par rapport aux autres, l’atome le moins électronégatif est souvent au centre (mais pas toujours) 2. calculer le nombre total d’électrons de valence de la molécule, noté y 3. distribuer le nombre y d’électrons sous forme de doublets de façon à représenter toutes les liaisons simples possibles entre les atomes, le nombre d’électrons consommés dans ces liaisons est noté x 4. calculer le nombre de doublets électroniques qui reste après l’étape 3. C’est (y-x)/2, et distribuer ce nombre d’électrons

arithmétiques, par priorité décroissante : (1) - unaire, (2) ** puissance, (3) * et /, (4) + et -. En cas de calcul entre deux entiers, le résultat est entier. Dès qu'il y a au moins un réel, le résultat est réel. Dès qu'il y a un double précision, le résultat est double précision. les constantes : 1 (entier ), 100.0 ou 1E2 (réel), 1D0 (double précision) • petit programme (premprog.f) • • • • program calcul entête implicit none pour plus de sécurité, nous refusons integer nb les déclarations implicites