Langages formels Corrigé Laboratoire La grammaire ne génère pas le mot-vide, on peut donc la transformer sous la forme normale de Chomsky.

Dimension: px
Commencer à balayer dès la page:

Download "Langages formels Corrigé Laboratoire La grammaire ne génère pas le mot-vide, on peut donc la transformer sous la forme normale de Chomsky."

Transcription

1 Langages formels Corrigé Laboratoire 6 Exercice 1 a) 1. La grammaire ne peut pas être simplifée daantage. 2. La grammaire ne génère pas le mot-ide, on peut donc la transformer sous - Les symboles A et C sont nullables. On peut donc transformer la grammaire en éliminant toutes les règles de production immédiates et en modifiant les autres règles ainsi : C A aab D aa a B 4. Éliminer les règles de production unitaires (V 1 V 2 ) - La règle de production C A peut être éliminée de la grammaire en C aa a aab D aa a B - La règle de production D B peut être éliminée de la grammaire en C aa a aab D aa a Ab b 5. Modifier les règles qui contiennent des symboles ariables et des symboles - Cette grammaire contient deux symboles terminaux. On ajoutera donc les symbole ariable T a et T b, ainsi que les règles de production T a --> a et T b --> b, puis on peut modifier les autres règles en conséquence : A T a A a B AT b b C T a A a T a T a B D T a A a AT b b 6. Modifier les règles du type V V 1 V 2 V 3 pour les remplacer par des règles ne contenant que 2 symboles ariables du côté droit : - Pour effectuer cette transformation, prendre chacune de ces règles à modifier et ajouter un symbole X i pour que la règle deienne : V V 1 X i,

2 puis créer une nouelle règle X i V 2 V 3 Appliquer cette transformation à chaque règle, incluant les règles partant de X i nouellement ajoutée, jusqu à ce que chacune des règles de production de la grammaire soit sous la forme V VV, ou V t. S AX 1 BX 2 AX 3 BD A T a A a B AT b b C T a A a T a X 4 D T a A a AT b b X 1 BX 2 X 2 CD X 2 BD X 4 T a B b) 1. Simplifier la grammaire : - C est un symbole inutile car il ne mène pas à un mot-terminal. - On peut éliminer toutes les règles qui contiennent le symbole C, ce qui donne : S assb a, A AAB B, B a ε - A est maintenant inutile car on ne peut plus l'atteindre à partir de S. En l'enleant, la grammaire deient : S assb a, B a ε 2. La grammaire ne génère pas le mot-ide, on peut donc la transformer sous - Les symboles B et A sont nullables. On peut donc transformer la grammaire en éliminant toutes les règles de production immédiates et en modifiant les autres règles ainsi : S assa ass a, A AAB AB A B, B a - La règle de production A A est isiblement inutile, on peut l éliminer également. 4. Éliminer les règles de production unitaires (V V) : - La règle de production A B peut être éliminée de la grammaire en S assb ass a, B a 5. Modifier les règles qui contiennent des symboles ariables et des symboles

3 Cette grammaire ne contient qu un seul symbole terminal. On ajoutera donc le symbole ariable T a, ainsi que la règle de production, puis on peut modifier les autres règles en conséquence : S T a SSB T a SS a, B a, 6. Modifier les règles du type V V 1 V 2 V 3 pour des règles ne contenant que 2 symboles ariables du côté droit : - Pour effectuer cette transformation, prendre chacune de ces règles et ajouter un symbole X i qui afin que la règle deienne : V V 1 X i, puis créer une nouelle règle X i V 2 V 3 Appliquer cette transformation à chaque règle, incluant les règles partant de X i nouellement ajoutée, jusqu à ce que chacune des règles de production de la grammaire soit sous la forme V VV, ou V t. S T a X 1 T a X 3 a, B a,, X 1 SX 2, X 2 SA, X 3 SS c) 1. Simplifier la grammaire : - D est un symbole inutile car il ne mène pas à un mot-terminal. - On peut éliminer toutes les règles qui contiennent le symbole D, ce qui donne : S abcb Bb, B abb C, C aa abb ε 2. La grammaire ne génère pas le mot-ide, on peut donc la transformer sous - Les symboles B et C sont nullables. On peut donc transformer la grammaire en éliminant toutes les règles de production immédiates et en modifiant les autres règles ainsi : S abcb acb abb ab Bb b, B abb ab C, C aa abb ab a 4. Éliminer les règles de production unitaires (V V) : - La règle de production B C peut être éliminée de la grammaire en S abcb acb abb ab Bb b, B abb ab aa abb ab a, C aa abb ab a

4 5. Modifier les règles qui contiennent des symboles ariables et des symboles Cette grammaire contient deux symboles terminaux. On ajoutera donc les symbole ariable T a et T b, ainsi que les règles de production T a --> a et T b --> b, puis on peut modifier les autres règles en conséquence : S T a BCT b T a CT b T a BT b T a T b BT b b, B T a T b B T a T b T a T a T a BB T a B a, C T a T a T a BB T a B a 6. Modifier les règles du type V V 1 V 2 V 3 pour des règles ne contenant que 2 symboles ariables du côté droit : - Pour effectuer cette transformation, prendre chacune de ces règles et ajouter un symbole X i qui afin que la règle deienne : V V 1 X i, puis créer une nouelle règle X i V 2 V 3 Appliquer cette transformation à chaque règle, incluant les règles partant de X i nouellement ajoutée, jusqu à ce que chacune des règles de production de la grammaire soit sous la forme V VV, ou V t. S T a X 1 T a X 2 T a X 3 T a T b BT b b, B T a X 4 T a T b T a T a T a X 5 T a B a, C T a T a T a X 5 T a B a, X 1 BX 2 X 2 CT b, X 3 BT b, X 4 T b B X 5 BB Exercice 2 a) Soit z = a 2p b p+3 ; z є L 31, p : seuil de pompage, z > p. Si i change, on n'a plus #a = 2n et #b = n+3, donc le mot généré ne fait pas partie du langage. u > p Comme toutes les décompositions possibles de z en uw mènent à une, le langage n'est pas régulier.

5 b) Soit z = a p+1 b 2p ; z є L 32, p : seuil de pompage, z p. Si i = 0, m = n donc le mot généré ne fait pas partie du langage. u > p Comme toutes les décompositions possibles de z en uw mènent à une, le langage n'est pas régulier. c) Soit z = a p b p ; z є L 33, p : seuil de pompage, z p. Si i change, on n'a plus #a = #b, donc le mot généré ne fait pas partie du langage. u > p Comme toutes les décompositions possibles de z en uw mènent à une, le langage n'est pas régulier. d) Soit m = a s ; m є L 31, s : premier nombre premier > p+1, p : seuil de pompage, m p. Par définition, si le langage est régulier, alors il existe une décomposition en uw de chaque mot du langage dont la taille est au moins égale à p. À partir de cette décomposition, chaque mot de la forme u i w doit aussi faire partie du langage, pour tout i 0. Supposons que u = x, = y et w = z, aec y 1. (Note : Ceci représente toutes les décompositions possibles de m en uw.) La taille des mots générés par les différentes aleurs de i est x + i*y + z = (x+z) + i*y. Soit le mot m' pour lequel i = x + z. On a s' = m' = (x+z) + (x+z)*y = (x+z) * (1+y). Comme y 1 et (x+z) > 1, on a donc troué une factorisation de s' différente de 1 * s', donc s' n'est pas premier et m' ne fait pas partie du langage. Comme toutes les décompositions possibles de z en uw mènent à une, le langage n'est pas régulier.

CH.6 Propriétés des langages non contextuels

CH.6 Propriétés des langages non contextuels CH.6 Propriétés des langages non contetuels 6.1 Le lemme de pompage 6.2 Les propriétés de fermeture 6.3 Les problèmes de décidabilité 6.4 Les langages non contetuels déterministes utomates ch6 1 6.1 Le

Plus en détail

Théorie des Langages

Théorie des Langages Théorie des Langages Analyse syntaxique descendante Claude Moulin Université de Technologie de Compiègne Printemps 2010 Sommaire 1 Principe 2 Premiers 3 Suivants 4 Analyse 5 Grammaire LL(1) Exemple : Grammaire

Plus en détail

INFORMATIONS DIVERSES

INFORMATIONS DIVERSES Nom de l'adhérent : N d'adhérent :.. INFORMATIONS DIVERSES Rubrique Nom de la personne à contacter AD Date de début exercice N BA Date de fin exercice N BB Date d'arrêté provisoire BC DECLARATION RECTIFICATIVE

Plus en détail

Exercices - Fonctions de plusieurs variables : corrigé. Pour commencer

Exercices - Fonctions de plusieurs variables : corrigé. Pour commencer Pour commencer Exercice 1 - Ensembles de définition - Première année - 1. Le logarithme est défini si x + y > 0. On trouve donc le demi-plan supérieur délimité par la droite d équation x + y = 0.. 1 xy

Plus en détail

Calcul matriciel. Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes.

Calcul matriciel. Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes. 1 Définitions, notations Calcul matriciel Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes. On utilise aussi la notation m n pour le

Plus en détail

Vecteurs. I Translation. 1. Définition :

Vecteurs. I Translation. 1. Définition : Vecteurs I Translation Soit A et B deux points du plan. On appelle translation qui transforme A en B la transformation du plan qui a tout point M associe le point M tel que [AM ] et [BM] aient le même

Plus en détail

MATHÉMATIQUES. Les préalables pour l algèbre MAT-P020-1 DÉFINITION DU DOMAINE D EXAMEN

MATHÉMATIQUES. Les préalables pour l algèbre MAT-P020-1 DÉFINITION DU DOMAINE D EXAMEN MATHÉMATIQUES Les préalables pour l algèbre MAT-P020-1 DÉFINITION DU DOMAINE D EXAMEN Mars 2001 MATHÉMATIQUES Les préalables pour l algèbre MAT-P020-1 DÉFINITION DU DOMAINE D EXAMEN Mars 2001 Direction

Plus en détail

Exercices - Polynômes : corrigé. Opérations sur les polynômes

Exercices - Polynômes : corrigé. Opérations sur les polynômes Opérations sur les polynômes Exercice 1 - Carré - L1/Math Sup - Si P = Q est le carré d un polynôme, alors Q est nécessairement de degré, et son coefficient dominant est égal à 1. On peut donc écrire Q(X)

Plus en détail

L AIDE AUX ATELIERS D ARTISTES :

L AIDE AUX ATELIERS D ARTISTES : RAPPORT DAVID LANGLOIS-MALLET SOUS LA COORDINATION DE CORINNE RUFET, CONSEILLERE REGIONALE D ILE DE FRANCE L AIDE AUX ATELIERS D ARTISTES : PROBLÉMATIQUES INDIVIDUELLES, SOLUTIONS COLLECTIVES? DE L ATELIER-LOGEMENT

Plus en détail

Algèbre binaire et Circuits logiques (2007-2008)

Algèbre binaire et Circuits logiques (2007-2008) Université Mohammed V Faculté des Sciences Département de Mathématiques et Informatique Filière : SMI Algèbre binaire et Circuits logiques (27-28) Prof. Abdelhakim El Imrani Plan. Algèbre de Boole 2. Circuits

Plus en détail

ADMINISTRATION ET MAINTENANCE DE RESEAUX SOUS LOGICIEL PROPRIETAIRE

ADMINISTRATION ET MAINTENANCE DE RESEAUX SOUS LOGICIEL PROPRIETAIRE MINISTERE DE LA COMMUNAUTE FRANCAISE ADMINISTRATION GENERALE DE L ENSEIGNEMENT ET DE LA RECHERCHE SCIENTIFIQUE ENSEIGNEMENT DE PROMOTION SOCIALE DE REGIME 1 DOSSIER PEDAGOGIQUE UNITE DE FORMATION ADMINISTRATION

Plus en détail

DE L ALGORITHME AU PROGRAMME INTRO AU LANGAGE C 51

DE L ALGORITHME AU PROGRAMME INTRO AU LANGAGE C 51 DE L ALGORITHME AU PROGRAMME INTRO AU LANGAGE C 51 PLAN DU COURS Introduction au langage C Notions de compilation Variables, types, constantes, tableaux, opérateurs Entrées sorties de base Structures de

Plus en détail

Étude des formes de pratiques de la gymnastique sportive enseignées en EPS à l école primaire

Étude des formes de pratiques de la gymnastique sportive enseignées en EPS à l école primaire Étude des formes de pratiques de la gymnastique sportive enseignées en EPS à l école primaire Stéphanie Demonchaux To cite this version: Stéphanie Demonchaux. Étude des formes de pratiques de la gymnastique

Plus en détail

Structures algébriques

Structures algébriques Structures algébriques 1. Lois de composition s Soit E un ensemble. Une loi de composition interne sur E est une application de E E dans E. Soient E et F deux ensembles. Une loi de composition externe

Plus en détail

Géométrie dans l espace Produit scalaire et équations

Géométrie dans l espace Produit scalaire et équations Chapitre 11. 2ème partie Géométrie dans l espace Produit scalaire et équations Terminale S Ce que dit le programme : CONTENUS CAPACITÉS ATTENDUES COMMENTAIRES 2ème partie Produit scalaire Produit scalaire

Plus en détail

Exo7. Calculs de déterminants. Fiche corrigée par Arnaud Bodin. Exercice 1 Calculer les déterminants des matrices suivantes : Exercice 2.

Exo7. Calculs de déterminants. Fiche corrigée par Arnaud Bodin. Exercice 1 Calculer les déterminants des matrices suivantes : Exercice 2. Eo7 Calculs de déterminants Fiche corrigée par Arnaud Bodin Eercice Calculer les déterminants des matrices suivantes : Correction Vidéo ( ) 0 6 7 3 4 5 8 4 5 6 0 3 4 5 5 6 7 0 3 5 4 3 0 3 0 0 3 0 0 0 3

Plus en détail

Pour l épreuve d algèbre, les calculatrices sont interdites.

Pour l épreuve d algèbre, les calculatrices sont interdites. Les pages qui suivent comportent, à titre d exemples, les questions d algèbre depuis juillet 003 jusqu à juillet 015, avec leurs solutions. Pour l épreuve d algèbre, les calculatrices sont interdites.

Plus en détail

Résolution de systèmes linéaires par des méthodes directes

Résolution de systèmes linéaires par des méthodes directes Résolution de systèmes linéaires par des méthodes directes J. Erhel Janvier 2014 1 Inverse d une matrice carrée et systèmes linéaires Ce paragraphe a pour objet les matrices carrées et les systèmes linéaires.

Plus en détail

Erreur statique. Chapitre 6. 6.1 Définition

Erreur statique. Chapitre 6. 6.1 Définition Chapitre 6 Erreur statique On considère ici le troisième paramètre de design, soit l erreur statique. L erreur statique est la différence entre l entrée et la sortie d un système lorsque t pour une entrée

Plus en détail

Maintenabilité d un parc applicatif

Maintenabilité d un parc applicatif 1 Maintenabilité d un parc applicatif Une méthode pour évaluer les charges de maintenance 13/06/01 Jean-François Bailliot 2 Maintenabilité d un parc applicatif Maintenance / Développement importance relative

Plus en détail

1 radian. De même, la longueur d un arc de cercle de rayon R et dont l angle au centre a pour mesure α radians est α R. R AB =R.

1 radian. De même, la longueur d un arc de cercle de rayon R et dont l angle au centre a pour mesure α radians est α R. R AB =R. Angles orientés Trigonométrie I. Préliminaires. Le radian Définition B R AB =R C O radian R A Soit C un cercle de centre O. Dire que l angle géométrique AOB a pour mesure radian signifie que la longueur

Plus en détail

SIGNAUX NUMERIQUES ET MODULATIONS NUMERIQUES

SIGNAUX NUMERIQUES ET MODULATIONS NUMERIQUES SIGNAUX NUMERIQUES ET MODULATIONS NUMERIQUES ----------------------------------------------------------------------------------------------------------------- LES SIGNAUX NUMERIQUES Un signal numérique

Plus en détail

Exercice 6 Associer chaque expression de gauche à sa forme réduite (à droite) :

Exercice 6 Associer chaque expression de gauche à sa forme réduite (à droite) : Eercice a Développer les epressions suivantes : A-(-) - + B-0(3 ²+3-0) -0 3²+-0 3+00 B -30²-30+00 C-3(-) -3 + 3-3²+6 D-(-) + ² Eerciceb Parmi les epressions suivantes, lesquelles sont sous forme réduite?

Plus en détail

Les archives. On conserve ces documents pour faire des recherches historiques, administratives ou généalogiques.

Les archives. On conserve ces documents pour faire des recherches historiques, administratives ou généalogiques. Les archives Les Archives sont : les documents les administrations qui conservent ces documents les bâtiments dans lesquels sont conservés les documents. Tous les documents produits par les services municipaux

Plus en détail

Les BRMS Business Rules Management System. Groupe GENITECH

Les BRMS Business Rules Management System. Groupe GENITECH Les BRMS Business Rules Management System 1 Présentations Emmanuel Bonnet ebonnet (at) genigraph.fr Responsable Dpt Conseil Consultant, Expert BRMS Formateur IBM/Ilog JRules / JBoss Rules Génigraph SSII

Plus en détail

Coefficients binomiaux

Coefficients binomiaux Probabilités L2 Exercices Chapitre 2 Coefficients binomiaux 1 ( ) On appelle chemin une suite de segments de longueur 1, dirigés soit vers le haut, soit vers la droite 1 Dénombrer tous les chemins allant

Plus en détail

DOCM 2013 http://docm.math.ca/ Solutions officielles. 1 2 10 + 1 2 9 + 1 2 8 = n 2 10.

DOCM 2013 http://docm.math.ca/ Solutions officielles. 1 2 10 + 1 2 9 + 1 2 8 = n 2 10. A1 Trouvez l entier positif n qui satisfait l équation suivante: Solution 1 2 10 + 1 2 9 + 1 2 8 = n 2 10. En additionnant les termes du côté gauche de l équation en les mettant sur le même dénominateur

Plus en détail

Votre Réseau est-il prêt?

Votre Réseau est-il prêt? Adapter les Infrastructures à la Convergence Voix Données Votre Réseau est-il prêt? Conférence IDG Communications Joseph SAOUMA Responsable Offre ToIP Rappel - Définition Voix sur IP (VoIP) Technologie

Plus en détail

EQUIPEMENTS ELECTRONIQUES : MAINTENANCE

EQUIPEMENTS ELECTRONIQUES : MAINTENANCE MINISTERE DE LA COMMUNAUTE FRANCAISE ADMINISTRATION GENERALE DE L ENSEIGNEMENT ET DE LA RECHERCHE SCIENTIFIQUE ENSEIGNEMENT DE PROMOTION SOCIALE DE REGIME 1 DOSSIER PEDAGOGIQUE UNITE DE FORMATION EQUIPEMENTS

Plus en détail

L examen des recettes lors du contrôle budgétaire d une collectivité territoriale en France. Séminaire Eurorai Alicante 23 avril 2010 1

L examen des recettes lors du contrôle budgétaire d une collectivité territoriale en France. Séminaire Eurorai Alicante 23 avril 2010 1 L examen des recettes lors du contrôle budgétaire d une collectivité territoriale en France 1 Plan de l exposé 1ère partie : Présentation Le contrôle budgétaire, Méthodologie du contrôle et ses suites,

Plus en détail

Note de cours. Introduction à Excel 2007

Note de cours. Introduction à Excel 2007 Note de cours Introduction à Excel 2007 par Armande Pinette Cégep du Vieux Montréal Excel 2007 Page: 2 de 47 Table des matières Comment aller chercher un document sur CVMVirtuel?... 8 Souris... 8 Clavier

Plus en détail

Dérivation : Résumé de cours et méthodes

Dérivation : Résumé de cours et méthodes Dérivation : Résumé de cours et métodes Nombre dérivé - Fonction dérivée : DÉFINITION (a + ) (a) Etant donné est une onction déinie sur un intervalle I contenant le réel a, est dérivable en a si tend vers

Plus en détail

VOTRE GUIDE. Votre nouveau moyen de paiement sur mobile

VOTRE GUIDE. Votre nouveau moyen de paiement sur mobile VOTRE GUIDE Votre nouveau moyen de paiement sur mobile GUIDE D UTILISATION Votre application bancaire V O T R E G U I D E Vous venez de recevoir votre code personnel vous permettant d activer votre application

Plus en détail

Cours Premier semestre

Cours Premier semestre C.Belleudy, D.Gaffé Université de Nice-Sophia Antipolis DEUG Première année SM,MP,MI UECS EEA Électronique Numérique Cours Premier semestre C. Belleudy, D.Gaffé version 3. 2 Électronique Numérique Chapitre

Plus en détail

Documentation d information technique spécifique Education. PGI Open Line PRO

Documentation d information technique spécifique Education. PGI Open Line PRO Documentation d information technique spécifique Education PGI Open Line PRO EBP Informatique SA Rue de Cutesson - ZA du Bel Air BP 95 78513 Rambouillet Cedex www.ebp.com Equipe Education : 01 34 94 83

Plus en détail

Aide - mémoire gnuplot 4.0

Aide - mémoire gnuplot 4.0 Aide - mémoire gnuplot 4.0 Nicolas Kielbasiewicz 20 juin 2008 L objet de cet aide-mémoire est de présenter les commandes de base pour faire rapidement de très jolis graphiques et courbes à l aide du logiciel

Plus en détail

Modalités d inscription, de progression et de validation en licence et master : de l UFR ALLSH

Modalités d inscription, de progression et de validation en licence et master : de l UFR ALLSH Modalités d inscription, de progression et de validation en licence et master : de l UFR ALLSH I) Cadrage général applicable à toute formation de Licence ou de Master de l Université d Aix-Marseille 1.

Plus en détail

La circulation méconnue de l épargne règlementée en France!

La circulation méconnue de l épargne règlementée en France! La circulation méconnue de l épargne règlementée en France! P. Bouché, E. Decoster et L. Halbert (Université Paris Est, LATTS)! Institut du Monde Arabe, Paris, Rencontres du Fonds d Épargne 31 Mars 2015

Plus en détail

Séminaires Paris le 14 et 15 mars 2007 Grenoble le 21 et 22 Mars 2007

Séminaires Paris le 14 et 15 mars 2007 Grenoble le 21 et 22 Mars 2007 BTS technico- Séminaires Paris le 14 et 15 mars 2007 Grenoble le 21 et 22 Mars 2007 BTS technico- Présentation des nouvelles épreuves : E3 Environnement économique et juridique E4 Négociation technico-e

Plus en détail

Logique binaire. Aujourd'hui, l'algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques.

Logique binaire. Aujourd'hui, l'algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques. Logique binaire I. L'algèbre de Boole L'algèbre de Boole est la partie des mathématiques, de la logique et de l'électronique qui s'intéresse aux opérations et aux fonctions sur les variables logiques.

Plus en détail

F7n COUP DE BOURSE, NOMBRE DÉRIVÉ

F7n COUP DE BOURSE, NOMBRE DÉRIVÉ Auteur : S.& S. Etienne F7n COUP DE BOURSE, NOMBRE DÉRIVÉ TI-Nspire CAS Mots-clés : représentation graphique, fonction dérivée, nombre dérivé, pente, tableau de valeurs, maximum, minimum. Fichiers associés

Plus en détail

2. CONSTRUIRE LE CONCEPT DE. la dialectique enseigner / apprendre

2. CONSTRUIRE LE CONCEPT DE. la dialectique enseigner / apprendre 2. CONSTRUIRE LE CONCEPT DE NOMBRE, OUI MAIS COMMENT? la dialectique enseigner / apprendre 1 un modèle d'apprentissage : Piaget psychologie du développement sujet milieu (d'apprentissage) équilibre élément

Plus en détail

FENÊTRES: CORONA CT- 70 AS

FENÊTRES: CORONA CT- 70 AS FENÊTRES: CORONA CT- 70 AS produits 1 produits 2 produits 3 Pour le rapport complet des caractéristiques, se référer aux rapports ITT suivants : IFT 101 26795 IFT 201 27361 dimensions h max =1514 mm 1814

Plus en détail

Le théorème de Thalès et sa réciproque

Le théorème de Thalès et sa réciproque Le théorème de Thalès et sa réciproque I) Agrandissement et Réduction d une figure 1) Définition : Lorsque toutes les longueurs d une figure F sont multipliées par un même nombre k on obtient une autre

Plus en détail

De même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que

De même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que Introduction. On suppose connus les ensembles N (des entiers naturels), Z des entiers relatifs et Q (des nombres rationnels). On s est rendu compte, depuis l antiquité, que l on ne peut pas tout mesurer

Plus en détail

NOUVELLE CONVENTION D ASSURANCE CHÔMAGE

NOUVELLE CONVENTION D ASSURANCE CHÔMAGE IMPACT de la NOUVELLE CONVENTION D ASSURANCE CHÔMAGE MAI 2014 Page 1 sur 26 1. Impact global Issues de l accord signé en mars 2014 et valables pour 2 ans, les nouvelles règles d Assurance chômage ont été

Plus en détail

201-105-RE SOLUTIONS CHAPITRE 1

201-105-RE SOLUTIONS CHAPITRE 1 Chapitre1 Matrices 1 201-105-RE SOLUTIONS CHAPITRE 1 EXERCICES 1.2 1. a) 1 3 Ë3 7 3 2 Ë 1 16 pas défini d) 16 30 17 3 e) Ë 7 68 22 16 13 Ë 5 18 6 2. a) 0 4 4 4 0 4 Ë4 4 0 Ë 0 4 32 4 4 0 4 32 32 4 0 4 4

Plus en détail

Probabilités sur un univers fini

Probabilités sur un univers fini [http://mp.cpgedupuydelome.fr] édité le 7 août 204 Enoncés Probabilités sur un univers fini Evènements et langage ensembliste A quelle condition sur (a, b, c, d) ]0, [ 4 existe-t-il une probabilité P sur

Plus en détail

ANNUITES. Les annuités définissent une suite de versements identiques ou non effectués à intervalles de temps égaux. -annuités non constantes

ANNUITES. Les annuités définissent une suite de versements identiques ou non effectués à intervalles de temps égaux. -annuités non constantes ANNUITES I Notions d annuités a.définition Les annuités définissent une suite de versements identiques ou non effectués à intervalles de temps égaux. Le processus de versements dépend du montant de l annuité,

Plus en détail

Bougez, protégez votre liberté!

Bougez, protégez votre liberté! > F a Bgz, pégz v bé! www.a-. CAT.ELB.a240215 - Cé ph : Fa Daz à v p aé N az p a v gâh a v! Aj h, p g évq v ; Pa, p 4 aça q, v, éq qaé v. Ca ax é ç, b pa évé ax p âgé a h a p j. E pè v, h pa épagé. Pa

Plus en détail

IFT1215 Introduction aux systèmes informatiques

IFT1215 Introduction aux systèmes informatiques Introduction aux circuits logiques de base IFT25 Architecture en couches Niveau 5 Niveau 4 Niveau 3 Niveau 2 Niveau Niveau Couche des langages d application Traduction (compilateur) Couche du langage d

Plus en détail

Université de Sherbrooke, Département d informatique

Université de Sherbrooke, Département d informatique Université de Sherbrooke, Département d informatique IGL501 : Méthodes formelles en génie logiciel, Examen périodique Professeur : Marc Frappier, mardi 7 octobre 2013, 15h30 à 18h20, local D4-2022 Documentation

Plus en détail

COMMUNIQUE DE PRESSE

COMMUNIQUE DE PRESSE NE PAS DIFFUSER AUX ETATS-UNIS D AMERIQUE COMMUNIQUE DE PRESSE Paris, le 4 juin 2007 LANCE LA SECONDE TITRISATION DE RISQUE D ASSURANCE AUTOMOBILE SUR UN PORTEFEUILLE PANEUROPEEN annonce le lancement de

Plus en détail

Polynômes à plusieurs variables. Résultant

Polynômes à plusieurs variables. Résultant Polynômes à plusieurs variables. Résultant Christophe Ritzenthaler 1 Relations coefficients-racines. Polynômes symétriques Issu de [MS] et de [Goz]. Soit A un anneau intègre. Définition 1.1. Soit a A \

Plus en détail

Statistiques Exercice 2012

Statistiques Exercice 2012 Statistiques Exercice 2012 Bénéfices Industriels et Commerciaux MISE EN GARDE AUX UTILISATEURS Les informations communiquées dans ce fascicule sont communiquées titre indicatif et ne peuvent être considérées,

Plus en détail

2. RAPPEL DES TECHNIQUES DE CALCUL DANS R

2. RAPPEL DES TECHNIQUES DE CALCUL DANS R 2. RAPPEL DES TECHNIQUES DE CALCUL DANS R Dans la mesure où les résultats de ce chapitre devraient normalement être bien connus, il n'est rappelé que les formules les plus intéressantes; les justications

Plus en détail

IBM Tivoli Monitoring. Guide d utilisation. Version 5.1.2 SH11-1285-03

IBM Tivoli Monitoring. Guide d utilisation. Version 5.1.2 SH11-1285-03 IBM Tioli Monitoring Guide d utilisation Version 5.1.2 SH11-1285-03 IBM Tioli Monitoring Guide d utilisation Version 5.1.2 SH11-1285-03 Important Aant d utiliser le présent document et le produit associé,

Plus en détail

Activités numériques [13 Points]

Activités numériques [13 Points] N du candidat L emploi de la calculatrice est autorisé. Le soin, la qualité de la présentation entrent pour 2 points dans l appréciation des copies. Les résultats seront soulignés. La correction est disponible

Plus en détail

Cours d algorithmique pour la classe de 2nde

Cours d algorithmique pour la classe de 2nde Cours d algorithmique pour la classe de 2nde F.Gaudon 10 août 2009 Table des matières 1 Avant la programmation 2 1.1 Qu est ce qu un algorithme?................................. 2 1.2 Qu est ce qu un langage

Plus en détail

Formes quadratiques. 1 Formes quadratiques et formes polaires associées. Imen BHOURI. 1.1 Définitions

Formes quadratiques. 1 Formes quadratiques et formes polaires associées. Imen BHOURI. 1.1 Définitions Formes quadratiques Imen BHOURI 1 Ce cours s adresse aux étudiants de niveau deuxième année de Licence et à ceux qui préparent le capes. Il combine d une façon indissociable l étude des concepts bilinéaires

Plus en détail

ADMINISTRATION DE RESEAUX SOUS LOGICIEL «OPEN SOURCE»

ADMINISTRATION DE RESEAUX SOUS LOGICIEL «OPEN SOURCE» MINISTERE DE LA COMMUNAUTE FRANCAISE ADMINISTRATION GENERALE DE L ENSEIGNEMENT ET DE LA RECHERCHE SCIENTIFIQUE ENSEIGNEMENT DE PROMOTION SOCIALE DE REGIME 1 DOSSIER PEDAGOGIQUE UNITE DE FORMATION ADMINISTRATION

Plus en détail

SOMMAIRE OPÉRATIONS COURANTES OPÉRATIONS D INVENTAIRE

SOMMAIRE OPÉRATIONS COURANTES OPÉRATIONS D INVENTAIRE SOMMAIRE OPÉRATIONS COURANTES OPÉRATIONS D INVENTAIRE 1 Factures de doit p. 9 Processus 1 2 Réductions sur factures de doit p. 11 Processus 1 3 Frais accessoires sur factures p. 13 Processus 1 4 Comptabilisation

Plus en détail

I- Définitions des signaux.

I- Définitions des signaux. 101011011100 010110101010 101110101101 100101010101 Du compact-disc, au DVD, en passant par l appareil photo numérique, le scanner, et télévision numérique, le numérique a fait une entrée progressive mais

Plus en détail

Développement spécifique d'un système d information

Développement spécifique d'un système d information Centre national de la recherche scientifique Direction des systèmes d'information REFERENTIEL QUALITE Procédure Qualité Développement spécifique d'un système d information Référence : CNRS/DSI/conduite-proj/developpement/proc-developpement-si

Plus en détail

1/24. I passer d un problème exprimé en français à la réalisation d un. I expressions arithmétiques. I structures de contrôle (tests, boucles)

1/24. I passer d un problème exprimé en français à la réalisation d un. I expressions arithmétiques. I structures de contrôle (tests, boucles) 1/4 Objectif de ce cours /4 Objectifs de ce cours Introduction au langage C - Cours Girardot/Roelens Septembre 013 Du problème au programme I passer d un problème exprimé en français à la réalisation d

Plus en détail

Priorités de calcul :

Priorités de calcul : EXERCICES DE REVISION POUR LE PASSAGE EN QUATRIEME : Priorités de calcul : Exercice 1 : Calcule en détaillant : A = 4 + 5 6 + 7 B = 6 3 + 5 C = 35 5 3 D = 6 7 + 8 E = 38 6 3 + 7 Exercice : Calcule en détaillant

Plus en détail

ADManager Plus Simplifier la gestion de votre Active Directory

ADManager Plus Simplifier la gestion de votre Active Directory ADManager Plus Simplifier la gestion de votre Active Directory Agenda 1. Vue Générale de AD Manager Plus 2. Les 3 fonctions clés de AD Manager Plus 3. Gestion des utilisateurs de l Active Directory 4.

Plus en détail

Représentation géométrique d un nombre complexe

Représentation géométrique d un nombre complexe CHAPITRE 1 NOMBRES COMPLEXES 1 Représentation géométrique d un nombre complexe 1. Ensemble des nombres complexes Soit i le nombre tel que i = 1 L ensemble des nombres complexes est l ensemble des nombres

Plus en détail

Statistiques Exercice 2011

Statistiques Exercice 2011 Statistiques Exercice 2011 Bénéfices Industriels et Commerciaux MISE EN GARDE AUX UTILISATEURS Les informations consignées dans ce fascicule sont communiquées à titre indicatif et ne peuvent être considérées,

Plus en détail

Les équations différentielles

Les équations différentielles Les équations différentielles Equations différentielles du premier ordre avec second membre Ce cours porte exclusivement sur la résolution des équations différentielles du premier ordre avec second membre

Plus en détail

Etudier l influence de différents paramètres sur un phénomène physique Communiquer et argumenter en utilisant un vocabulaire scientifique adapté

Etudier l influence de différents paramètres sur un phénomène physique Communiquer et argumenter en utilisant un vocabulaire scientifique adapté Compétences travaillées : Mettre en œuvre un protocole expérimental Etudier l influence de différents paramètres sur un phénomène physique Communiquer et argumenter en utilisant un vocabulaire scientifique

Plus en détail

Chapitre 11. Séries de Fourier. Nous supposons connues les formules donnant les coefficients de Fourier d une fonction 2 - périodique :

Chapitre 11. Séries de Fourier. Nous supposons connues les formules donnant les coefficients de Fourier d une fonction 2 - périodique : Chapitre Chapitre. Séries de Fourier Nous supposons connues les formules donnant les coefficients de Fourier d une fonction - périodique : c c a0 f x dx c an f xcosnxdx c c bn f xsinn x dx c L objet de

Plus en détail

ITIL, une approche qualité pour la gestion des services(*) informatiques. Pourquoi et comment introduire ITIL dans son organisation

ITIL, une approche qualité pour la gestion des services(*) informatiques. Pourquoi et comment introduire ITIL dans son organisation Livre blanc Le pragmatisme de votre système d information Rédacteur : Marc LORSCHEIDER / Expert ITIL Mise à jour : 05/06/2013 ITIL, une approche qualité pour la gestion des services(*) informatiques Pourquoi

Plus en détail

Diane-Gabrielle Tremblay (Dir.) Maryse Larivière

Diane-Gabrielle Tremblay (Dir.) Maryse Larivière Travailler plus longtemps!? L aménagement des fins de carrière en Belgique et au Québec Note de recherche no 2009-1 De l ARUC (Alliances de recherche universités-communautés) Sur la gestion des âges et

Plus en détail

REGLEMENT DE LA CONSULTATION (RC)

REGLEMENT DE LA CONSULTATION (RC) MARCHE PUBLIC DE PRESTATIONS INTELLECTUELLES REGLEMENT DE LA CONSULTATION (RC) COMMUNE DE TRAMOLE Pouvoir adjudicateur exerçant la maîtrise d'ouvrage Personne Responsable du Marché représentant le pouvoir

Plus en détail

Peut-on perdre sa dignité?

Peut-on perdre sa dignité? Peut-on perdre sa dignité? Eric Delassus To cite this version: Eric Delassus. Peut-on perdre sa dignité?. 2013. HAL Id: hal-00796705 https://hal.archives-ouvertes.fr/hal-00796705 Submitted

Plus en détail

CORRECTION EXERCICES ALGORITHME 1

CORRECTION EXERCICES ALGORITHME 1 CORRECTION 1 Mr KHATORY (GIM 1 A) 1 Ecrire un algorithme permettant de résoudre une équation du second degré. Afficher les solutions! 2 2 b b 4ac ax bx c 0; solution: x 2a Solution: ALGORITHME seconddegré

Plus en détail

progression premiere et terminale

progression premiere et terminale progression premiere et terminale s.2 s.3 valette SEQUENCE Séance Objectif Contenu du cours Compétences Savoirs 1 1. Le bilan comportemental Identifier les objectifs de la connaissance de soi Utiliser

Plus en détail

Plan d Action Commun. Shutterstock - olly

Plan d Action Commun. Shutterstock - olly Plan d Action Commun Shutterstock - olly Introduction Nouvel instrument axé sur les résultats Comment atteindre les résultats? Forte logique d intervention Utilisation d'indicateurs pour rembourser les

Plus en détail

Chapitre 2 Le problème de l unicité des solutions

Chapitre 2 Le problème de l unicité des solutions Université Joseph Fourier UE MAT 127 Mathématiques année 2011-2012 Chapitre 2 Le problème de l unicité des solutions Ce que nous verrons dans ce chapitre : un exemple d équation différentielle y = f(y)

Plus en détail

' ( ) &" * +)&,! 0 1&,! ) 2334

' ( ) & * +)&,! 0 1&,! ) 2334 ! " #$ % & ' ( ) &" * +)&,! -. / 0 1&,! ) 2334 '& 56 7 8$, 9 4: -9'++ 5;3 '&56 7! #$ % &!! "" #! $ % %# #& % # # '%' #(" )'%#*+,-.*/0##%#%%#(1%' 2#'3'"4 ##%'5# #(" #'%''56# 3% "& 7# #/ 8''93:%#;%##(#

Plus en détail

Electron MECATRONIQUE. S.r.l. Educational Equipment Design, Production & Trading. Member of I.D.E.A. International Didactic Equipment Association

Electron MECATRONIQUE. S.r.l. Educational Equipment Design, Production & Trading. Member of I.D.E.A. International Didactic Equipment Association MECATRONIQUE Catalogue Synthétique Rev 01/2007 Page 141 Pour les détails: www.electron.it CAI & SYSTEME DE SIMULATION DE PANNES ASSISTE PAR PC B50 SYSTEME DIDACTIQUE MICROPROCESSEURS & HARDWARE DU PC B51

Plus en détail

Data Mining. Vincent Augusto 2012-2013. École Nationale Supérieure des Mines de Saint-Étienne. Data Mining. V. Augusto.

Data Mining. Vincent Augusto 2012-2013. École Nationale Supérieure des Mines de Saint-Étienne. Data Mining. V. Augusto. des des Data Mining Vincent Augusto École Nationale Supérieure des Mines de Saint-Étienne 2012-2013 1/65 des des 1 2 des des 3 4 Post-traitement 5 représentation : 6 2/65 des des Définition générale Le

Plus en détail

Factorisation Factoriser en utilisant un facteur commun Fiche méthode

Factorisation Factoriser en utilisant un facteur commun Fiche méthode Factorisation Factoriser en utilisant un facteur commun Fiche méthode Rappel : Distributivité simple Soient les nombres, et. On a : Factoriser, c est transformer une somme ou une différence de termes en

Plus en détail

1ère partie Nadine Cullot. Bases de données déductives. Bases de données déductives Introduction et Motivation

1ère partie Nadine Cullot. Bases de données déductives. Bases de données déductives Introduction et Motivation Master STIC «Image Informatique et Ingénierie» Module Informatique Modèles de représentation - 10h CM Nadine Cullot Kokou Yétongnon nadine.cullot@u-bourgogne.fr kokou.yetongnon@u-bourgogne.fr 1ère partie

Plus en détail

La modélisation des déplacements : Qu est ce qu un modèle, pour qui et pourquoi?

La modélisation des déplacements : Qu est ce qu un modèle, pour qui et pourquoi? Les Modèles multimodaux des déplacements : enjeux, outils et expériences territoriales 13 février 2014, COTITA, CEREMA, Direction Territoriale Méditerranée La modélisation des déplacements : Qu est ce

Plus en détail

Logiciel LabX. Parfait aperçu, contrôle total. Logiciel de pilotage des instruments de laboratoire. Logiciel LabX

Logiciel LabX. Parfait aperçu, contrôle total. Logiciel de pilotage des instruments de laboratoire. Logiciel LabX Logiciel Logiciel balance titrage connect Parfait aperçu, contrôle total Logiciel de pilotage des instruments de laboratoire Logiciel Un laboratoire intelligent grâce à est une plate-forme logicielle unique

Plus en détail

INFORMATIQUE : LOGICIELS TABLEUR ET GESTIONNAIRE DE BASES DE DONNEES

INFORMATIQUE : LOGICIELS TABLEUR ET GESTIONNAIRE DE BASES DE DONNEES MINISTERE DE LA COMMUNAUTE FRANCAISE ADMINISTRATION GENRALE DE L ENSEIGNEMENT ET DE LA RECHERCHE SCIENTIFIQUE ENSEIGNEMENT DE PROMOTION SOCIALE DE REGIME 1 DOSSIER PEDAGOGIQUE UNITE DE FORMATION INFORMATIQUE

Plus en détail

Journée_: Modules HoraireEpreuve

Journée_: Modules HoraireEpreuve AA 13 Deuxième année Licence Fond. en Gestion: Administration des affaires Comptabilité de Gestion GESTION DE LA PRODUCTION FINANCE Marketing - Techniques et Stratégies d'achat Gestion par objectifs Techniques

Plus en détail

Dérivation CONTENUS CAPACITÉS ATTENDUES COMMENTAIRES

Dérivation CONTENUS CAPACITÉS ATTENDUES COMMENTAIRES Capitre 4 Dérivation Ce que dit le programme : CONTENUS CAPACITÉS ATTENDUES COMMENTAIRES Dérivation Nombre dérivé d une fonction en un point. Tangente à la courbe représentative d une fonction dérivable

Plus en détail

Exercices & cours de Gestion en vidéo - BTS MUC. Liste des formules. (Consultez également «Liste des tableaux»)

Exercices & cours de Gestion en vidéo - BTS MUC. Liste des formules. (Consultez également «Liste des tableaux») Liste des formules (Consultez également «Liste des tableaux») Table des matières LES CALCULS COMMERCIAUX... 4 Le coefficient multiplicateur... 4 Montant de TVA... 4 TVA collectée... 4 TVA déductible...

Plus en détail

techniques de tirs a l avant - partie 2

techniques de tirs a l avant - partie 2 techniques de tirs a l avant - partie 2 1 - direction a - tir long b - tir court c - tir droit 2 - feintes a - aile ou sur place b - roulette avec appel c - appel dans un jeu en mouvement d - aller-retour

Plus en détail

Solution de Mobilité SAP SUP & AFARIA. Meltz Jérôme

Solution de Mobilité SAP SUP & AFARIA. Meltz Jérôme Solution de Mobilité SAP SUP & AFARIA Meltz Jérôme 01 Agenda PRÉSENTATION D AUGUSTA REEVES Augusta Reeves Création en 1998 Société de service d Intégration SAP fondé en 1998 CA 2011 : 14,8 M Effectif :

Plus en détail

Fonction inverse Fonctions homographiques

Fonction inverse Fonctions homographiques Fonction inverse Fonctions homographiques Année scolaire 203/204 Table des matières Fonction inverse 2. Définition Parité............................................ 2.2 Variations Courbe représentative...................................

Plus en détail

Problème 1 : applications du plan affine

Problème 1 : applications du plan affine Problème 1 : applications du plan affine Notations On désigne par GL 2 (R) l ensemble des matrices 2 2 inversibles à coefficients réels. Soit un plan affine P muni d un repère (O, I, J). Les coordonnées

Plus en détail

Quelques contrôle de Première S

Quelques contrôle de Première S Quelques contrôle de Première S Gilles Auriol auriolg@free.fr http ://auriolg.free.fr Voici l énoncé de 7 devoirs de Première S, intégralement corrigés. Malgré tout les devoirs et 5 nécessitent l usage

Plus en détail

Chap 4: Analyse syntaxique. Prof. M.D. RAHMANI Compilation SMI- S5 2013/14 1

Chap 4: Analyse syntaxique. Prof. M.D. RAHMANI Compilation SMI- S5 2013/14 1 Chap 4: Analyse syntaxique 1 III- L'analyse syntaxique: 1- Le rôle d'un analyseur syntaxique 2- Grammaires non contextuelles 3- Ecriture d'une grammaire 4- Les méthodes d'analyse 5- L'analyse LL(1) 6-

Plus en détail

CALCUL DES PROBABILITES

CALCUL DES PROBABILITES CALCUL DES PROBABILITES Exemple On lance une pièce de monnaie une fois. Ensemble des événements élémentaires: E = pile, face. La chance pour obtenir pile vaut 50 %, pour obtenir face vaut aussi 50 %. Les

Plus en détail

ANNEXE 5 (1 page) MIC2920x

ANNEXE 5 (1 page) MIC2920x ²² ANNEXE 5 (1 page) MIC2920x Coefficient : 5 DT 7/ 29 ANNEXE 6 (1 page) - ADG 719 Coefficient : 5 DT 8/ 29 ANNEXE 7 (3 pages) - ESDAxxSCy Coefficient : 5 DT 9/ 29 ANNEXE 7 (suite) Coefficient : 5 DT 10/

Plus en détail

Représentation d un entier en base b

Représentation d un entier en base b Représentation d un entier en base b 13 octobre 2012 1 Prérequis Les bases de la programmation en langage sont supposées avoir été travaillées L écriture en base b d un entier est ainsi défini à partir

Plus en détail