Petite introduction à la logique propositionnelle
|
|
- Anatole Paris
- il y a 7 ans
- Total affichages :
Transcription
1 Polytech Marseille Formation HUGO Petite introduction à la logique propositionnelle Exercice 1. Mon boss m a dit! "Si tu ne termines pas ce programme avant vendredi, tu n auras pas de promotion cette année!" Qu a donc voulu dire mon boss? Examinons cette phrase plus en détail. Il y a trois éléments importants : Si tu ne termines pas à temps alors tu n auras pas de promotion tu ne termines pas à temps implique tu n auras pas de promotion P Q La phrase "Tu ne termines pas à temps", notée P, est une proposition élémentaire ou assertion. C est un énoncé pouvant prendre deux valeurs, vrai (V) ou faux (F), appelées valeurs de vérité. On représente une assertion et ses valeurs par une table de vérité : P V F "Tu n auras pas de promotion", notée Q, est aussi une proposition prenant comme valeur vrai ou faux. De nouvelles propositions, ou formules propositionnelles, peuvent être construites à partir d une ou plusieurs propositions élémentaires à l aide de connecteurs logiques. Par exemple, dans l exemple précédent, le symbole représente l implication. Elle relie logiquement deux propositions 1
2 (ici, élémentaires). L ensemble P Q constitue une nouvelle proposition qui peut donc être vraie ou fausse, en fonction des valeurs des propositions P et Q qui la constituent. Par exemple, si P est vraie (i.e. si je n ai pas terminé mon travail à temps) et si Q est fausse (i.e. si j ai eu une promotion), alors cela signifie que mon boss n a pas fait ce qui était annoncé : la formule P Q est fausse. Inversement, si P est vraie (i.e. si je n ai pas terminé mon travail à temps) et si Q est vraie (i.e. si je n ai pas eu une promotion), alors cela signifie que mon boss a fait ce qui était annoncé : la formule P Q est vraie. Il est intéressant de remarquer que si P est fausse (i.e. si j ai terminé mon travail à temps) et si Q est vraie (i.e. si je n ai pas eu de promotion), alors la formule P Q est tout de même vraie. En effet, mon boss n a rien promis dans le cas où je termine à temps. Il m a juste assuré de ne pas me donner de promotion si je ne terminais pas à temps. Au final les valeurs prisent par la proposition P Q dépendent des valeurs de P et Q. Elles peuvent être représentées par la table de vérité suivante : P Q P Q V V V V F F F V V F F V Ce tableau se lit ligne par ligne. Par exemple pour la première ligne, il faut lire : si P et Q sont vraies, la proposition P Q est vraie. 2
3 Nous venons de voir un premier connecteur logique, l implication, notée. Un autre connecteur important est la négation (non). La négation inverse simplement les valeurs (i.e. le sens) d une proposition. Par exemple, "non P ", notée P signifie "tu termines à temps" et Q signifie "tu auras une promotion". Pour la proposition élémentaire précédente P, on obtient donc la table de vérité : P P V F F V Plus généralement, si A est une formule alors A est vraie lorsque A est fausse, et inversement, A est fausse lorsque A est vraie. 1. Donnez la table de vérité de la proposition P. 2. Donnez la table de vérité de la proposition (P Q). 3. La négation, pourtant logiquement simple, est source de bon nombre d erreurs de raisonnement. Par exemple, quelles sont les négations de (a) ce lapin est blanc ; (b) f est la fonction nulle ; (c) x 0 ; (d) Pierre possède un chien et un chat. Exercice 2. Boss, pouvez-vous reformuler? La dernière phrase de l exercice précédant met en œuvre un nouveau connecteur logique, le "ET", noté. Par exemple, considérons les deux propositions suivantes : R : "tu mangeras" et S : "tu boiras". 3
4 La table de vérité de la proposition R S est : R S R S V V V V F F F V F F F F Ce qui signifie que la proposition R S est vraie lorsque R et S sont simultanément vraies, et uniquement dans ce cas là. Deux autres connecteurs classiques sont le "OU", noté, et l équivalence, notée. Comme pour l implication, ce sont des connecteurs binaires ce qui signifie qu ils connectent deux formules. Il existe trois significations au "OU" en français. Réfléchissez au sens de ces trois phrases : Une serveuse au restaurant vous propose : "fromage ou dessert?" (OU exclusif) D après une étude récente : "tout parent a une fille ou un garçon." (OU inclusif) Une mère dit à son fils : "Mange ta soupe, ou tu seras puni!" (OU conditionnel) En informatique et mathématiques, le symbole représente le "ou inclusif". L équivalence entre deux propositions est vraie lorsque les deux propositions prennent les mêmes valeurs simultanément. 1. Donnez la table de vérité du "ou inclusif", du "ou exclusif" et de l équivalence. 2. Montrez à l aide des tables de vérité que la proposition P Q peut être réécrite à partir de P et Q avec deux implications et un opérateur ET. 3. Montrez que la proposition P Q est équivalente à la proposition P Q. 4
5 4. En déduire une reformulation de la phrase du boss. Exercice 3. Excès de colère Les connecteurs peuvent bien sûr être imbriqués afin d obtenir des formules plus complexes. Par exemple, Q (R S) signifie "tu n auras pas de promotion et, aux choix, ou tu mangeras ou tu boiras." Cette formule contient 5 sous-formules : les trois propositions élémentaires Q, R et S ; la proposition R S ; et la formule complète Q (R S) (toujours considérée comme une sousformule). La table de vérité de cette formule est : Q R S R S Q (R S) V V V V V V V F V V V F V V V V F F F F F V V V F F V F V F F F V V F F F F F F Revenons à notre boss. Dans un excès de colère, il a crié : P (Q R) 5
6 1. Que signifie en langage naturel cette proposition? 2. Énumérez toutes les sous-formules de cette proposition? 3. Donnez sa table de vérité. Exercice 4. Équivalences remarquables Nous avons déjà vu que P est équivalent à P. D autres équivalences remarquables sont les lois de Morgan (P Q) P Q et (P Q) P Q et les règles de distributivité : (P Q) R (P R) (Q R) et (P Q) R (P R) (Q R). 2. Vérifiez que les lois de Morgan sont bien vraies. 3. Vérifiez que les règles de distributivité sont bien vraies. 4. Montrez que l implication est transitive. 5. En utilisant les lois de Morgan, montrez que P Q et P Q peuvent s écrire avec des et uniquement. 6. Vérifiez votre réponse à l aide d une table de vérité. A partir de ces résultats, on peut se convaincre que tout énoncé peut s écrire en utilisant seulement les deux connecteurs logiques et. 6
7 Exercice 5. Forme normale Un littéral est une proposition élémentaire ou la négation d une proposition élémentaire (ex : P ; Q). Une clause est une disjonction de littéraux (ex : P Q R). Une forme normale conjonctive (CNF) est une conjonction de clauses (ex : (P Q R) (Q S)). Un cube est une conjonction de littéraux (ex : P Q R). Une forme normale disjonctive (DNF) est une disjonction de cube (ex : (P Q R) (Q S)). Théorème 0.1 Toute proposition admet une proposition en forme normale conjonctive (CNF) qui lui est équivalente. Toute proposition admet une proposition en forme normale disjonctive qui lui est équivalente. Voici l algorithme permettant de transformer une proposition en CNF. AlgoCNF 1. Éliminer les connecteurs et. 2. Appliquer les lois de Morgan. 3. Éliminer les doubles négations. 4. Appliquer les règles de distributivité. 1. Précisez comment réaliser les différentes étapes de AlgoCNF. 2. Mettez sous forme CNF les propositions suivantes : (A B C) P (Q R) 7
8 ((P Q) (R S)). 3. Donnez l algorithme permettant de mettre une formule en DNF. 4. Testez votre algorithme sur les exemples précédents. Exercice 6. Interprétation et satisfaisabilité Nous avons vu qu une formule est une combinaison logique de formules plus petites. Les propositions élémentaires sont aussi appelées des propositions atomiques. L évaluation d une proposition (i.e. une ligne dans sa table de vérité) dépend uniquement des valeurs affectées aux propositions atomiques. Une affectation à vrai ou faux de l ensemble des propositions atomiques est appelée une interprétation. Par exemple, considérons la formule Q (R S) et sa table de vérité : Q R S R S Q (R S) V V V V V V V F V V V F V V V V F F F F F V V V F F V F V F F F V V F F F F F F Lorsqu on interprète Q à vrai, R à faux et S à vrai, la formule Q (R S) s évalue à vrai. Lorsqu on considère l interprétation (Q = F, R = V, S = V ), la formule Q (R S) devient fausse. Une proposition est satisfaisable ou cohérente lorsqu il existe une interprétation qui la rend vraie. Une proposition est insatisfaisable ou incohérente lorsqu il n existe pas d interprétations qui la rendent vraie (donc toute interprétation la rend fausse). Une formule qui est vraie pour toute interprétation est appelé une 8
9 tautologie. Une formule qui est fausse pour toute interprétation est appelé une antilogie. Clairement, la négation d une tautologie est une antilogie. Des tautologies bien connues sont (P P ) P et (P P ) P, ou encore les lois de Morgan (P Q) P Q et (P Q) P Q. On peut généraliser ces définitions pour des ensembles E de formules : E est satisfaisable ou cohérente lorsqu il existe une interprétation qui rend toutes les formules de E vraies. Une proposition est insatisfaisable ou incohérente lorsqu il n existe pas d interprétations qui rendent simultanément toutes les formules de E vraies. Enfin on dit qu une formule P est une conséquence logique de E si chaque interprétation rendant toutes les formules de E vraies rend aussi P vraie. On écrit alors E = P. Théorème 0.2 E = P si, et seulement si, E { P } est incohérent. 1. Les formules suivantes sont elles cohérentes? (A B) ( A B) (A B). P ( Q (P Q)). 2. L ensemble de formules {P Q R, P Q, P R, Q, R} est-il satisfiable? 3. P est-il conséquence logique de (P Q) (P Q). Peut-on décider "informatiquement" si une formule est satisfaisable? C est ce que nous allons voir dans l exercice suivant. Exercice 7. Méthode de résolution Plusieurs algorithmes permettent de décider si une formule est satisfaisable ou non. Nous présentons ici l algorithme de résolution de J. A. Robinson. Son principe est le suivant. Soient deux clauses C 1 X et C 2 X de S, où les C 1 9
10 et C 2 sont des clauses de littéraux. Alors on peut générer la clause résolvante C 1 C 2. On a alors que {C 1 X, C 2 X} = C 1 C 2. Autrement dit, toute interprétation qui rend vraies à la fois C 1 X et C 2 X rend vraies C 1 C 2, et inversement. Ou encore (C 1 X) (C 2 X) est satisfaisable si, et seulement si, C 1 C 2 est satisfaisable. D autre part, si S est un ensemble de clauses contenant une clause unitaire, i.e. composée d un seul littéral, alors nous pouvons supprimer les clauses comprenant ce littéral, et enlever le littéral opposé des autres clauses. Par exemple si S = {A B C, A, A B, B C}, alors S contient la clause unitaire A. On peut donc simplifier S en { B, B C}. Ce processus s appelle la propagation des clauses unitaires. On peut alors élaborer l algorithme de résolution suivant. En entrée, nous considérons un ensemble de clauses S représentant la formule. En sortie l algorithme détermine si la formule est satisfaisable, ou non. AlgoSAT début tant que S change et que S ne contient pas la clause vide faire propager les clauses unitaires de S. si il existe dans S deux clauses C 1 X et C 2 X permettant de construire une nouvelle résultante C 1 C 2 non encore contenu dans S alors ajouter la clause C 1 C 2 à S fin tant que si S contient la clause vide alors retourner insatisfaisable sinon retourner satisfaisable fin 10
11 1. Utilisez cet algorithme pour décider si l ensemble {P Q R, P Q, P R, Q, R} est satisfiable. 2. Même question avec la formule ((P Q) (R S)). Exercice 8. Make it yourself! 1. Entrainez-vous avec les exercices de Odile Papini, enseignante à Polytech Marseille. MASTER2-RE-TC/TD-log-prop.pdf 2. Lisez et comprenez le cours de Georges Koepfler (MCF à Paris 5) sur la logique booléenne et les simplifications de formules logiques sous forme normal conjonctive à l adresse suivante : Illustrez chaque concept par un exemple de votre invention. Références web pdf 11
Arithmétique binaire. Chapitre. 5.1 Notions. 5.1.1 Bit. 5.1.2 Mot
Chapitre 5 Arithmétique binaire L es codes sont manipulés au quotidien sans qu on s en rende compte, et leur compréhension est quasi instinctive. Le seul fait de lire fait appel au codage alphabétique,
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é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étailChapitre 1 : Évolution COURS
Chapitre 1 : Évolution COURS OBJECTIFS DU CHAPITRE Savoir déterminer le taux d évolution, le coefficient multiplicateur et l indice en base d une évolution. Connaître les liens entre ces notions et savoir
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é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étailLogique 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étailProgrammation linéaire
1 Programmation linéaire 1. Le problème, un exemple. 2. Le cas b = 0 3. Théorème de dualité 4. L algorithme du simplexe 5. Problèmes équivalents 6. Complexité de l Algorithme 2 Position du problème Soit
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étailComparaison de fonctions Développements limités. Chapitre 10
PCSI - 4/5 www.ericreynaud.fr Chapitre Points importants 3 Questions de cours 6 Eercices corrigés Plan du cours 4 Eercices types 7 Devoir maison 5 Eercices Chap Et s il ne fallait retenir que si points?
Plus en détailFonctions homographiques
Seconde-Fonctions homographiques-cours Mai 0 Fonctions homographiques Introduction Voir le TP Géogébra. La fonction inverse. Définition Considérons la fonction f définie par f() =. Alors :. f est définie
Plus en détailSouad EL Bernoussi. Groupe d Analyse Numérique et Optimisation Rabat http ://www.fsr.ac.ma/ano/
Recherche opérationnelle Les démonstrations et les exemples seront traités en cours Souad EL Bernoussi Groupe d Analyse Numérique et Optimisation Rabat http ://www.fsr.ac.ma/ano/ Table des matières 1 Programmation
Plus en détailMPI Activité.10 : Logique binaire Portes logiques
MPI Activité.10 : Logique binaire Portes logiques I. Introduction De nombreux domaines font appel aux circuits logiques de commutation : non seulement l'informatique, mais aussi les technologies de l'asservissement
Plus en détailArchitecture des ordinateurs TD1 - Portes logiques et premiers circuits
Architecture des ordinateurs TD1 - Portes logiques et premiers circuits 1 Rappel : un peu de logique Exercice 1.1 Remplir la table de vérité suivante : a b a + b ab a + b ab a b 0 0 0 1 1 0 1 1 Exercice
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étailOLYMPIADES ACADEMIQUES DE MATHEMATIQUES. 15 mars 2006 CLASSE DE PREMIERE ES, GMF
OLYMPIADES ACADEMIQUES DE MATHEMATIQUES 15 mars 2006 CLASSE DE PREMIERE ES, GMF Durée : 4 heures Les quatre exercices sont indépendants Les calculatrices sont autorisées L énoncé comporte trois pages Exercice
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étailI. Cas de l équiprobabilité
I. Cas de l équiprobabilité Enoncé : On lance deux dés. L un est noir et l autre est blanc. Calculer les probabilités suivantes : A «Obtenir exactement un as» «Obtenir au moins un as» C «Obtenir au plus
Plus en détailQuelques algorithmes simples dont l analyse n est pas si simple
Quelques algorithmes simples dont l analyse n est pas si simple Michel Habib habib@liafa.jussieu.fr http://www.liafa.jussieu.fr/~habib Algorithmique Avancée M1 Bioinformatique, Octobre 2008 Plan Histoire
Plus en détailSoit la fonction affine qui, pour représentant le nombre de mois écoulés, renvoie la somme économisée.
ANALYSE 5 points Exercice 1 : Léonie souhaite acheter un lecteur MP3. Le prix affiché (49 ) dépasse largement la somme dont elle dispose. Elle décide donc d économiser régulièrement. Elle a relevé qu elle
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é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étail2.4 Représentation graphique, tableau de Karnaugh
2 Fonctions binaires 45 2.4 Représentation graphique, tableau de Karnaugh On peut définir complètement une fonction binaire en dressant son tableau de Karnaugh, table de vérité à 2 n cases pour n variables
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étailRepré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étailExercices Corrigés Premières notions sur les espaces vectoriels
Exercices Corrigés Premières notions sur les espaces vectoriels Exercice 1 On considére le sous-espace vectoriel F de R formé des solutions du système suivant : x1 x 2 x 3 + 2x = 0 E 1 x 1 + 2x 2 + x 3
Plus en détailAC AB. A B C x 1. x + 1. d où. Avec un calcul vu au lycée, on démontre que cette solution admet deux solutions dont une seule nous intéresse : x =
LE NOMBRE D OR Présentation et calcul du nombre d or Euclide avait trouvé un moyen de partager en deu un segment selon en «etrême et moyenne raison» Soit un segment [AB]. Le partage d Euclide consiste
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étailCompter à Babylone. L écriture des nombres
Compter à Babylone d après l article de Christine Proust «Le calcul sexagésimal en Mésopotamie : enseignement dans les écoles de scribes» disponible sur http://www.dma.ens.fr/culturemath/ Les mathématiciens
Plus en détailProbabilité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étailDossier Logique câblée pneumatique
Dossier Logique câblée pneumatique Festo Belgium SA Rue Colonel Bourg 11 BE-13 Bruxelles www.festo.com Logique câblée pneumatique Chaque schéma de commande est élaboré selon une logique déterminée. Cette
Plus en détailChp. 4. Minimisation d une fonction d une variable
Chp. 4. Minimisation d une fonction d une variable Avertissement! Dans tout ce chapître, I désigne un intervalle de IR. 4.1 Fonctions convexes d une variable Définition 9 Une fonction ϕ, partout définie
Plus en détailActivité pour développer le concept de phrase et de mot
Combien de mots? Activité d apprentissage : en petits groupes ou en grand groupe Faire prendre conscience aux élèves qu une phrase est formée de mots. Bâtonnets Déroulement Dire une courte phrase (p. ex.,
Plus en détailFormula Negator, Outil de négation de formule.
Formula Negator, Outil de négation de formule. Aymerick Savary 1,2, Mathieu Lassale 1,2, Jean-Louis Lanet 1 et Marc Frappier 2 1 Université de Limoges 2 Université de Sherbrooke Résumé. Cet article présente
Plus en détailProbabilités. Une urne contient 3 billes vertes et 5 billes rouges toutes indiscernables au toucher.
Lycée Jean Bart PCSI Année 2013-2014 17 février 2014 Probabilités Probabilités basiques Exercice 1. Vous savez bien qu un octet est une suite de huit chiffres pris dans l ensemble {0; 1}. Par exemple 01001110
Plus en détailLa NP-complétude. Johanne Cohen. PRISM/CNRS, Versailles, France.
La NP-complétude Johanne Cohen PRISM/CNRS, Versailles, France. Références 1. Algorithm Design, Jon Kleinberg, Eva Tardos, Addison-Wesley, 2006. 2. Computers and Intractability : A Guide to the Theory of
Plus en détailINTRODUCTION A L ELECTRONIQUE NUMERIQUE ECHANTILLONNAGE ET QUANTIFICATION I. ARCHITECTURE DE L ELECRONIQUE NUMERIQUE
INTRODUCTION A L ELECTRONIQUE NUMERIQUE ECHANTILLONNAGE ET QUANTIFICATION I. ARCHITECTURE DE L ELECRONIQUE NUMERIQUE Le schéma synoptique ci-dessous décrit les différentes étapes du traitement numérique
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étailManuel d utilisation 26 juin 2011. 1 Tâche à effectuer : écrire un algorithme 2
éducalgo Manuel d utilisation 26 juin 2011 Table des matières 1 Tâche à effectuer : écrire un algorithme 2 2 Comment écrire un algorithme? 3 2.1 Avec quoi écrit-on? Avec les boutons d écriture........
Plus en détailLogique : 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étailIN 102 - Cours 1. 1 Informatique, calculateurs. 2 Un premier programme en C
IN 102 - Cours 1 Qu on le veuille ou non, les systèmes informatisés sont désormais omniprésents. Même si ne vous destinez pas à l informatique, vous avez de très grandes chances d y être confrontés en
Plus en détailVision industrielle et télédétection - Détection d ellipses. Guillaume Martinez 17 décembre 2007
Vision industrielle et télédétection - Détection d ellipses Guillaume Martinez 17 décembre 2007 1 Table des matières 1 Le projet 3 1.1 Objectif................................ 3 1.2 Les choix techniques.........................
Plus en détailTransmission d informations sur le réseau électrique
Transmission d informations sur le réseau électrique Introduction Remarques Toutes les questions en italique devront être préparées par écrit avant la séance du TP. Les préparations seront ramassées en
Plus en détailLes nombres entiers. Durée suggérée: 3 semaines
Les nombres entiers Durée suggérée: 3 semaines Aperçu du module Orientation et contexte Pourquoi est-ce important? Dans le présent module, les élèves multiplieront et diviseront des nombres entiers concrètement,
Plus en détailLA PHYSIQUE DES MATERIAUX. Chapitre 1 LES RESEAUX DIRECT ET RECIPROQUE
LA PHYSIQUE DES MATERIAUX Chapitre 1 LES RESEAUX DIRECT ET RECIPROQUE Pr. A. Belayachi Université Mohammed V Agdal Faculté des Sciences Rabat Département de Physique - L.P.M belayach@fsr.ac.ma 1 1.Le réseau
Plus en détailOLYMPIADES ACADÉMIQUES DE MATHÉMATIQUES
OLYMPIADES ACADÉMIQUES DE MATHÉMATIQUES ACADÉMIE DE RENNES SESSION 2006 CLASSE DE PREMIERE DURÉE : 4 heures Ce sujet s adresse à tous les élèves de première quelle que soit leur série. Il comporte cinq
Plus en détailCUEEP Département Mathématiques E 821 : Problèmes du premier degré 1/27
Problèmes du premier degré à une ou deux inconnues Rappel Méthodologique Problèmes qui se ramènent à une équation à une inconnue Soit l énoncé suivant : Monsieur Duval a 4 fois l âge de son garçon et sa
Plus en détailEncryptions, compression et partitionnement des données
Encryptions, compression et partitionnement des données Version 1.0 Grégory CASANOVA 2 Compression, encryption et partitionnement des données Sommaire 1 Introduction... 3 2 Encryption transparente des
Plus en détailTâche complexe produite par l académie de Clermont-Ferrand. Mai 2012 LE TIR A L ARC. (d après une idée du collège des Portes du Midi de Maurs)
(d après une idée du collège des Portes du Midi de Maurs) Table des matières Fiche professeur... 2 Fiche élève... 5 1 Fiche professeur Niveaux et objectifs pédagogiques 5 e : introduction ou utilisation
Plus en détailCalcul 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étailChapitre I Notions de base et outils de travail
Chapitre I Notions de base et outils de travail Objectifs Connaître les principes fondateurs et l historique du langage Java S informer des principales caractéristiques du langage Java Connaître l environnement
Plus en détailInformatique Générale
Informatique Générale Guillaume Hutzler Laboratoire IBISC (Informatique Biologie Intégrative et Systèmes Complexes) guillaume.hutzler@ibisc.univ-evry.fr Cours Dokeos 625 http://www.ens.univ-evry.fr/modx/dokeos.html
Plus en détailSystème binaire. Algèbre booléenne
Algèbre booléenne Système binaire Système digital qui emploie des signaux à deux valeurs uniques En général, les digits employés sont 0 et 1, qu'on appelle bits (binary digits) Avantages: on peut utiliser
Plus en détailSystèmes décisionnels et programmation avancée
Systèmes décisionnels et programmation avancée M1 SIR Philippe Muller et Mustapha Mojahid, Matthieu Serrurier, Marie-Christine Scheix 2014-2015 Introduction structure du cours intervenants introduction
Plus en détailEteindre. les. lumières MATH EN JEAN 2013-2014. Mme BACHOC. Elèves de seconde, première et terminale scientifiques :
MTH EN JEN 2013-2014 Elèves de seconde, première et terminale scientifiques : Lycée Michel Montaigne : HERITEL ôme T S POLLOZE Hélène 1 S SOK Sophie 1 S Eteindre Lycée Sud Médoc : ROSIO Gauthier 2 nd PELGE
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étailFluctuation d une fréquence selon les échantillons - Probabilités
Fluctuation d une fréquence selon les échantillons - Probabilités C H A P I T R E 3 JE DOIS SAVOIR Calculer une fréquence JE VAIS ÊTRE C APABLE DE Expérimenter la prise d échantillons aléatoires de taille
Plus en détailCH.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étailTP 1. Prise en main du langage Python
TP. Prise en main du langage Python Cette année nous travaillerons avec le langage Python version 3. ; nous utiliserons l environnement de développement IDLE. Étape 0. Dans votre espace personnel, créer
Plus en détailExplications des items d'obii pour la validation du B2I
Explications des items d'obii pour la validation du B2I Rappel le socle commun compte sept compétences dont l'une d'entre elles porte sur : la maîtrise des techniques usuelles de l information et de la
Plus en détailLa persistance des nombres
regards logique & calcul La persistance des nombres Quand on multiplie les chiffres d un nombre entier, on trouve un autre nombre entier, et l on peut recommencer. Combien de fois? Onze fois au plus...
Plus en détailRelation entre deux variables : estimation de la corrélation linéaire
CHAPITRE 3 Relation entre deux variables : estimation de la corrélation linéaire Parmi les analyses statistiques descriptives, l une d entre elles est particulièrement utilisée pour mettre en évidence
Plus en détailOptimisation non linéaire Irène Charon, Olivier Hudry École nationale supérieure des télécommunications
Optimisation non linéaire Irène Charon, Olivier Hudry École nationale supérieure des télécommunications A. Optimisation sans contrainte.... Généralités.... Condition nécessaire et condition suffisante
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étailÉPREUVE COMMUNE DE TIPE 2008 - Partie D
ÉPREUVE COMMUNE DE TIPE 2008 - Partie D TITRE : Les Fonctions de Hachage Temps de préparation :.. 2 h 15 minutes Temps de présentation devant le jury :.10 minutes Entretien avec le jury :..10 minutes GUIDE
Plus en détailCours 1 : Introduction Ordinateurs - Langages de haut niveau - Application
Université de Provence Licence Math-Info Première Année V. Phan Luong Algorithmique et Programmation en Python Cours 1 : Introduction Ordinateurs - Langages de haut niveau - Application 1 Ordinateur Un
Plus en détailLes indices à surplus constant
Les indices à surplus constant Une tentative de généralisation des indices à utilité constante On cherche ici en s inspirant des indices à utilité constante à définir un indice de prix de référence adapté
Plus en détailProbabilités. Rappel : trois exemples. Exemple 2 : On dispose d un dé truqué. On sait que : p(1) = p(2) =1/6 ; p(3) = 1/3 p(4) = p(5) =1/12
Probabilités. I - Rappel : trois exemples. Exemple 1 : Dans une classe de 25 élèves, il y a 16 filles. Tous les élèves sont blonds ou bruns. Parmi les filles, 6 sont blondes. Parmi les garçons, 3 sont
Plus en détailCours d initiation à la programmation en C++ Johann Cuenin
Cours d initiation à la programmation en C++ Johann Cuenin 11 octobre 2014 2 Table des matières 1 Introduction 5 2 Bases de la programmation en C++ 7 3 Les types composés 9 3.1 Les tableaux.............................
Plus en détailUNE EXPERIENCE, EN COURS PREPARATOIRE, POUR FAIRE ORGANISER DE L INFORMATION EN TABLEAU
Odile VERBAERE UNE EXPERIENCE, EN COURS PREPARATOIRE, POUR FAIRE ORGANISER DE L INFORMATION EN TABLEAU Résumé : Cet article présente une réflexion sur une activité de construction de tableau, y compris
Plus en détailRé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étailBases de données Cours 5 : Base de données déductives
Cours 5 : ESIL Université de la méditerranée Odile.Papini@esil.univmed.fr http://odile.papini.perso.esil.univmed.fr/sources/bd.html Plan du cours 1 Introduction 2 approche sémantique approche axiomatique
Plus en détailPlus petit, plus grand, ranger et comparer
Unité 11 Plus petit, plus grand, ranger et comparer Combien y a-t-il de boules sur la tige A? Sur la tige B? A B Le nombre de boules sur la tige A est plus grand que sur la tige B. On écrit : > 2 On lit
Plus en détailA. Structurer le catalogue. v Dans le menu Catalogue, sélectionnez Catégories. 1. Les catégories. Chapitre 6 : Construire le catalogue ...
Chapitre 6 :. Construire. le catalogue 177 Chapitre 6 : Construire le catalogue PrestaShop 1.5 - Créer un site de e-commerce A. Structurer le catalogue Ne vous précipitez pas pour créer vos produits immédiatement
Plus en détailBien lire l énoncé 2 fois avant de continuer - Méthodes et/ou Explications Réponses. Antécédents d un nombre par une fonction
Antécédents d un nombre par une fonction 1) Par lecture graphique Méthode / Explications : Pour déterminer le ou les antécédents d un nombre a donné, on trace la droite (d) d équation. On lit les abscisses
Plus en détailLe langage SQL Rappels
Le langage SQL Rappels Description du thème : Présentation des principales notions nécessaires pour réaliser des requêtes SQL Mots-clés : Niveau : Bases de données relationnelles, Open Office, champs,
Plus en détailModèles à Événements Discrets. Réseaux de Petri Stochastiques
Modèles à Événements Discrets Réseaux de Petri Stochastiques Table des matières 1 Chaînes de Markov Définition formelle Idée générale Discrete Time Markov Chains Continuous Time Markov Chains Propriétés
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étailCalculabilité Cours 3 : Problèmes non-calculables. http://www.irisa.fr/lande/pichardie/l3/log/
Calculabilité Cours 3 : Problèmes non-calculables http://www.irisa.fr/lande/pichardie/l3/log/ Problèmes et classes de décidabilité Problèmes et classes de décidabilité Nous nous intéressons aux problèmes
Plus en détail1/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étailAuxiliaire avoir au présent + participe passé
LE PASSÉ COMPOSÉ 1 1. FORMATION DU PASSÉ COMPOSÉ Formation : Auxiliaire avoir au présent + participe passé PARLER MANGER REGARDER J ai parlé Tu as parlé Il/elle/on a parlé Nous avons parlé Vous avez parlé
Plus en détailGé nié Logiciél Livré Blanc
Gé nié Logiciél Livré Blanc Version 0.2 26 Octobre 2011 Xavier Blanc Xavier.Blanc@labri.fr Partie I : Les Bases Sans donner des définitions trop rigoureuses, il faut bien commencer ce livre par énoncer
Plus en détailINF 232: Langages et Automates. Travaux Dirigés. Université Joseph Fourier, Université Grenoble 1 Licence Sciences et Technologies
INF 232: Langages et Automates Travaux Dirigés Université Joseph Fourier, Université Grenoble 1 Licence Sciences et Technologies Année Académique 2013-2014 Année Académique 2013-2014 UNIVERSITÉ JOSEPH
Plus en détail6. Les différents types de démonstrations
LES DIFFÉRENTS TYPES DE DÉMONSTRATIONS 33 6. Les différents types de démonstrations 6.1. Un peu de logique En mathématiques, une démonstration est un raisonnement qui permet, à partir de certains axiomes,
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étailAlgorithmique et structures de données I
Algorithmique et structures de données I Riadh Ben Messaoud Université 7 novembre à Carthage Faculté des Sciences Économiques et de Gestion de Nabeul 1ère année Licence Fondamentale IAG 1ère année Licence
Plus en détailFonctions de plusieurs variables
Module : Analyse 03 Chapitre 00 : Fonctions de plusieurs variables Généralités et Rappels des notions topologiques dans : Qu est- ce que?: Mathématiquement, n étant un entier non nul, on définit comme
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étailInitiation à la Programmation en Logique avec SISCtus Prolog
Initiation à la Programmation en Logique avec SISCtus Prolog Identificateurs Ils sont représentés par une suite de caractères alphanumériques commençant par une lettre minuscule (les lettres accentuées
Plus en détailProbabilités sur un univers fini
[http://mp.cpgedupuydelome.fr] édité le 10 août 2015 Enoncés 1 Proailités sur un univers fini Evènements et langage ensemliste A quelle condition sur (a,, c, d) ]0, 1[ 4 existe-t-il une proailité P sur
Plus en détailIntelligence Artificielle et Systèmes Multi-Agents. Badr Benmammar bbm@badr-benmammar.com
Intelligence Artificielle et Systèmes Multi-Agents Badr Benmammar bbm@badr-benmammar.com Plan La première partie : L intelligence artificielle (IA) Définition de l intelligence artificielle (IA) Domaines
Plus en détailChapitre 5 LE MODELE ENTITE - ASSOCIATION
Chapitre 5 LE MODELE ENTITE - ASSOCIATION 1 Introduction Conception d une base de données Domaine d application complexe : description abstraite des concepts indépendamment de leur implémentation sous
Plus en détailRappels sur les suites - Algorithme
DERNIÈRE IMPRESSION LE 14 septembre 2015 à 12:36 Rappels sur les suites - Algorithme Table des matières 1 Suite : généralités 2 1.1 Déition................................. 2 1.2 Exemples de suites............................
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étailAlgorithme. Table des matières
1 Algorithme Table des matières 1 Codage 2 1.1 Système binaire.............................. 2 1.2 La numérotation de position en base décimale............ 2 1.3 La numérotation de position en base binaire..............
Plus en détailCCP PSI - 2010 Mathématiques 1 : un corrigé
CCP PSI - 00 Mathématiques : un corrigé Première partie. Définition d une structure euclidienne sur R n [X]... B est clairement symétrique et linéaire par rapport à sa seconde variable. De plus B(P, P
Plus en détailIndications pour une progression au CM1 et au CM2
Indications pour une progression au CM1 et au CM2 Objectif 1 Construire et utiliser de nouveaux nombres, plus précis que les entiers naturels pour mesurer les grandeurs continues. Introduction : Découvrir
Plus en détailCapacité d un canal Second Théorème de Shannon. Théorie de l information 1/34
Capacité d un canal Second Théorème de Shannon Théorie de l information 1/34 Plan du cours 1. Canaux discrets sans mémoire, exemples ; 2. Capacité ; 3. Canaux symétriques ; 4. Codage de canal ; 5. Second
Plus en détailExo7. Limites de fonctions. 1 Théorie. 2 Calculs
Eo7 Limites de fonctions Théorie Eercice Montrer que toute fonction périodique et non constante n admet pas de ite en + Montrer que toute fonction croissante et majorée admet une ite finie en + Indication
Plus en détailContexte. Pour cela, elles doivent être très compliquées, c est-à-dire elles doivent être très différentes des fonctions simples,
Non-linéarité Contexte Pour permettre aux algorithmes de cryptographie d être sûrs, les fonctions booléennes qu ils utilisent ne doivent pas être inversées facilement. Pour cela, elles doivent être très
Plus en détail