Corrigé. 1 Logique des propositions (6 points)
|
|
- Lionel St-Jean
- il y a 6 ans
- Total affichages :
Transcription
1 Année Examen de Logique Formelle Mardi 23 octobre 2012 Promotion Guichet 2 ième année É. Salvat Modalités : Durée 2h00 Aucun document autorisé Aucune sortie n'est autorisée durant la durée de l'examen Le barème est donné à titre indicatif 1 Logique des propositions (6 points) Exercice 1 (2 points). Dites si les formules suivantes sont valides, contingentes ou insatisfaisables. Justiez votre réponse. 1. ( (p q) r) ( (p q) r) 2. (p ((q p) (q r) r)) q de l'exercice p q r (p q) r) ( (p q) r) ( (p q) r) ( (p q) r) V V V V V V V V F V F F V F V V V V V F F F V V F V V V V V F V F F V V F F V V V V F F F F V V La formule est contingente. p q r (q p) (q r) (p ((q p) (q r) r)) q V V V F V V V V F F V V V F V V V V V F F V F V F V V V V V F V F V V V F F V V V V F F F V F V La formule est valide. Exercice 2 (Arbre sémantique - 4 points). A l'aide des arbres sémantiques, construisez, si il en existe un, un arbre échec des formules suivantes, ou bien donnez un modèle de la formule. 1
2 1. p s q (p (r s)) r 2. ((p (q r)) q) (q r) de l'exercice 2. Il faut au préalable, passer les formules sous forme clausale. 1. E 1 = p s q (p (r s)) r E 1 = p s q ( p r s) r F C 1 = {C 1 = {p}; C 2 = { s}; C 3 = {q}; C 4 = { p; r; s}; C 5 = { r}} On construit l'arbre échec suivant : s C 2 r C 5 p q s r C 4 p C 1 q C 3 2. E 2 = ((p (q r)) q) (q r) E 2 = (( p (q r)) q) (q r) E 2 = ((p ( q r)) q) (q r) E 2 = (p q r) ( q r q r) ( q q r) E 2 = (p q r) E 2 = (p q r) F C 2 = {C 1 = {p; q; r}} p p q q q q r r r r r r r r L'interprétation I telle que I(p) = I(q) = I(r) = V est un modèle de la formule E 2. C 1 2
3 Logique des prédicats (14 points) Exercice 3 (Unications - 4 points). Calculez, si il existe, un unicateur le plus général des paires d'atomes (A 1, A 2 ) à l'aide de l'algorithme de Robinson. En cas d'échec, indiquez pourquoi les atomes ne sont pas uniables. u, v, w, x, y, z sont des variables, f, g sont des symboles fonctionnels, a, b sont des constantes. 1. A 1 = p(f(g(x, y)), g(v, w), y), A 2 = p(f(z), x, f(x)) 2. A 1 = p(x, f(u, x)), A 2 = p(f(y, a), f(z, f(b, z))) ; de l'exercice 3. En Appliquant l'algorithme de Robinson, on obtient les ensembles de désaccord et les substitutions suivantes. 1. A 1 = p(f(g(x, y)), g(v, w), y), A 2 = p(f(z), x, f(x)) a) ensemble de désaccord : D 1 = {g(x, y); z} substitution : σ 1 = {(z, g(x, y))} A 1 = σ 1 (A 1 ) = p(f(g(x, y)), g(v, w), y) A 2 = σ 1 (A 2 ) = p(f(g(x, y)), x, f(x)) b) ensemble de désaccord : D 2 = {x; g(v, w)} substitution : σ 2 = {(x, g(v, w))} 1 = σ 2 (A 1) = p(f(g(g(v, w), y)), g(v, w), y) 2 = σ 2 (A 2) = p(f(g(g(v, w), y)), g(v, w), f(g(v, w))) c) ensemble de désaccord : D 3 = {y; f(g(v, w))} substitution : σ 3 = {(y, f(g(v, w))))} 1 = σ 3 ( 1) = p(f(g(g(v, w), f(g(v, w)))), g(v, w), f(g(v, w))) 2 = σ 3 ( 2) = p(f(g(g(v, w), f(g(v, w)))), g(v, w), f(g(v, w))) d) ensemble de désaccord : D 4 = A 1 et A 2 sont uniables. Un unicateur le plus général de A 1 et A 2 est σ = σ 3 σ 2 σ 1 soit σ = {(z, g(g(v, w), f(g(v, w)))); (x, g(v, w)); (y, f(g(v, w)))} 2. A 1 = p(x, f(u, x)), A 2 = p(f(y, a), f(z, f(b, z))) a) ensemble de désaccord : D 1 = {x; f(y, a)} substitution : σ 1 = {(x, f(y, a))} A 1 = σ 1 (A 1 ) = p(f(y, a), f(u, f(y, a))) A 2 = σ 1 (A 2 ) = p(f(y, a), f(z, f(b, z))) b) ensemble de désaccord : D 2 = {u; z} substitution : σ 2 = {(u, z)} 1 = σ 2 (A 1) = p(f(y, a), f(z, f(y, a))) 2 = σ 2 (A 2) = p(f(y, a), f(z, f(b, z))) 3
4 c) ensemble de désaccord : D 3 = {y; b} substitution : σ 3 = {(y, b)} 1 = σ 3 ( 1) = p(f(b, a), f(z, f(b, a))) 2 = σ 3 ( 2) = p(f(b, a), f(z, f(b, z))) d) ensemble de désaccord : D 4 = {a; z} substitution : σ 4 = {(z, a)} 1 = σ 4 ( 1 ) = p(f(b, a), f(a, f(b, a))) 2 = σ 4 ( 2 ) = p(f(b, a), f(a, f(b, a))) e) ensemble de désaccord : D 5 = A 1 et A 2 sont uniables. Un unicateur le plus général de A 1 et A 2 est σ = σ 4 σ 3 σ 2 σ 1 soit σ = {(x, f(b, a)); (u, a); (y, b); (z, a)} Exercice 4 (Modélisation - 4 points). Modélisez les phrases suivantes en logique des prédicats. Vous préciserez le vocabulaire utilisé. 1. Tous les étudiants aiment la logique. 2. Chaque étudiant n'aime pas une matière. 3. Tous les étudiants n'aiment pas une matière. 4. Les étudiants qui ont une bonne note en logique sont les meilleurs. de l'exercice 4. On utilise le vocabulaire suivant : Constantes : log (la logique) Variables : x, y fonctions : pas de fonction Prédicats unaires : Etud : Etud(x) signie x est un étudiant Mat : Mat(y) signie y est une matière Prédicats binaires : Aime : Aime(x, y) signie x aime y BN : BN(x, y) signie x a une bonne note en y Meilleur : Meilleur(x, y) signie x est meilleur que y 1. xetud(x) Aime(x, log) 2. x y(etud(x) Mat(y)) Aime(x, y) 3. x y(mat(x) Etud(y)) Aime(y, x) 4. x y(etud(x) BN(x, log) Etud(y)) Meilleur(x, y) Exercice 5 (Méthode de résolution - 6 points). Soit l'énoncé suivant : 4
5 1. Tous ceux qui conduisent une Harley sont rustres. 2. Tous les motards conduisent une Harley ou une BMW. 3. Quiconque conduit une BMW est branché. 4. Toute personne branchée est avocat. 5. Une jeune lle bien ne sort pas avec quelqu'un de rustre. 6. Marie est une jeune lle bien, et Jean est un motard. 7. Si Jean n'est pas avocat, alors Marie ne sort pas avec Jean. a) Modélisez en logique du premier ordre l'énoncé ci-dessus en utilisant les prédicats : har(x) : x est une Harley cond(x,y) : x conduit y. bmw(x) : x est une bmw. mot(x) : x est un motard. rus(x) : x est rustre. bra(x) : x est branché. avo(x) : x est avocat. jfb(x) : x est une jeune lle bien. sort(x,y) : x sort avec y. Bien entendu, vous compléterez cette modélisation, si c'est nécessaire, avec des constantes, des variables et des fonctions. b) Prouvez à l'aide de la méthode de résolution que la dernière armation est une conséquence logique de l'ensemble des autres armations. de l'exercice 5. Modélisation. Formule associée à chaque armation de l'énoncé ; M arie et Jean sont des constantes : (a) x y((har(y) cond(x, y)) rus(x)) (b) x(mot(x) y((har(y) bmw(y)) cond(x, y))) (c) x y((cond(x, y) bmw(y)) bra(x)) (d) x(bra(x) avo(x)) (e) x y((jfb(x) rus(y)) sort(x, y)) (f) jfb(marie) mot(jean) (g) avo(jean) sort(m arie, Jean) Résolution. On va montrer que a b c d e f g est insatisfaisable. Pour cela il faut mettre les formules sous forme clausale. Première étape mise sous forme prenexe : (a) x y( har(y) cond(x, y) rus(x)) (b) x y( mot(x) ((har(y) bmw(y)) cond(x, y))) 5
6 (c) x y( cond(x, y) bmw(y) bra(x)) (d) x( bra(x) avo(x)) (e) x y( jfb(x) rus(y) sort(x, y)) (f) jfb(marie) mot(jean) ( g) avo(jean) sort(m arie, Jean) Seule b contient une variable existentielle y, on introduit la fonction unaire de Skolem f. On obtient alors la formule : (b ) x( mot(x) ((har(f(x)) bmw(f(x))) cond(x, f(x)))) Passage à la forme clausale : Résolution : C 1 = { har(y); cond(x, y); rus(x)} C 2 = { mot(x); har(f(x)); bmw(f(x))} C 3 = { mot(x); cond(x, f(x))} C 4 = { cond(x, y); bmw(y); bra(x)} C 5 = { bra(x); avo(x)} C 6 = { jfb(x); rus(y); sort(x, y)} C 7 = {jfb(marie)} C 8 = {mot(jean)} C 9 = { avo(jean)} C 10 = {sort(marie, Jean)} C 11 = Res(C 10, C 6, {(x, Marie); (y, Jean)}) C 12 = Res(C 11, C 7, {}) C 13 = Res(C 12, C 1, {(x, Jean)}) C 14 = Res(C 13, C 3, {(x, Jean); (y, f(jean))}) C 15 = Res(C 14, C 8, {}) C 16 = Res(C 15, C 2, {(x, Jean)}) C 17 = Res(C 16, C 8, {}) C 18 = Res(C 17, C 4, {(y, f(jean))}) C 19 = Res(C 18, C 3, {(x, Jean)}) C 20 = Res(C 19, C 5, {(x, Jean)}) C 21 = Res(C 20, C 9, {}) = { jfb(marie); rus(jean)} C 22 = Res(C 21, C 8, {}) = {} = { rus(jean)} = { har(y); cond(jean, y)} = { har(f(jean)); mot(jean)} = { har(f(jean))} = { mot(jean); bmw(f(jean))} = {bmw(f(jean))} = { cond(x, f(jean)); bra(x)} = { mot(jean); bra(jean)} = { mot(jean); avo(jean)} = { mot(jean)} 6
Logique : ENSIIE 1A - contrôle final
1 Logique : ENSIIE 1A - contrôle final - CORRIGÉ Mardi 11 mai 2010 - Sans documents - Sans calculatrice ni ordinateur Durée : 1h30 Les exercices sont indépendants. Exercice 1 (Logique du premier ordre
Plus en détailChapitre 2. Eléments pour comprendre un énoncé
Chapitre 2 Eléments pour comprendre un énoncé Ce chapitre est consacré à la compréhension d un énoncé. Pour démontrer un énoncé donné, il faut se reporter au chapitre suivant. Les tables de vérité données
Plus en détailUtilisation des tableaux sémantiques dans les logiques de description
Utilisation des tableaux sémantiques dans les logiques de description IFT6281 Web Sémantique Jacques Bergeron Département d informatique et de recherche opérationnelle Université de Montréal bergerja@iro.umontreal.ca
Plus en détailLogique. Plan du chapitre
Logique Ce chapitre est assez abstrait en première lecture, mais est (avec le chapitre suivant «Ensembles») probablement le plus important de l année car il est à la base de tous les raisonnements usuels
Plus en détailRésolution d équations non linéaires
Analyse Numérique Résolution d équations non linéaires Said EL HAJJI et Touria GHEMIRES Université Mohammed V - Agdal. Faculté des Sciences Département de Mathématiques. Laboratoire de Mathématiques, Informatique
Plus en détailLEÇON N 7 : Schéma de Bernoulli et loi binomiale. Exemples.
LEÇON N 7 : Schéma de Bernoulli et loi binomiale. Exemples. Pré-requis : Probabilités : définition, calculs et probabilités conditionnelles ; Notion de variables aléatoires, et propriétés associées : espérance,
Plus en détailMéthodes de quadrature. Polytech Paris-UPMC. - p. 1/48
Méthodes de Polytech Paris-UPMC - p. 1/48 Polynôme d interpolation de Preuve et polynôme de Calcul de l erreur d interpolation Étude de la formule d erreur Autres méthodes - p. 2/48 Polynôme d interpolation
Plus en détailEXERCICE 4 (7 points ) (Commun à tous les candidats)
EXERCICE 4 (7 points ) (Commun à tous les candidats) On cherche à modéliser de deux façons différentes l évolution du nombre, exprimé en millions, de foyers français possédant un téléviseur à écran plat
Plus en détailBases de données déductives
Bases de données déductives par Mohand-Saïd HACID Maître de conférences en informatique à l université Lyon-I et Jacques KOULOUMDJIAN Docteur ès sciences Professeur d informatique à l INSA de Lyon 1. Bases
Plus en détailEntretien portant sur la location (exemple)
Entretien portant sur la location (exemple) Seulement Fiduciaire immobilier Nom/prénom du candidat/de la candidate Arrondissement d'examen Entreprise formatrice Veuillez observer ce qui suit: 1. L'examen
Plus en détailThéorème du point fixe - Théorème de l inversion locale
Chapitre 7 Théorème du point fixe - Théorème de l inversion locale Dans ce chapitre et le suivant, on montre deux applications importantes de la notion de différentiabilité : le théorème de l inversion
Plus en détailLeçon 01 Exercices d'entraînement
Leçon 01 Exercices d'entraînement Exercice 1 Etudier la convergence des suites ci-dessous définies par leur terme général: 1)u n = 2n3-5n + 1 n 2 + 3 2)u n = 2n2-7n - 5 -n 5-1 4)u n = lnn2 n+1 5)u n =
Plus en détailBANQUES DE DONNÉES PÉDAGOGIQUES
223 Daniel BURET, Jean-Claude BLANCHARD. HISTORIQUE L'EPI a entrepris en 1989 de créer des bases d'énoncés mathématiques destinées aux enseignants pour la production de documents et accompagnées d'un outil
Plus en détailFonctions de plusieurs variables
Maths MP Exercices Fonctions de plusieurs variables Les indications ne sont ici que pour être consultées après le T (pour les exercices non traités). Avant et pendant le T, tenez bon et n allez pas les
Plus en détailt 100. = 8 ; le pourcentage de réduction est : 8 % 1 t Le pourcentage d'évolution (appelé aussi taux d'évolution) est le nombre :
Terminale STSS 2 012 2 013 Pourcentages Synthèse 1) Définition : Calculer t % d'un nombre, c'est multiplier ce nombre par t 100. 2) Exemples de calcul : a) Calcul d un pourcentage : Un article coûtant
Plus en détailChapitre 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étailNotion de fonction. Série 1 : Tableaux de données. Série 2 : Graphiques. Série 3 : Formules. Série 4 : Synthèse
N7 Notion de fonction Série : Tableaux de données Série 2 : Graphiques Série 3 : Formules Série 4 : Synthèse 57 SÉRIE : TABLEAUX DE DONNÉES Le cours avec les aides animées Q. Si f désigne une fonction,
Plus en détailC f tracée ci- contre est la représentation graphique d une
TLES1 DEVOIR A LA MAISON N 7 La courbe C f tracée ci- contre est la représentation graphique d une fonction f définie et dérivable sur R. On note f ' la fonction dérivée de f. La tangente T à la courbe
Plus en détailEspérance conditionnelle
Espérance conditionnelle Samy Tindel Nancy-Université Master 1 - Nancy Samy T. (IECN) M1 - Espérance conditionnelle Nancy-Université 1 / 58 Plan 1 Définition 2 Exemples 3 Propriétés de l espérance conditionnelle
Plus en détailVers l'ordinateur quantique
Cours A&G Vers l'ordinateur quantique Données innies On a vu dans les chapîtres précédents qu'un automate permet de représenter de manière nie (et même compacte) une innité de données. En eet, un automate
Plus en détailItems étudiés dans le CHAPITRE N5. 7 et 9 p 129 D14 Déterminer par le calcul l'antécédent d'un nombre par une fonction linéaire
CHAPITRE N5 FONCTIONS LINEAIRES NOTION DE FONCTION FONCTIONS LINEAIRES NOTION DE FONCTION FONCTIONS LINEAIRES NOTION DE FONCTION Code item D0 D2 N30[S] Items étudiés dans le CHAPITRE N5 Déterminer l'image
Plus en détailFondements de l informatique Logique, modèles, et calculs
Fondements de l informatique Logique, modèles, et calculs Cours INF423 de l Ecole Polytechnique Olivier Bournez Version du 20 septembre 2013 2 Table des matières 1 Introduction 9 1.1 Concepts mathématiques........................
Plus en détailCalcul de développements de Puiseux et application au calcul du groupe de monodromie d'une courbe algébrique plane
Calcul de développements de Puiseux et application au calcul du groupe de monodromie d'une courbe algébrique plane Poteaux Adrien XLIM-DMI, UMR-CNRS 6172 Université de Limoges Soutenance de thèse 15 octobre
Plus en détailUniversité Paris-Dauphine DUMI2E 1ère année, 2009-2010. Applications
Université Paris-Dauphine DUMI2E 1ère année, 2009-2010 Applications 1 Introduction Une fonction f (plus précisément, une fonction réelle d une variable réelle) est une règle qui associe à tout réel x au
Plus en détailCompte sur livret. Mots clés : Sommaire : Compte sur livret. 1. Qui peut bénéficier d un compte sur livret? 2. Le compte sur livret au quotidien
- 1 - Compte sur livret Mots clés :! Compte! Epargne! Versements! Rémunération! Livret! Fiscalité Sommaire : 1. Qui peut bénéficier d un compte sur livret? 1.1 Un produit d épargne ouvert à tous 1.2 Les
Plus en détailMODE D EMPLOI. Comment déclarer sa réduction d ISF pour l année 2014?
DECLARATION DE L ISF 2014 MODE D EMPLOI Comment déclarer sa réduction d ISF pour l année 2014? Comment déclarer ses investissements ISF des années précédentes (FIP, Holdings et PME en direct)? Page [0]
Plus en détailIll. Commentaire des articles p. S IV. Fiche financiere p.s v. Fiche d' impact p. 6
LE GOUVERNEMENT DU GRAND- DUCHE DE LUXEMBOURG Ministere de I'Economie Projet de reglement grand-ducal fixant le programme et Ia dun~e de Ia formation professionnelle speciale portant sur Ia recherche et
Plus en détailIntroduction a l'algorithmique des objets partages. Robert Cori. Antoine Petit. Lifac, ENS Cachan, 94235 Cachan Cedex. Resume
Introduction a l'algorithmique des objets partages Bernadette Charron{Bost Robert Cori Lix, Ecole Polytechnique, 91128 Palaiseau Cedex, France, charron@lix.polytechnique.fr cori@lix.polytechnique.fr Antoine
Plus en détailIntelligence artificielle appliquée à l automatique
Intelligence artificielle appliquée à l automatique par Sylviane GENTIL Professeur à l École nationale supérieure d ingénieurs électriciens Institut national polytechnique de Grenoble 1. Définitions et
Plus en détailM é ca n ism e Pr o lo g. Ex e m p le
M é ca n ism e Pr o lo g Principe général : 5. on élimine L du but (le but est géré comme une pile de clauses) 1. on prend dans le but (clause ne contenant que des littéraux négatifs) le premier littéral
Plus en détailInitiation à l algorithmique
Informatique S1 Initiation à l algorithmique procédures et fonctions 2. Appel d une fonction Jacques TISSEAU Ecole Nationale d Ingénieurs de Brest Technopôle Brest-Iroise CS 73862-29238 Brest cedex 3 -
Plus en détailContinuité d une fonction de plusieurs variables
Chapitre 2 Continuité d une fonction de plusieurs variables Maintenant qu on a défini la notion de limite pour des suites dans R n, la notion de continuité s étend sans problème à des fonctions de plusieurs
Plus en détailChap 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étailContinuité en un point
DOCUMENT 4 Continuité en un point En général, D f désigne l ensemble de définition de la fonction f et on supposera toujours que cet ensemble est inclus dans R. Toutes les fonctions considérées sont à
Plus en détailISF 2015 MODE D EMPLOI. Comment déclarer sa réduction d ISF pour l année 2015?
DECLARATION DE L ISF 2015 ISF 2015 MODE D EMPLOI Comment déclarer sa réduction d ISF pour l année 2015? Comment exonérer ses investissements ISF des années précédentes (FIP, Holdings et PME en direct)?
Plus en détailCalcul différentiel. Chapitre 1. 1.1 Différentiabilité
Chapitre 1 Calcul différentiel L idée du calcul différentiel est d approcher au voisinage d un point une fonction f par une fonction plus simple (ou d approcher localement le graphe de f par un espace
Plus en détailTP N 3 La composition chimique du vivant
Thème 1 : La Terre dans l'univers, la vie et l'évolution du vivant : une planète habitée Chapitre II : La nature du vivant TP N 3 La composition chimique du vivant Les conditions qui règnent sur terre
Plus en détailTD1 Signaux, énergie et puissance, signaux aléatoires
TD1 Signaux, énergie et puissance, signaux aléatoires I ) Ecrire l'expression analytique des signaux représentés sur les figures suivantes à l'aide de signaux particuliers. Dans le cas du signal y(t) trouver
Plus en détailUEO11 COURS/TD 1. nombres entiers et réels codés en mémoire centrale. Caractères alphabétiques et caractères spéciaux.
UEO11 COURS/TD 1 Contenu du semestre Cours et TDs sont intégrés L objectif de ce cours équivalent a 6h de cours, 10h de TD et 8h de TP est le suivant : - initiation à l algorithmique - notions de bases
Plus en détailModèles de Calcul. Yassine Lakhnech. 2007/08 Université Joseph Fourier Lab.: VERIMAG. Yassine.Lakhnech@imag.fr. Modèles de Calcul Start p.
Modèles de Calcul Yassine Lakhnech Yassine.Lakhnech@imag.fr 2007/08 Université Joseph Fourier Lab.: VERIMAG Modèles de Calcul Start p.1/81 Équipe pédagogique Cours : Saddek Bensalem et Yassine Lakhnech
Plus en détailMODALITES de CANDIDATURE CERTIFICATION de PERSONNES en HACCP
p. 1/7 MODALITES de CANDIDATURE CERTIFICATION de PERSONNES en HACCP 1. Préalable L examen de certification de personnes en HACCP s adresse à des professionnels confirmés qui maîtrisent l HACCP dans un
Plus en détailDifférentiabilité ; Fonctions de plusieurs variables réelles
Différentiabilité ; Fonctions de plusieurs variables réelles Denis Vekemans R n est muni de l une des trois normes usuelles. 1,. 2 ou.. x 1 = i i n Toutes les normes de R n sont équivalentes. x i ; x 2
Plus en détailLIVRET D EPARGNE SALARIALE, Livret individuel à l entrée dans l entreprise
LIVRET D EPARGNE SALARIALE, Livret individuel à l entrée dans l entreprise ARTICLE L.3341-6 DU CODE DU TRAVAIL Conformément à l'article L. 3341-6 du Code du travail «Tout salarié d'une entreprise proposant
Plus en détailObjets Combinatoires élementaires
Objets Combinatoires élementaires 0-0 Permutations Arrangements Permutations pour un multi-ensemble mots sous-ensemble à k éléments (Problème du choix) Compositions LE2I 04 1 Permutations Supposons que
Plus en détailAxiomatique de N, construction de Z
Axiomatique de N, construction de Z Table des matières 1 Axiomatique de N 2 1.1 Axiomatique ordinale.................................. 2 1.2 Propriété fondamentale : Le principe de récurrence.................
Plus en détailPhysique Chimie. Utiliser les langages scientifiques à l écrit et à l oral pour interpréter les formules chimiques
C est Niveau la représentation 4 ème 2. Document du professeur 1/6 Physique Chimie LES ATOMES POUR COMPRENDRE LA TRANSFORMATION CHIMIQUE Programme Cette séance expérimentale illustre la partie de programme
Plus en détailDurée de L épreuve : 2 heures. Barème : Exercice n 4 : 1 ) 1 point 2 ) 2 points 3 ) 1 point
03 Mai 2013 Collège Oasis Durée de L épreuve : 2 heures. apple Le sujet comporte 4 pages et est présenté en livret ; apple La calculatrice est autorisée ; apple 4 points sont attribués à la qualité de
Plus en détailTP n 2 Concepts de la programmation Objets Master 1 mention IL, semestre 2 Le type Abstrait Pile
TP n 2 Concepts de la programmation Objets Master 1 mention IL, semestre 2 Le type Abstrait Pile Dans ce TP, vous apprendrez à définir le type abstrait Pile, à le programmer en Java à l aide d une interface
Plus en détailGEA II Introduction aux probabilités Poly. de révision. Lionel Darondeau
GEA II Introduction aux probabilités Poly. de révision Lionel Darondeau Table des matières Énoncés 4 Corrigés 10 TD 1. Analyse combinatoire 11 TD 2. Probabilités élémentaires 16 TD 3. Probabilités conditionnelles
Plus en détailPremiers exercices d Algèbre. Anne-Marie Simon
Premiers exercices d Algèbre Anne-Marie Simon première version: 17 août 2005 version corrigée et complétée le 12 octobre 2010 ii Table des matières 1 Quelques structures ensemblistes 1 1.0 Ensembles, relations,
Plus en détailTravaux pratiques. Compression en codage de Huffman. 1.3. Organisation d un projet de programmation
Université de Savoie Module ETRS711 Travaux pratiques Compression en codage de Huffman 1. Organisation du projet 1.1. Objectifs Le but de ce projet est d'écrire un programme permettant de compresser des
Plus en détailGOL-502 Industrie de services. Travaux Pratique / Devoir #7
GOL-502 Industrie de services Travaux Pratique / Devoir #7 Version 2012 Modélisation à l'aide du langage UML 1) Diagramme de cas d'utilisation 2) Diagramme de classes 3) Diagramme de séquence 4) Diagramme
Plus en détailCaisse Nationale de l'assurance Maladie des Travailleurs Salariés Sécurité Sociale
Caisse Nationale de l'assurance Maladie des Travailleurs Salariés Sécurité Sociale Circulaire CNAMTS MM les Agents Comptables Date : des Caisses Générales de Sécurité Sociale 16/11/93 des départements
Plus en détailExercice autour de densité, fonction de répatition, espérance et variance de variables quelconques.
14-3- 214 J.F.C. p. 1 I Exercice autour de densité, fonction de répatition, espérance et variance de variables quelconques. Exercice 1 Densité de probabilité. F { ln x si x ], 1] UN OVNI... On pose x R,
Plus en détailChapitre 3 : Fonctions d une variable réelle (1)
Uiversités Paris 6 et Paris 7 M1 MEEF Aalyse (UE 3) 2013-2014 Chapitre 3 : Foctios d ue variable réelle (1) 1 Lagage topologique das R Défiitio 1 Soit a u poit de R. U esemble V R est u voisiage de a s
Plus en détailCONDITIONS GENERALES DE VENTE ET D UTILISATION
CONDITIONS GENERALES DE VENTE ET D UTILISATION 1) Mentions Légales 1.1 - Le site internet Bookpolitan.fr est édité par la société GASTROPOLITAN Spółka handlowa au capital de 5000 PLN Z dont le siège social
Plus en détailCommun à tous les candidats
EXERCICE 3 (9 points ) Commun à tous les candidats On s intéresse à des courbes servant de modèle à la distribution de la masse salariale d une entreprise. Les fonctions f associées définies sur l intervalle
Plus en détailCOMMUNICATEUR BLISS COMMANDE PAR UN SENSEUR DE POSITION DE L'OEIL
COMMUNICATEUR BLISS COMMANDE PAR UN SENSEUR DE POSITION DE L'OEIL J. TICHON(1) (2), J.-M. TOULOTTE(1), G. TREHOU (1), H. DE ROP (2) 1. INTRODUCTION Notre objectif est de réaliser des systèmes de communication
Plus en détailMIS 102 Initiation à l Informatique
MIS 102 Initiation à l Informatique Responsables et cours : Cyril Gavoille Catherine Pannier Matthias Robine Marc Zeitoun Planning : 6 séances de cours 5 séances de TD (2h40) 4 séances de TP (2h40) + environ
Plus en détailCalcul fonctionnel holomorphe dans les algèbres de Banach
Chapitre 7 Calcul fonctionnel holomorphe dans les algèbres de Banach L objet de ce chapitre est de définir un calcul fonctionnel holomorphe qui prolonge le calcul fonctionnel polynômial et qui respecte
Plus en détailquelles sont les spécificités du système de gouvernance des PME - PMI?
LA GOUVERNANCE DES PME-PMI Gérard CHARREAUX Professeur de Sciences de Gestion à 1 Université de Bourgogne, Dijon PREAMBULE Il est probable que vous vous interrogez sur l'apport des recherches en matière
Plus en détailMéthode de Monte Carlo pour le calcul d'options
Méthode de Monte Carlo pour le calcul d'options LADIAS Elie, WANG Shuai 7 juin 2013 1 Table des matières 1 Méthode de Monte-Carlo et Calcul d'intégrales 4 1.1 Description de la méthode....................
Plus en détailBases de Données Relationnelles. Le Modèle Relationnel
Bases de Données Relationnelles Le Modèle Relationnel Le modèle relationnel modèle de niveau logique modèle simple : deux concepts relation (table) attribut (colonne) défini par Ted Codd en 1970 ; prix
Plus en détailCHAPITRE IX : Les appareils de mesures électriques
CHAPITRE IX : Les appareils de mesures électriques IX. 1 L'appareil de mesure qui permet de mesurer la différence de potentiel entre deux points d'un circuit est un voltmètre, celui qui mesure le courant
Plus en détailI. Ensemble de définition d'une fonction
Chapitre 2 Généralités sur les fonctions Fonctions de références et fonctions associées Ce que dit le programme : Étude de fonctions Fonctions de référence x x et x x Connaître les variations de ces deux
Plus en détailContinuité et dérivabilité d une fonction
DERNIÈRE IMPRESSIN LE 7 novembre 014 à 10:3 Continuité et dérivabilité d une fonction Table des matières 1 Continuité d une fonction 1.1 Limite finie en un point.......................... 1. Continuité
Plus en détail3 Approximation de solutions d équations
3 Approximation de solutions d équations Une équation scalaire a la forme générale f(x) =0où f est une fonction de IR dans IR. Un système de n équations à n inconnues peut aussi se mettre sous une telle
Plus en détailExpression des contraintes. OCL : Object C o n t r a i n t L a n g u a g e
P r o b l é m a t i q u e OCL : O b j e c t C o n s t r a i n t L a n g u a g e Le langage de contraintes d UML Les différents diagrammes d UML permettent d exprimer certaines contraintes graphiquement
Plus en détailExercices - 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étailProbabilités conditionnelles Exercices corrigés
Terminale S Probabilités conditionnelles Exercices corrigés Exercice : (solution Une compagnie d assurance automobile fait un bilan des frais d intervention, parmi ses dossiers d accidents de la circulation.
Plus en détailGestion optimale des unités de production dans un réseau compte tenu de la dynamique de la température des lignes
Gestion optimale des unités de production dans un réseau compte tenu de la dynamique de la température des lignes M. Nick, R. Cherkaoui, M. Paolone «Le réseau électrique de demain» - EPFL, 21.05.2015 Table
Plus en détailchapitre 4 Nombres de Catalan
chapitre 4 Nombres de Catalan I Dénitions Dénition 1 La suite de Catalan (C n ) n est la suite dénie par C 0 = 1 et, pour tout n N, C n+1 = C k C n k. Exemple 2 On trouve rapidement C 0 = 1, C 1 = 1, C
Plus en détailPrésentation du langage et premières fonctions
1 Présentation de l interface logicielle Si les langages de haut niveau sont nombreux, nous allons travaillé cette année avec le langage Python, un langage de programmation très en vue sur internet en
Plus en détailFonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre
IUFM du Limousin 2009-10 PLC1 Mathématiques S. Vinatier Rappels de cours Fonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre 1 Fonctions de plusieurs variables
Plus en détailImage d un intervalle par une fonction continue
DOCUMENT 27 Image d un intervalle par une fonction continue La continuité d une fonction en un point est une propriété locale : une fonction est continue en un point x 0 si et seulement si sa restriction
Plus en détailL'ASSURANCE DU R1SQUE AUTOM OB1LE. Controle et assurance. Jacques Charbonnier. larcier
L'ASSURANCE DU R1SQUE AUTOM OB1LE Controle et assurance Jacques Charbonnier larcier TABLE DES MATTERES Du meme auteur Table des matieres Abreviations Sigles Remerciements Avant-propos VII ix XVII XIX xxi
Plus en détailÉquations non linéaires
Équations non linéaires Objectif : trouver les zéros de fonctions (ou systèmes) non linéaires, c-à-d les valeurs α R telles que f(α) = 0. y f(x) α 1 α 2 α 3 x Equations non lineaires p. 1/49 Exemples et
Plus en détailMETIERS DE L INFORMATIQUE
METIERS DE L INFORMATIQUE ISO 27001 LEAD AUDITOR REF : GOMO019 DUREE : 5 JOURS TARIF : 3 500 HT Public Toute personne amenée à conduire des audits dans le domaine de la sécurité des systèmes d'information.
Plus en détailFonctions de plusieurs variables et changements de variables
Notes du cours d'équations aux Dérivées Partielles de l'isima, première année http://wwwisimafr/leborgne Fonctions de plusieurs variables et changements de variables Gilles Leborgne juin 006 Table des
Plus en détailBac Blanc Terminale ES - Février 2011 Épreuve de Mathématiques (durée 3 heures)
Bac Blanc Terminale ES - Février 2011 Épreuve de Mathématiques (durée 3 heures) Eercice 1 (5 points) pour les candidats n ayant pas choisi la spécialité MATH Le tableau suivant donne l évolution du chiffre
Plus en détailLa Société wallonne du crédit social et les Guichets du crédit social octroient, aux conditions du présent règlement, le crédit hypothécaire social.
REGLEMENT DU CREDIT HYPOTHECAIRE SOCIAL 1 TABLE DES MATIERES 2 Présentation Généralités 3 Définitions 4 Revenus annuels imposables globalement de l année n-2 et revenus nets mensuels actuels du demandeur
Plus en détailDéveloppements limités. Notion de développement limité
MT12 - ch2 Page 1/8 Développements limités Dans tout ce chapitre, I désigne un intervalle de R non vide et non réduit à un point. I Notion de développement limité Dans tout ce paragraphe, a désigne un
Plus en détailTD 1 - Structures de Traits et Unification
TD 1 - Structures de Traits et Unification 1 Définitions Un trait (en: feature) est un couple attribut-valeur. Une structure de traits (en: feature structure) est un ensemble de traits. On peut les représenter
Plus en détailMolécules et Liaison chimique
Molécules et liaison chimique Molécules et Liaison chimique La liaison dans La liaison dans Le point de vue classique: l approche l de deux atomes d hydrogd hydrogènes R -0,9-1 0 0,5 1 1,5,5 3 3,5 4 R
Plus en détailEstimation: intervalle de fluctuation et de confiance. Mars 2012. IREM: groupe Proba-Stat. Fluctuation. Confiance. dans les programmes comparaison
Estimation: intervalle de fluctuation et de confiance Mars 2012 IREM: groupe Proba-Stat Estimation Term.1 Intervalle de fluctuation connu : probabilité p, taille de l échantillon n but : estimer une fréquence
Plus en détailQuelles nouveautés & quelles solutions pour réduire son impôt?
Quelles nouveautés & quelles solutions pour réduire son impôt? La Loi de Finances pour 2013 a introduit de nombreuses modifications concernant l ISF : le barème d imposition a été entièrement repensé,
Plus en détailChapitre 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étailCORRIGES Plan de la séance
CORRIGES Plan de la séance 1. Corriges Compréhension écrite 2. Corriges Compréhension orale 3. Corriges Syntaxe 4. Corriges Vocabulaire 5. Corriges Conjugaison 6. Corriges Lecture d'élargissement 7. Corriges
Plus en détailConsultation publique PARL OMPI EXPERTS PRESENTATION ET ETAT D AVANCEMENT DU PROJET PARL OMPI EXPERTS
Consultation publique PARL OMPI EXPERTS PRESENTATION ET ETAT D AVANCEMENT DU PROJET PARL OMPI EXPERTS PRESENTATION ET ETAT D AVANCEMENT DU PROJET PARL OMPI EXPERTS 2 Présentation et état d avancement du
Plus en détailACTUARIAT 1, ACT 2121, AUTOMNE 2013 #4-5
ACTUARIAT 1, ACT 2121, AUTOMNE 2013 #4-5 ARTHUR CHARPENTIER 1 Un certain test médical révèle correctement, avec probabilité 0.85, qu une personne a le sida lorsqu elle l a vraiment et révèle incorrectement,
Plus en détailIntelligence Artificielle Planification
Intelligence Artificielle Planification Bruno Bouzy http://web.mi.parisdescartes.fr/~bouzy bruno.bouzy@parisdescartes.fr Licence 3 Informatique UFR Mathématiques et Informatique Université Paris Descartes
Plus en détailIndépendance Probabilité conditionnelle. Chapitre 3 Événements indépendants et Probabilités conditionnelles
Chapitre 3 Événements indépendants et Probabilités conditionnelles Indépendance Indépendance Probabilité conditionnelle Definition Deux événements A et B sont dits indépendants si P(A B) = P(A).P(B) Attention
Plus en détailBases de données documentaires et distribuées Cours NFE04
Bases de données documentaires et distribuées Cours NFE04 Introduction a la recherche d information Auteurs : Raphaël Fournier-S niehotta, Philippe Rigaux, Nicolas Travers prénom.nom@cnam.fr Département
Plus en détailExercices types Algorithmique et simulation numérique Oral Mathématiques et algorithmique Banque PT
Exercices types Algorithmique et simulation numérique Oral Mathématiques et algorithmique Banque PT Ces exercices portent sur les items 2, 3 et 5 du programme d informatique des classes préparatoires,
Plus en détailLangage SQL (1) 4 septembre 2007. IUT Orléans. Introduction Le langage SQL : données Le langage SQL : requêtes
Langage SQL (1) Sébastien Limet Denys Duchier IUT Orléans 4 septembre 2007 Notions de base qu est-ce qu une base de données? SGBD différents type de bases de données quelques systèmes existants Définition
Plus en détailChapitre 3: TESTS DE SPECIFICATION
Chapitre 3: TESTS DE SPECIFICATION Rappel d u c h api t r e pr é c é d en t : l i de n t i f i c a t i o n e t l e s t i m a t i o n de s y s t è m e s d é q u a t i o n s s i m u lt a n é e s r e p o
Plus en détailOASIS www.oasis-open.org/committees/xacml/docs/docs.shtml Date de publication
Statut du Committee Working Draft document Titre XACML Language Proposal, version 0.8 (XACML : XML Access Control Markup Language) Langage de balisage du contrôle d'accès Mot clé Attestation et sécurité
Plus en détailChapitre 4: Dérivée d'une fonction et règles de calcul
DERIVEES ET REGLES DE CALCULS 69 Chapitre 4: Dérivée d'une fonction et règles de calcul Prérequis: Généralités sur les fonctions, Introduction dérivée Requis pour: Croissance, Optimisation, Études de fct.
Plus en détailModel checking temporisé
Model checking temporisé Béatrice Bérard LAMSADE Université Paris-Dauphine & CNRS berard@lamsade.dauphine.fr ETR 07, 5 septembre 2007 1/44 Nécessité de vérifier des systèmes... 2/44 Nécessité de vérifier
Plus en détail