PRINCIPE La méthode des arbres (MA) est une méthode rapide et efficace pour vérifier si un raisonnement est valide ou non.
|
|
- Hélène Audy
- il y a 7 ans
- Total affichages :
Transcription
1 2.4 ARRES Propositions PRINCIPE La méthode des arbres (MA) est une méthode rapide et efficace pour vérifier si un raisonnement est valide ou non. Prenons un raisonnement simple: p q p q Pour vérifier un tel raisonnement par la méthode des tables de vérité, il faudrait d'abord le formaliser en une seule proposition complee 80 de la forme: [(p q) p] q car la 1 ère prémisse ensemble avec la 2 ème entraîne la conclusion, et la table serait la suivante: p q p q ( ) p {.} q Or, avec la multiplication des propositions élémentaires, le nombre de lignes double à chaque fois selon la formule 2 (avec = nombre de propositions élémentaires), ce qui donnerait un tableau de 1024 lignes pour 10 propositions élémentaires! Nous voyons que ceci n'est guère efficace. Mais nous remarquons ceci: tout raisonnement valide peut s'écrire sous forme d'une proposition complee de la forme: prémisses conclusion qui est vraie quelles que soient les valeurs de vérité des propositions élémentaires qui la composent. Une telle proposition, toujours vraie indépendamment de la vérité des propositions élémentaires, est appelée une tautologie. 80 appelée implication associée
2 2 Arbres / Propositions 1) Comme on suppose que les prémisses sont vraies par définition 81 et 2) puisqu'on sait qu'un raisonnement valide est une proposition complee qui est toujours vraie, 3) on sait que la conclusion doit être vraie 82, La méthode des arbres consiste tout simplement à admettre par hypothèse: que le raisonnement ne soit pas valide et que la conclusion soit donc fausse (puisque les prémisses ne peuvent pas être en cause). Ainsi on aura donc au départ de l arbre: des énoncés vrais par définition, les prémisses et un énoncé vrai par hypothèse, la conclusion niée. Pour faire la vérification, on décomposera chaque proposition complee en ses éléments plus simples. La vérité d une proposition complee implique en effet une autre vérité (ou de possibles vérités) concernant ses composantes élémentaires. Par eemple: si p q en tant que proposition complee est vraie, ceci signifie forcément que p doit être vrai et que q doit être vrai (vu la définition de par les tables de vérité [voir les Règles des arbres pour tous les connecteurs]). Deu cas sont alors possibles: 1. l'hypothèse de la fausseté de la conclusion mène dans tous les cas à des contradictions: ceci signifie qu'on ne peut pas admettre à la fois l'hypothèse et la vérité des prémisses et que donc il faut admettre le contraire de l'hypothèse ( = la conclusion est vraie), puisque la vérité des prémisses ne peut être mise en cause. 2. l hypothèse ne produit pas toujours des contradictions (des branches restent ouvertes): ceci équivaut à affirmer que le contraire de l'hypothèse est compatible, du moins pour certaines valeurs, avec les prémisses et que donc la conclusion n est pas compatible avec les prémisses ( = la conclusion est fausse). Prenons notre eemple de tout à l'heure: p q p q 81 Le logicien n est pas en mesure de décider si p.e. A est vrai, puisqu il ignore tout de la signification de l epression qui n est qu une structure! 82 Car si l'antécédent est vrai et le conséquent est fau, toute l'implication est fausse (cf. table de vérité pour )
3 Voici l'arbre correspondant: p p q [vrai par déf.] p [vrai par déf.] q [vrai par hyp.] q par application de Im 1 Chaque branche aboutit à une contradiction par rapport à ce qui a été admis par définition ou par hypothèse plus haut dans l'arbre. Nous voyons que la négation de la conclusion se solde uniquement par des contradictions à l'intérieur de l'arbre et qu'on ne peut donc admettre cette hypothèse. Admettre la conclusion niée nous forcerait à admettre des absurdités par rapport à notre système (p à la fois vrai et fau), donc la conclusion doit être vraie Le raisonnement prouvé ici sera appelé plus tard une déduction par modus ponens
4 2 Arbres / Propositions PROCÉDURE 84 Etablir la liste des prémisses avec la négation de la conclusion. Eliminer toutes les doubles négations. Clore (X) chaque branche qui contient à la fois une proposition et sa négation. OUI Est-ce que toutes les branches sont closes? Arrêter. Déduction valide NON OUI Est-ce que toutes les propositions ont été utilisées? Arrêter. Déduction non-valide NON Choisir une proposition. Marquer comme utilisée. Utiliser la règle de décomposition [RA] adéquate. Ecrire la proposition décomposée sous chaque branche restée ouverte en dessous d elle. 84 Ce tableau s inspire de celui de JEFFREY p
5 !!Notations obligatoires!! Il faut marquer les epressions utilisées en: les cochant, les numérotant, ce qui permettra de mieu reconstituer la vérification. Il faut encore: indiquer clairement (p.e. une série de points) les branches restées ouvertes, noter le résultat de la vérification en toutes lettres CONSEILS Pour la vérification par la méthode des arbres on suivra les principes suivants: éviter d'avoir trop d'embranchements en: - utilisant d'abord les epressions ne produisant pas de branches (conjonction, disjonction niée, implication niée), - en utilisant en priorité les epressions dont un terme au moins permettra de clôturer une branche, se donner suffisamment de place pour résoudre l eercice sur une page pour que l arbre reste «lisible». Toutefois, la vérification ne dépend pas de l ordre dans lequel on décompose les différentes epressions! La démarche peut être faite de manière purement mécanique et pourrait être confiée à un automate (cf. la procédure cidessus)
6 2 Arbres / Propositions COMMENTÉS Eercice 1 A ; A ( = syllogisme disjonctif) A 1 [vrai par déf.] [vrai par déf.] A [vrai par hyp.] 1 A application de D1 Eercice 2 A ; A ( = modus tollens) A 1 [vrai par déf.] [vrai par déf.] A [vrai par hyp.] 1 A application de Im
7 Eercice 3 A ; C A C (= syllogisme hypothétique) A 2 [vrai par déf.] C 3 [vrai par déf.] A C 1 [vrai par hyp.] 1 A application de Im2 C 2 A application de Im1 ferme avec 1 3 C application de Im1 Eercice 4 A ; A ( = paralogisme [pseudo raisonnement] courant) 85 A 1 [vrai par déf.] A [vrai par déf.] [vrai par hyp.] 1 A application de Im1 Toutes les branches ne sont pas clôturées, le raisonnement n est pas valide. 85 Ceci est la preuve de la non validité du raisonnement dans le Faust de Goethe (cf )!
8 2 Arbres / Propositions Eercice 5 A ( A ); A ; A A ( A ) 3 [vrai par déf.] A 1 [vrai par déf.] A 2 [vrai par hyp.] 1 A A application de E1 2 A A ferme avec 1 3 A A A A 4 application de Im1 ferme avec 2 4 A A application de Im1 ferme avec 1 /
9 Eercice 6 (A ) C; (C ) [A ( C E)]; A D D E (A ) C 3 [vrai par déf.] (C ) [A ( C E)] 5 [vrai par déf.] A D 1 [vrai par déf.] D E 2 [vrai par hyp.] 1 A D application de C 2 D D application de E2 E E ferme avec 1 3 A C 5 application de Im1 4 A application de D2 ferme avec 1 5 C A (C E) 6/7 application de Im1 6 C application de D2 ferme avec 3 7 A C E 8 application de Im1 ferme avec 1 8 C C application de E1 E E ferment avec 2 respectivement
Fiche d animation n 1 : Pêle-mêle
Fiche d animation n 1 : Pêle-mêle Cette animation permet au participants de découvrir les différents pièges du crédit à la consommation et plus particulièrement des ouvertures de crédit. Elle suscite également
Plus en détail.. -... -... Mention : En débat
Page 1 sur 6 Point du programme Domaine d'activité : LE MONDE CONSTRUIT PAR L'HOMME FAIRE ROULER - "Petites Voitures" CYCLE II Objectifs généraux Comment fabriquer une petite voiture capable de rouler
Plus en détailL ANALYSE EN COMPOSANTES PRINCIPALES (A.C.P.) Pierre-Louis GONZALEZ
L ANALYSE EN COMPOSANTES PRINCIPALES (A.C.P.) Pierre-Louis GONZALEZ INTRODUCTION Données : n individus observés sur p variables quantitatives. L A.C.P. permet d eplorer les liaisons entre variables et
Plus en détailCours 02 : Problème général de la programmation linéaire
Cours 02 : Problème général de la programmation linéaire Cours 02 : Problème général de la Programmation Linéaire. 5 . Introduction Un programme linéaire s'écrit sous la forme suivante. MinZ(ou maxw) =
Plus en détailSeconde et première Exercices de révision sur les probabilités Corrigé
I_ L'univers. _ On lance simultanément deux dés indiscernables donc il n'y a pas d'ordre. Il y a répétition, les dbles. On note une issue en écrivant le plus grand chiffre puis le plus petit. 32 signifie
Plus en détailTP : Shell Scripts. 1 Remarque générale. 2 Mise en jambe. 3 Avec des si. Systèmes et scripts
E3FI ESIEE Paris Systèmes et scripts B. Perret TP : Shell Scripts 1 Remarque générale Lorsque vous cherchez des informations sur Internet, n'oubliez pas que langage de shell script que nous avons vu correspond
Plus en détailNOTRE PERE JESUS ME PARLE DE SON PERE. idees-cate
NOTRE PERE JESUS ME PARLE DE SON PERE idees-cate 16 1 L'EVANGILE DE SAINT LUC: LE FILS PRODIGUE. Luc 15,11-24 TU AS TERMINE LE LIVRET. PEUX-TU DIRE MAINTENANT, QUI EST LE PERE POUR TOI? Un Père partage
Plus en détailLE MODELE CONCEPTUEL DE DONNEES
LE MODELE CONCEPTUEL DE DONNEES Principe : A partir d'un cahier des charges, concevoir de manière visuelle les différents liens qui existent entre les différentes données. Les différentes étapes de réalisation.
Plus en détail3 ème 2 DÉVELOPPEMENT FACTORISATIONS ET IDENTITÉS REMARQUABLES 1/5 1 - Développements
3 ème 2 DÉVELOPPEMENT FACTORISATIONS ET IDENTITÉS REMARQUABLES 1/5 1 - Développements Développer une expression consiste à transformer un produit en une somme Qu est-ce qu une somme? Qu est-ce qu un produit?
Plus en détailAnalyser l environnement
Analyser l environnement > Analyser pour anticiper > Analyser pour résoudre > Analyser pour anticiper - La grille M.O.F.F. - Le diagramme Causes/Effet - Le benchmarking - Les cercles de qualité 3. MÉTHODES
Plus en détailComment mieux évaluer les risques industriels par la mesure du capital immatériel???
Comment mieux évaluer les risques industriels par la mesure du capital immatériel??? GENERALI : Un acteur engagé et responsable FFSA 26/01/2010 " Le secteur de l assurance est concerné par tous les sujets
Plus en détailRECOMMANDATION 27 EFFICACITE DE LA COMMUNICATION, ENTRE LES CANAUX DE DISTRIBUTION ET LES ASSUREURS, ET RECIPROQUEMENT.
RECOMMANDATION 27 EFFICACITE DE LA COMMUNICATION, ENTRE LES CANAUX DE DISTRIBUTION ET LES ASSUREURS, ET RECIPROQUEMENT. Dans la version de juin 1999 était encore mentionné «efficacité de la communication
Plus en détailConditions d application à partir du 01/09/2014
......... BNP PARIBAS FORTIS SA ET AG INSURANCE SA (anciennement( FORTIS INSURANCE BELGIUM SA) Conditions d application à partir du 01/09/2014 Les formules et produits décrits dans la présente feuille
Plus en détail1. Introduction...2. 2. Création d'une requête...2
1. Introduction...2 2. Création d'une requête...2 3. Définition des critères de sélection...5 3.1 Opérateurs...5 3.2 Les Fonctions...6 3.3 Plusieurs critères portant sur des champs différents...7 3.4 Requête
Plus en détailLe Network File System de Sun (NFS)
1 sur 5 Le Network File System de Sun (NFS) Le Network File System de Sun (NFS) Architecture Protocoles Mounting Automounting vs Static mounting Directory et accès aux fichiers Problèmes Implémentation
Plus en détailPatrimoines. La pierre angulaire d'une planification financière solide une gestion des dettes judicieuse
Patrimoines La pierre angulaire d'une planification financière solide une gestion des dettes judicieuse Il y a deux ans, David emménage dans une autre ville. Il meuble sa nouvelle maison et règle plusieurs
Plus en détailchoisir H 1 quand H 0 est vraie - fausse alarme
étection et Estimation GEL-64943 Hiver 5 Tests Neyman-Pearson Règles de Bayes: coûts connus min π R ( ) + ( π ) R ( ) { } Règles Minimax: coûts connus min max R ( ), R ( ) Règles Neyman Pearson: coûts
Plus en détailPatrimoines. La retraite Le moment pour vous simplifier la vie
Patrimoines La retraite Le moment pour vous simplifier la vie Le vieil adage «dans les petits pots, les bons onguents» semble avoir perdu toute signification, plus particulièrement en Amérique du Nord.
Plus en détailFctsAffines.nb 1. Mathématiques, 1-ère année Edition 2007-2008. Fonctions affines
FctsAffines.nb 1 Mathématiques, 1-ère année Edition 2007-2008 Fonctions affines Supports de cours de mathématiques de degré secondaire II, lien hpertete vers la page mère http://www.deleze.name/marcel/sec2/inde.html
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étail402 réponses au sondage sur 850 étudiants en PACES. Environ 47% des étudiants de PACES ont répondu au sondage proposé par le Tutorat J
402 réponses au sondage sur 850 étudiants en PACES. Environ 47% des étudiants de PACES ont répondu au sondage proposé par le Tutorat J Le Tutorat du premier semestre a obtenue la note moyenne de 7,97/10
Plus en détailSimpleOCR, un logiciel gratuit de reconnaissance de caractères
SimpleOCR, un logiciel gratuit de reconnaissance de caractères Qu'est-ce que c'est? Si vous possédez un scanneur, vous avez sans doute déjà scanné des pages de livres contenant du texte et été surpris
Plus en détailCHAPITRE VIII : Les circuits avec résistances ohmiques
CHAPITRE VIII : Les circuits avec résistances ohmiques VIII. 1 Ce chapitre porte sur les courants et les différences de potentiel dans les circuits. VIII.1 : Les résistances en série et en parallèle On
Plus en détailPRÉCISIONS POUR DÉFINIR VOTRE PROJET COMPTE DE BANQUE
PRÉCISIONS POUR DÉFINIR VOTRE PROJET COMPTE DE BANQUE INTRODUCTION Au cours des quatre prochaines semaines, votre tâche sera d identifier les connaissances visant au choix d un compte de banque en fonction
Plus en détailContrat de creation de site web et de maintenance
Contrat de creation de site web et de maintenance Entre : La société.. (nom et forme juridique, ex : MYCOMPANY, Sarl) au capital de euros dont le siège social est à. enregistrée au Registre du Commerce
Plus en détailTHEME : CLES DE CONTROLE. Division euclidienne
THEME : CLES DE CONTROLE Division euclidienne Soit à diviser 12 par 3. Nous pouvons écrire : 12 12 : 3 = 4 ou 12 3 = 4 ou = 4 3 Si par contre, il est demandé de calculer le quotient de 12 par 7, la division
Plus en détailMinistère de l emploi, de la cohésion sociale et du logement. Ministère de la santé et des solidarités
Ministère de l emploi, de la cohésion sociale et du logement Ministère de la santé et des solidarités Direction générale du travail Bureau RT3 - Durée et Revenus du Travail Section participation financière
Plus en détailL équilibre Ressources Emplois de biens et services schématisé par une balance
IV) l équilibre ressources - emplois et son interprétation Cet article fait suite à ceux du 19 janvier et du 18 février 2013. Il en est le complément logique sur les fondamentaux macro- économiques d un
Plus en détailésylog, direction technique Esylog_PeerBackup outil de sauvegarde individuelle mails & fichiers personnels documentation technique
émetteur : ésylog, direction technique Esylog_PeerBackup outil de sauvegarde individuelle mails & fichiers personnels documentation technique référence : Esylog_PeerBackup 2005 le 20 mai 2005 version :
Plus en détailI GENERALITES SUR LES MESURES
2 Dans le cas d intervention de dépannage l usage d un multimètre est fréquent. Cet usage doit respecter des méthodes de mesure et des consignes de sécurité. 1/ Analogie. I GENERALITES SUR LES MESURES
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étailCouples de variables aléatoires discrètes
Couples de variables aléatoires discrètes ECE Lycée Carnot mai Dans ce dernier chapitre de probabilités de l'année, nous allons introduire l'étude de couples de variables aléatoires, c'est-à-dire l'étude
Plus en détailUn moulin à scie!?! Ben voyons dont!!!
Un moulin à scie!?! Ben voyons dont!!! (Zénon Rinfret, matillon/encanteur, s est présenté chez Simion avec sa nouvelle acquisition, un camion flambant neuf, et, il a même passé la nuit chez notre ami.)
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étailDémontage d'un ordinateur
Espaces multimédias Communauté de Communes Moyenne Vilaine et Semnon : Démontage d'un ordinateur 1- A quoi sert-il de démonter son ordinateur? A) Par simple curiosité B) Pour nettoyer C) Pour remplacer
Plus en détailLes failles Format String
Les failles Format String Concept et exploitation Warr 01/10/2010 Introduction Je rédige ce papier afin de combler un manque cruel (à mon sens) de documentation à propos de ces failles. L essentiel des
Plus en détailCOURS WINDEV NUMERO 3
COURS WINDEV NUMERO 3 01/02/2015 Travailler avec un fichier de données Etude du gestionnaire d analyse, Manipulation des tables mémoires, Manipulation de données, Création d états, Pré requis : Cours WinDev
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étailCAISSE ENREGISTREUSE ELECTRONIQUE SE-G1
AISSE ENREGISTREUSE ELETRONIQUE SE-G PROGRAMMATION SIMPLIFIEE 20/0/204 SOMMAIRE PROGRAMMATION SIMPLIFIEE.... Introduction... 2. Programmation... 4 Initialisation de la caisse :... 4 Programmation de base
Plus en détailConversion d un entier. Méthode par soustraction
Conversion entre bases Pour passer d un nombre en base b à un nombre en base 10, on utilise l écriture polynomiale décrite précédemment. Pour passer d un nombre en base 10 à un nombre en base b, on peut
Plus en détailProjets de principes sur la répartition des pertes en cas de dommage transfrontière découlant d activités dangereuses 2006
Projets de principes sur la répartition des pertes en cas de dommage transfrontière découlant d activités dangereuses 2006 Texte adopté par la Commission du droit international à sa cinquante-huitième
Plus en détailLa correction des erreurs d'enregistrement et de traitement comptables
La correction des erreurs d'enregistrement et de traitement comptables Après l'étude des différents types d'erreurs en comptabilité (Section 1) nous étudierons la cause des erreurs (Section 2) et les techniques
Plus en détailDÉCLARATION PAR UN RÉSIDENT
N 3916 N 11916 * 05 N 50869 # 05 DÉCLARATION PAR UN RÉSIDENT D UN COMPTE OUVERT HORS DE FRANCE 1. IDENTITÉ DU (OU DES) DÉCLARANT(S) (CODE GÉNÉRAL DES IMPÔTS : ART. 1649 A, 2 e ET 3 e AL. ; ART. 1758 ET
Plus en détailLe produit semi-direct
Le produit semi-direct Préparation à l agrégation de mathématiques Université de Nice - Sophia Antipolis Antoine Ducros Octobre 2007 Ce texte est consacré, comme son titre l indique, au produit semi-direct.
Plus en détailLe Modèle Conceptuel de Virginia Henderson. P. Bordieu (2007)
Le Modèle Conceptuel de Virginia Henderson P. Bordieu (2007) Postulats qui l étayent (= fondements) Valeurs qui le justifient Éléments qui le composent: - But poursuivi - Cible - Rôle de l infirmière -
Plus en détailChapitre 2. Classes et objets
Chapitre 2: Classes et Objets 1/10 Chapitre 2 Classes et objets Chapitre 2: Classes et Objets 2/10 Approche Orientée Objet Idée de base de A.O.O. repose sur l'observation de la façon dont nous procédons
Plus en détailMission de l information géographique (MIG)
Mission de l information géographique (MIG) Ministère de l Écologie, du Développement durable, des Transports et du Logement décembre 2011 La directive Inspire pour les néophytes (3 ème édition) Mission
Plus en détailPrudence, Epargne et Risques de Soins de Santé Christophe Courbage
Prudence, Epargne et Rique de Soin de Santé Chritophe Courbage ASSOCIATION DE GENÈVE Introduction Le compte d épargne anté (MSA), une nouvelle forme d intrument pour couvrir le dépene de anté en ca de
Plus en détailGuide de l utilisateur ADA pour Desjardins Credit Union
Guide de l utilisateur ADA pour Desjardins Credit Union 9 janvier 2012 a00 AccèsD Affaires : une caisse virtuelle qui ignore les distances et les horaires Notions de base Équipement informatique minimal
Plus en détailMéthodes de développement. Analyse des exigences (spécification)
1 / 16 Méthodes de développement Analyse des exigences (spécification) 1 -Objectifs de l'analyse des exigences... 2 2 - Approfondissement et formalisation du besoin... 2 2.1 Séparation des besoins, contraintes
Plus en détailDépartement des systèmes d'information et de télécommunications Groupe de soutien achats et marchés
Département des systèmes d'information et de télécommunications Groupe de soutien achats et marchés a RFI : Progiciel de Gestion de Maintenance Assistée par Ordinateur (GMAO) ou d'enterprise Asset Management
Plus en détailChapitre 3 : Principe des tests statistiques d hypothèse. José LABARERE
UE4 : Biostatistiques Chapitre 3 : Principe des tests statistiques d hypothèse José LABARERE Année universitaire 2010/2011 Université Joseph Fourier de Grenoble - Tous droits réservés. Plan I. Introduction
Plus en détail1.1.1. Crédits habitation avec remboursement mensuels (capital et intérêts) Taux annuel réel (2)
Siège social : FORTIS BANQUE S.A. Partie II du prospectus Crédits Habitation d'application à partir du 1/3/2009 Tarif B/237 Conditions d'application à partir du 01/10/2009 Les formules et produits décrits
Plus en détailSécurité de l'information
Maisons de jeunes du Grand- Duché de Luxembourg Sécurité de l'information Charte de bonnes pratiques du responsable opérationnel Informations générales : Version : 1.1 État document : Final Classification
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étailSTATUTS Association Loi 1901 «L Arbre à Lucioles»
Art.1 : CONSTITUTION ET DENOMINATION STATUTS Il est fondé entre les adhérents aux présents statuts une association régie par la loi du 1er juillet 1901 et le décret du 16août 1901, ayant pour titre : «L'ARBRE
Plus en détailChapitre 6. Fonction réelle d une variable réelle
Chapitre 6 Fonction réelle d une variable réelle 6. Généralités et plan d étude Une application de I dans R est une correspondance entre les éléments de I et ceu de R telle que tout élément de I admette
Plus en détailIV. Les nécessités d une grande réforme : propositions pour une assurance générale de revenu. Ruth Gurny, Denknetz Traduction : Sabine Dormond
IV. Les nécessités d une grande réforme : propositions pour une assurance générale de revenu Ruth Gurny, Denknetz Traduction : Sabine Dormond Pour une protection solidaire et équitable : l assurance générale
Plus en détailAlgorithmes de recherche
Algorithmes de recherche 1 Résolution de problèmes par recherche On représente un problème par un espace d'états (arbre/graphe). Chaque état est une conguration possible du problème. Résoudre le problème
Plus en détailWindows 8 Installation et configuration
Editions ENI Windows 8 Installation et configuration Collection Ressources Informatiques Extrait 112 Windows 8 Installation et configuration Pour terminer l'application de l'image, nous devons configurer
Plus en détailC++ COURS N 2 : CLASSES, DONNÉES ET FONCTIONS MEMBRES Classes et objets en C++ Membres d'une classe Spécification d'une classe Codage du comportement
C++ COURS N 2 : CLASSES, DONNÉES ET FONCTIONS MEMBRES Classes et objets en C++ Membres d'une classe Spécification d'une classe Codage du comportement des objets d'une classe Utilisation d'une classe Droit
Plus en détailCARREFOUR HYPERMARCHES SAS ZAE Saint Guénault 1, rue Jean Mermoz B.P. 75 91002 EVRY CEDEX
CARREFOUR HYPERMARCHES SAS ZAE Saint Guénault 1, rue Jean Mermoz B.P. 75 91002 EVRY CEDEX NOM / PRENOM du salarié(e) :. MAGASIN :... *** DOSSIER A RETOURNER A L ADRESSE SUIVANTE : CARREFOUR HYPERMARCHES
Plus en détailSur le Chemin des Attentes des Usagers : le Projet Personnalisé
«Pour l amélioration de la qualité, la gestion des risques et l évaluation en Loire Atlantique et Vendée» Sur le Chemin des Attentes des Usagers : le Projet Personnalisé L organisation et la planification
Plus en détail41/128 Déclaration sur le droit au développement
41/128 Déclaration sur le droit au développement L'Assemblée générale, Ayant à l'esprit les buts et principes de la Charte des Nations Unies relatifs à la réalisation de la coopération internationale en
Plus en détailRené Duringer. www.smartfutur.fr
La Veille Stratégique René Duringer www.smartfutur.fr Néo-Économie mondiale sans couture = guerre économique ouverte Compétition mondiale : low cost + déflation + agressivité facteur prix (cf. Chine) Des
Plus en détailProbabilités. C. Charignon. I Cours 3
Probabilités C. Charignon Table des matières I Cours 3 1 Dénombrements 3 1.1 Cardinal.................................................. 3 1.1.1 Définition............................................. 3
Plus en détailUne proposition de séquence relative à l étude des sons /an/, /on/ et de leurs graphies. Cadre général
Une proposition de séquence relative à l étude des sons /an/, /on/ et de leurs graphies Cadre général Analyse des difficultés : Ces phonèmes présentent une double difficulté : - au niveau de leur discrimination
Plus en détailDéclaration sur le droit au développement
Déclaration sur le droit au développement Adoptée par l'assemblée générale des Nations Unies dans sa résolution 41/128 du 4 décembre 1986 L'Assemblée générale, Ayant à l'esprit les buts et principes de
Plus en détailLes ateliers : Complément.
Les ateliers : Complément. PGI EBP - Les Ateliers Nadros Isabelle - Enseignante formatrice Lardeux Landry - Enseignant formateur Paternité - Pas d'utilisation Commerciale - Partage des Conditions Initiales
Plus en détailCNAM UE MVA 210 Ph. Durand Algèbre et analyse tensorielle Cours 4: Calcul dierentiel 2
CNAM UE MVA 210 Ph. Duran Algèbre et analyse tensorielle Cours 4: Calcul ierentiel 2 Jeui 26 octobre 2006 1 Formes iérentielles e egrés 1 Dès l'introuction es bases u calcul iérentiel, nous avons mis en
Plus en détailChapitre 1 : Introduction aux bases de données
Chapitre 1 : Introduction aux bases de données Les Bases de Données occupent aujourd'hui une place de plus en plus importante dans les systèmes informatiques. Les Systèmes de Gestion de Bases de Données
Plus en détailI- 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étailDé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étailTable des matières L INTEGRATION DE SAS AVEC JMP. Les échanges de données entre SAS et JMP, en mode déconnecté. Dans JMP
L INTEGRATION DE SAS AVEC JMP Quelles sont les techniques possibles pour intégrer SAS avec JMP? Comment échanger des données entre SAS et JMP? Comment connecter JMP à SAS? Quels sont les apports d une
Plus en détailTHEME 2 : CORPS HUMAIN ET SANTE : L EXERCICE PHYSIQUE
THEME 2 : CORPS HUMAIN ET SANTE : L EXERCICE PHYSIQUE Introduction générale : L Homme, pour vivre, a besoin de se nourrir. La nutrition fait appel à différentes fonctions que sont l alimentation, la respiration
Plus en détailPropagation sur réseau statique et dynamique
Université de la Méditerranée UFR Sciences de Luminy Rapport de stage informatique pour le Master 2 de Physique, Parcours Physique Théorique et Mathématique, Physique des Particules et Astroparticules.
Plus en détailIII- Raisonnement par récurrence
III- Raisonnement par récurrence Les raisonnements en mathématiques se font en général par une suite de déductions, du style : si alors, ou mieux encore si c est possible, par une suite d équivalences,
Plus en détailAlgè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étailC est la rentrée! n 4. Toujours plus d infos sur http://www.cfecgc-santesocial.fr
C est la rentrée! n 4 Toujours plus d infos sur http://www.cfecgc-santesocial.fr 1- Le Mag Santé-Social - 4ème trimestre 2014 L édito Lors du QUE VIVE LE DIALOGUE SOCIAL Dans son discours à l Assemblée
Plus en détailRéparer un disque dur passé en RAW
Réparer un disque dur passé en RAW Vous branchez comme d habitude votre disque dur externe à votre ordinateur afin de récupérer son contenu ou de lui ajouter des fichiers quand Windows vous propose de
Plus en détailDévéloppement de Sites Web
1 Dévéloppement de Sites Web Cours I : Conception et spécification d'un site à thème Peter Stockinger Séminaire de Maîtrise en Communication Interculturelle à l'institut National des Langues et Civilisations
Plus en détailSet-up recommandés. Avril 2015
Set-up recommandés Avril 2015 1 Sommaire A. Préambule Pourquoi lisez-vous ceci? De quel matériel allons-nous parler? 3 4 5 4. Je possède 1 Phantom avec 1 Dialog, avec 1 box et 1 borne Airport C. Set-up
Plus en détailRÉPUBLIQUE ET CANTON DE GENÈVE Echelle des traitements 2015 Valable dès le 01.01.2015 Office du personnel de l'etat Indexation de 0.
04 00 52 378.00 4 029.10 0.00 25.20 23.25 1.95 207.50 44.35 1.70 36.30 3 739.25 01 52 960.00 4 073.85 582.00 25.50 23.55 1.95 209.85 44.85 1.70 36.70 3 780.75 02 53 542.00 4 118.65 582.00 25.75 23.80 1.95
Plus en détailActions Propres et Consolidation
Actions Propres et Consolidation igmaconso Allen White Les actions propres d une société sont des actions émises et ultérieurement détenues par celle ci, en vue soit de les annuler soit de les revendre.
Plus en détailCHAPITRE VI - LES SOLDES COMPTABLES ET LES INDICATEURS DE REVENU
CHAPITRE VI - LES SOLDES COMPTABLES ET LES INDICATEURS DE REVENU 1. Le compte de production... 129 2. Le compte d exploitation... 129 3. Le compte de revenu d entreprise... 130 4. Les indicateurs de revenu
Plus en détailPromotion de la Bio-informatique
Promotion de la Bio-informatique Notre sujet consistait à choisir un objet publicitaire pour promouvoir l'option bio-informatique de l'iut d'aurillac en vue de le distribuer à des élèves de Terminal. Nous
Plus en détailAnnexe - Balance des paiements et équilibre macro-économique
Annexe - Balance des paiements et équilibre macro-économique Les échanges de marchandises (biens et services), de titres et de monnaie d un pays avec l étranger sont enregistrés dans un document comptable
Plus en détailSOLUTION D ENVOI DE SMS POUR PROFESSIONNELS
1 Création et gestion de compte 2 Envoi par e-mail 3 Envoi par commande http 4 Publipostage SMS personnalisés 5 Autres fonctionnalités et options SMSvialeweb.com est une solution complète d envoi de SMS
Plus en détailMode d emploi de la clef USB de l I.P.I. Philosophie de la clef USB
Mode d emploi de la clef USB de l I.P.I. Ce mode d emploi est destiné aux étudiant(e)s qui suivent l enseignement de la Phytothérapie Clinique prodigué par l I.P.I. (Institut de Phytothérapie International)
Plus en détailLa culture financière des Français
C entr e de Recher c h e po u r l E t u d e et l Obser va t i o n des Co n d it io n s de V ie Département Conditions de vie et aspirations La culture financière des Français Etude réalisée à la demande
Plus en détailNOTIONS DE PROBABILITÉS
NOTIONS DE PROBABILITÉS Sommaire 1. Expérience aléatoire... 1 2. Espace échantillonnal... 2 3. Événement... 2 4. Calcul des probabilités... 3 4.1. Ensemble fondamental... 3 4.2. Calcul de la probabilité...
Plus en détailIUT de Laval Année Universitaire 2008/2009. Fiche 1. - Logique -
IUT de Laval Année Universitaire 2008/2009 Département Informatique, 1ère année Mathématiques Discrètes Fiche 1 - Logique - 1 Logique Propositionnelle 1.1 Introduction Exercice 1 : Le professeur Leblond
Plus en détailPrésentation de notre solution de formation en ligne
English for your future http://english.newhorizons.com English Language Program Synonyme de flexibilité, efficacité, choix et réussite. Présentation de notre solution de formation en ligne L approche individuelle
Plus en détailComparaison des performances d'éclairages
Comparaison des performances d'éclairages Présentation Support pour alimenter des ampoules de différentes classes d'efficacité énergétique: une ampoule LED, une ampoule fluorescente, une ampoule à incandescence
Plus en détailDocumentation pour l envoi de SMS
Documentation pour l envoi de SMS Mise à jour : Septembre 2010 Solution d envoi de SMS pour professionnels 1 Création et gestion de compte 2 Envoi par e-mail 3 Envoi par commande http 4 Publipostage SMS
Plus en détailCHARGES SOCIALES DES TRAVAILLEURS INDÉPENDANTS
CHARGES SOCIALES DES TRAVAILLEURS INDÉPENDANTS Paiement des cotisations : précisions sur les nouvelles modalités de calcul et d appel de cotisations des indépendants Circulaire RSI n 2007-91 du 20 juillet
Plus en détailExo7. Matrice d une application linéaire. Corrections d Arnaud Bodin.
Exo7 Matrice d une application linéaire Corrections d Arnaud odin. Exercice Soit R muni de la base canonique = ( i, j). Soit f : R R la projection sur l axe des abscisses R i parallèlement à R( i + j).
Plus en détail"-:-,'c-,,-------1supports/ docs utilisés
1 Module : riche N 1 Découverte de (différents composants) Découverte du clavier et du logiciel Word Découverte du moteur de recherche «Google» Activités j-s-a-v-o-ir-s---f-ai-r-e-;-ê "-:-,'c-,,-------1
Plus en détailComplément d information concernant la fiche de concordance
Sommaire SAMEDI 0 DÉCEMBRE 20 Vous trouverez dans ce dossier les documents correspondants à ce que nous allons travailler aujourd hui : La fiche de concordance pour le DAEU ; Page 2 Un rappel de cours
Plus en détail