Algèbre de Boole - Fonctions Booléennes
|
|
- Jean-Paul Baril
- il y a 8 ans
- Total affichages :
Transcription
1 Architecture des ordinateurs Licence Informatique - Université de Provence Jean-Marc Talbot Algèbre de Boole - Fonctions Booléennes jtalbot@cmi.univ-mrs.fr L3 Informatique - Université de Provence () Architecture des ordinateurs 42 / 86 L3 Informatique - Université de Provence () Architecture des ordinateurs 43 / 86 Contrôleur d affichage 7 segments Contrôleur d affichage 7 segments (II) n3 n2 n1 n s7 s6 s5 s4 s3 s2 s1 F : {, 1} 4 {, 1} 7 L3 Informatique - Université de Provence () Architecture des ordinateurs 44 / 86 L3 Informatique - Université de Provence () Architecture des ordinateurs 45 / 86
2 Contrôleur d affichage 7 segments (III) F s 1 s 2 s 3 s 4 s 6 s 6 s Algèbre de Boole C est une structure algébrique donnée par un ensemble à deux valeurs {, 1} (ou {, }, {vrai, faux}) et les trois opérations suivantes : la conjonction (/2) :. ( et - and ) la disjonction (/2) : + ( ou - or ) le complément (/1) : ( non - not ) satisfaisant les axiomes suivants Commutativité Associativité a.b = b.a a + (b + c) = (a + b) + c a + b = b + a a.(b.c) = (a.b).c L3 Informatique - Université de Provence () Architecture des ordinateurs 46 / 86 L3 Informatique - Université de Provence () Architecture des ordinateurs 47 / 86 Algèbre de Boole : axiomes (suite) Distributivité a.(b + c) = a.b + a.c a + (b.c) = (a + b).(a + c) Eléments neutres : 1.a = a.1 = a + a = a + = a Complément a.ā = a + ā = 1 Convention : la conjonction est plus prioritaire que le disjonction. Algèbre de Boole : opérateurs Le définition suivante des opérateurs satisfait l ensemble des axiomes le complément la conjonction la disjonction a ā 1 1 a b a.b a b a + b L3 Informatique - Université de Provence () Architecture des ordinateurs 48 / 86 L3 Informatique - Université de Provence () Architecture des ordinateurs 49 / 86
3 Algèbre de Boole : propriétés Les propriétés suivantes peuvent être déduites des axiomes Elément absorbant : Absorption Idempotence Involution a. =.a = a + 1 = 1 + a = 1 a.(a + b) = a a.a = a a + (a.b) = a a + a = a Fonctions booléennes Une fonction booléenne (d arité n) f : {, 1} n {, 1} peut être donnée de manière extensionnelle par sa table de vérité x y z m = f (x, y, z) Lois de De Morgan ā = a par une expression booléenne, qui est une expression définie avec les constantes et les opérateurs de l algèbre de Boole et un certain nombre de variables x, y, z, x 1,..., x n a.b = ā + b a + b = ā. b z + xȳz + z + z L3 Informatique - Université de Provence () Architecture des ordinateurs 5 / 86 L3 Informatique - Université de Provence () Architecture des ordinateurs 51 / 86 Fonctions booléennes : FND (I) Formes normales disjonctives Une expression booléenne est en forme normale disjonctive si elle est écrit comme une disjonction de monômes chaque monône étant une conjonction de littéraux un littéral étant soit les constantes, 1, soit une variable x, soit le complément de x, x. Exemple : (x.y. z) + ( x.z) + y Fonctions booléennes : FND (II) théorème Toute expression booléenne est équivalente à une expression en forme normale disjonctive. preuve on suppose les variables comme étant x 1,..., x n, 1 On considère la table de vérité associé à l expression et appelons f la fonction booléenne ainsi représentée 2 supposons que f vaille 1 pour k entrées dans cette table (et donc pour les 2 n k autres entrées). Comme + 1 = 1 on peut écrire f comme f f k où f i : {, 1} n {, 1} n est à 1 que pour une seule entrée. 3 Maintenant pour chaque f i, il est simple de voir que le monôme y y n défini par y j = x j si la ieme valeur de l entrée est 1 et y j = x j sinon représente précisément la fonction f i. L3 Informatique - Université de Provence () Architecture des ordinateurs 52 / 86 L3 Informatique - Université de Provence () Architecture des ordinateurs 53 / 86
4 Fonctions booléennes : FND (III) Fonctions booléennes Une fonction booléenne f à trois paramètres x, y, z : x y z f = f f f f 4 1 corollaire Toute fonction booléenne peut être représentée comme une expression booléenne. preuve Il suffit d extraire l expression en forme normale disjonctive de la table de vérité de la fonction booléenne. avec f 1 = x.ȳ.z f 2 = x.y.z f 3 = x.ȳ.z f 4 = x.y. z donc f (x, y, z) = x.ȳ.z + x.y.z + x.ȳ.z + x.y. z L3 Informatique - Université de Provence () Architecture des ordinateurs 54 / 86 L3 Informatique - Université de Provence () Architecture des ordinateurs 55 / 86 Fonctions booléennes : FNC (I) Fonctions booléennes : FNC (II) Formes normales conjonctives (FNC) Une expression booléenne est en forme normale conjonctive si elle écrit comme une conjonction de sommes chaque somme étant une disjonction de littéraux un littéral étant soit les constantes, 1, soit une variable x, soit le complément de x, x. théorème Toute expression booléenne est équivalente à une expression en forme normale conjonctive. On considère le produit d une somme y y n introduite pour chaque ligne de la table de vérité valant avec y i = x j si la ieme valeur de l entrée vaut et y j = x j sinon. Exemple : (x + y + z).( x + z).1 L3 Informatique - Université de Provence () Architecture des ordinateurs 56 / 86 L3 Informatique - Université de Provence () Architecture des ordinateurs 57 / 86
5 Fonctions booléennes : simplifications Tableaux de Karnaugh (I) La méthode par les tableaux de Karnaugh est une méthode visuelle pour la simplification de formules logiques. Simplifications de fonctions booléennes utilisation des axiomes et des propriétés de l algèbre de Boole. la méthode des tableaux de Karnaugh Tableaux de Karnaugh Méthode de simplification basée sur la propriété (a.b) + (a. b) = a.(b + b) = a Table de vérité tableau bi-dimensionnel (séparation en deux de l ensemble des variables (un pour les lignes, un pour les colonnes)) Lignes et colonnes sont indexées par toutes les valuations des variables correspondantes tel que entre deux lignes (resp. colonnes) une seule valeur booléenne change. pour les variables x, y, z z L3 Informatique - Université de Provence () Architecture des ordinateurs 58 / 86 L3 Informatique - Université de Provence () Architecture des ordinateurs 59 / 86 Tableaux de Karnaugh (II) On remplit ce tableau avec les valeurs de la fonction booléenne. z Tableaux de Karnaugh (III) Si deux cases adjacentes contiennent tous les deux un 1 alors les deux monômes correspondants dans la forme normale disjonctives ne diffèrent que sur une variable, donc une simplification est possible. z z Cette fonction booléenne a pour forme normale disjonctive x.y.z + x.y.z + x.ȳ.z + x.y. z z L3 Informatique - Université de Provence () Architecture des ordinateurs 6 / 86 L3 Informatique - Université de Provence () Architecture des ordinateurs 61 / 86
6 Tableaux de Karnaugh (IV) z x.y.z + x.y. z = x.y.(z + z) = x.y On ne garde dans le monôme d un regroupement que les variables dont la valeur ne change pas. z x.y + x.z z x.y + x.z + y.z Tableaux de Karnaugh (III) On ne garde dans le monôme d un regroupement que les variables dont la valeur ne change pas. Tous les 1 de la table de vérité doivent être considérés : un 1 peut être utilisé dans plusieurs regroupement ; au pire un 1 isolé est un regroupement de taille un. Le tableau doit être considéré de façon circulaire (on peut replier le tableau comme une sphère). Les regroupements peuvent également être de taille 4,8,... (toutes puissances de 2) zt y. z + x.ȳ.z. t L3 Informatique - Université de Provence () Architecture des ordinateurs 62 / 86 L3 Informatique - Université de Provence () Architecture des ordinateurs 63 / 86 Portes Logiques (I) Porte ET Porte OU Porte NON Circuits combinatoires L3 Informatique - Université de Provence () Architecture des ordinateurs 64 / 86 L3 Informatique - Université de Provence () Architecture des ordinateurs 65 / 86
7 Portes Logiques (II) Le circuit Majorité Porte NON-ET Porte NON-OU Porte OU-X A B C M M = Ā.B.C + A. B.C + A.B. C + A.B.C L3 Informatique - Université de Provence () Architecture des ordinateurs 66 / 86 L3 Informatique - Université de Provence () Architecture des ordinateurs 67 / 86 Le circuit Majorité (II) Chronogramme du circuit Majorité A B C entree A M entree B entree C M = A.B + A.C + B.C sortie M La sortie M ne dépend que des entrées A, B et C. On parle alors de circuit combinatoire L3 Informatique - Université de Provence () Architecture des ordinateurs 68 / 86 L3 Informatique - Université de Provence () Architecture des ordinateurs 69 / 86
8 Circuits combinatoires Demi-additionneur (I) un circuit combinatoire défini par un ensemble de portes reliées les unes aux autres. les sorties des portes sont reliés aux entrées d autres portes (définissant une orientation des connexions) en suivant l orientation des connections, il est impossible que partant de la sortie d une porte, on revient à l une des ses entrées (graphe acyclique) Un circuit combinatoire peut être vu comme une porte logique (à plusieurs sorties). entrées : a et b sorties : s la somme et r la retenue a b s r a b s r On parle de demi-additioneur (additioneur 1 bit) : ne permet pas d être étendu en un additioneur n bits. L3 Informatique - Université de Provence () Architecture des ordinateurs 7 / 86 L3 Informatique - Université de Provence () Architecture des ordinateurs 71 / 86 Demi-additionneur (II) Additionneur (I) a b s r s = a b r = a.b est l opérateur de ou-exclusif (XOR) entrées : a, b et rin la retenue d entrée sorties : s la somme et rout la retenue de sortie a b rin s rout a b rin s rout L3 Informatique - Université de Provence () Architecture des ordinateurs 72 / 86 L3 Informatique - Université de Provence () Architecture des ordinateurs 73 / 86
9 Additionneur (II) Additionneur 4 bits (I) s = a b rin a b rout = majorite(a, b, rin) rin s On ajoute les nombres (b 3 b 2 b 1 b ) 2 et (a 3 a 2 a 1 a ) 2, on obtient un résultat (s 3 s 2 s 1 s ) 2 et un bit de débordement c (correspondant à une retenue éventuelle). on utilise un demi-additionneur et 3 additionneurs. la retenue est propagée d un additionneur à l autre. rout L3 Informatique - Université de Provence () Architecture des ordinateurs 74 / 86 L3 Informatique - Université de Provence () Architecture des ordinateurs 75 / 86 Additionneur 4 bits (II) De l idéal à la réalité Les circuits combinatoires sont une idéalisation dans lesquels b 3 a 3 b 2 a 2 b 1 a 1 b a le temps de propagation n est pas pris en compte adder adder adder 1/2-adder la sortie est disponible dès que les entrées sont présentes c s 3 s 2 s 1 s Inconvénient : la propagation des retenues nécessite du temps qui ralentit l opération. En réalité le temps de passage de à 1 n est pas immédiat (temps de parcours du courant électrique) instantané (temps de réponse d une porte) L3 Informatique - Université de Provence () Architecture des ordinateurs 76 / 86 L3 Informatique - Université de Provence () Architecture des ordinateurs 77 / 86
10 De l idéal à la réalité (II) De l idéal à la réalité (II) Porte NOT Porte NAND Porte NOR lorsque V e < crit alors V s V cc lorsque crit < V e alors V s L3 Informatique - Université de Provence () Architecture des ordinateurs 78 / 86 L3 Informatique - Université de Provence () Architecture des ordinateurs 79 / 86 Décodeurs (I) Décodeurs (II) Un décodeur permet de décoder un mot binaire : il comprend n entrées et 2 n sorties. la ième sortie de décodeur vaut 1 si les n entrées forment l entier i, ie (e n e n 1... e 1 e ) 2 = (i) 1. un décodeur 2 vers 4 : e e 1 s s 1 s 2 s s = e.e 1 s 1 = e.e 1 s 2 = e.e 1 s 3 = e.e 1 e e 1 e n 1 e n Décodeur s s 1 s 2 2 n s 2 2 n 1 2 n Utilisation : Décodage d une adresse : (adresse cellule mémoire) Décodage d une instruction : (code opérande commande d un circuit) L3 Informatique - Université de Provence () Architecture des ordinateurs 8 / 86 L3 Informatique - Université de Provence () Architecture des ordinateurs 81 / 86
11 Multiplexeur Autres circuits combinatoires Un multiplexeur comporte 2 n entrées, 1 sortie et n lignes de sélection (entrées). la sortie du multiplexeur vaut la valeur de la ième entrée si l entier i est codé sur les lignes de sélection, ie (l n l n 1... l 1 l ) 2 = (i) 1. e e 1 e 2 2 n e 2 2 n e 1 2 n Multiplexeur s Comparateurs Sélecteurs Codeurs Démultiplexeurs... l n 1 l n l 1 l L3 Informatique - Université de Provence () Architecture des ordinateurs 82 / 86 L3 Informatique - Université de Provence () Architecture des ordinateurs 83 / 86 Unité arithmétique et logique (I) L unité arithmétique et logique (ALU) regroupe au sein d un même circuit différentes opérations arithmétique et logique. ALU 1 bit (et,ou,non,addition) Unité arithmétique et logique (II) L unité arithmétique et logique (ALU) regroupe au sein d un même circuit différentes opérations arithmétique et logique. ALU 1 bit (et,ou,non,addition) L3 Informatique - Université de Provence () Architecture des ordinateurs 84 / 86 L3 Informatique - Université de Provence () Architecture des ordinateurs 85 / 86
12 Unité arithmétique et logique (III) ALU 4 bits à base d ALU 1 bits c c 1 b 3 a 3 b 2 a 2 b 1 a 1 b a c s 3 s 2 s 1 s L3 Informatique - Université de Provence () Architecture des ordinateurs 86 / 86
Systè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étailIFT1215 Introduction aux systèmes informatiques
Introduction aux circuits logiques de base IFT25 Architecture en couches Niveau 5 Niveau 4 Niveau 3 Niveau 2 Niveau Niveau Couche des langages d application Traduction (compilateur) Couche du langage d
Plus en dé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é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étailCours Premier semestre
C.Belleudy, D.Gaffé Université de Nice-Sophia Antipolis DEUG Première année SM,MP,MI UECS EEA Électronique Numérique Cours Premier semestre C. Belleudy, D.Gaffé version 3. 2 Électronique Numérique Chapitre
Plus en détailArithmé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é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étailLes portes logiques. Voici les symboles des trois fonctions de base. Portes AND. Portes OR. Porte NOT
Les portes logiques Nous avons jusqu ici utilisé des boutons poussoirs et une lampe pour illustrer le fonctionnement des opérateurs logiques. En électronique digitale, les opérations logiques sont effectuées
Plus en détailDe même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que
Introduction. On suppose connus les ensembles N (des entiers naturels), Z des entiers relatifs et Q (des nombres rationnels). On s est rendu compte, depuis l antiquité, que l on ne peut pas tout mesurer
Plus en détailLes fonctions logiques
1 Les fonctions logiques Le fonctionnement des ordinateurs tout comme d autres appareils électroniques repose sur l emploi des circuits électroniques de logique binaire ou électronique numérique. Dans
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é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étailRESUME DE COURS ET CAHIER D'EXERCICES
ARCITECTURE INFO-UP REUME DE COUR ET CAIER D'EXERCICE EPITA F. GABON Architecture EPITA INFO-UP F. Gabon COUR LIVRE D ARCITECTURE 3 REUME D'ELECTRONIUE LOGIUE 4 YTEME DE NUMERATION 6 ALGEBRE DE BOOLE 6
Plus en détailBCI - TPSP - Processeurs et Architectures Numériques
BCI - TPSP - Processeurs et Architectures Numériques Jean-Luc Danger Guillaume Duc Tarik Graba Philippe Matherat Yves Mathieu Lirida Naviner Alexis Polti Jean Provost c 2002-2011 groupe SEN, Télécom ParisTech
Plus en détailConcevoir son microprocesseur
Concevoir son microprocesseur structure des systèmes logiques Jean-Christophe Buisson Collection Technosup Ellipses Avant-propos Ce livre s adresse aux étudiants en informatique de licence et maîtrise,
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étailDOCM 2013 http://docm.math.ca/ Solutions officielles. 1 2 10 + 1 2 9 + 1 2 8 = n 2 10.
A1 Trouvez l entier positif n qui satisfait l équation suivante: Solution 1 2 10 + 1 2 9 + 1 2 8 = n 2 10. En additionnant les termes du côté gauche de l équation en les mettant sur le même dénominateur
Plus en dé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étailStructures algébriques
Structures algébriques 1. Lois de composition s Soit E un ensemble. Une loi de composition interne sur E est une application de E E dans E. Soient E et F deux ensembles. Une loi de composition externe
Plus en détailOrganisation des Ordinateurs
Organisation des Ordinateurs Bernard Boigelot E-mail : boigelot@montefiore.ulg.ac.be URL : http://www.montefiore.ulg.ac.be/~boigelot/ http://www.montefiore.ulg.ac.be/~boigelot/cours/org/ 1 Chapitre 1 Les
Plus en détailReprésentation des Nombres
Chapitre 5 Représentation des Nombres 5. Representation des entiers 5.. Principe des représentations en base b Base L entier écrit 344 correspond a 3 mille + 4 cent + dix + 4. Plus généralement a n a n...
Plus en détailLivret - 1. Informatique : le matériel. --- Ordinateur, circuits, codage, système, réseau. Cours informatique programmation.
Livret - 1 Informatique : le matériel --- Ordinateur, circuits, codage, système, réseau. RM di scala Cours informatique programmation Rm di Scala - http://www.discala.net SOMMAIRE Introduction 2 Notations
Plus en détailIntroduction à l étude des Corps Finis
Introduction à l étude des Corps Finis Robert Rolland (Résumé) 1 Introduction La structure de corps fini intervient dans divers domaines des mathématiques, en particulier dans la théorie de Galois sur
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étailChapitre 2. Matrices
Département de mathématiques et informatique L1S1, module A ou B Chapitre 2 Matrices Emmanuel Royer emmanuelroyer@mathuniv-bpclermontfr Ce texte mis gratuitement à votre disposition a été rédigé grâce
Plus en détailCours d Analyse. Fonctions de plusieurs variables
Cours d Analyse Fonctions de plusieurs variables Licence 1ère année 2007/2008 Nicolas Prioux Université de Marne-la-Vallée Table des matières 1 Notions de géométrie dans l espace et fonctions à deux variables........
Plus en détailArchitecture : Circuits numériques et éléments d architecture
Ecole Nationale Supérieure d Informatique et de Mathématiques Appliquées Architecture : Circuits numériques et éléments d architecture 1 ère année Année scolaire 2014 2015 Consignes Les exercices de ce
Plus en détail1 Définition et premières propriétés des congruences
Université Paris 13, Institut Galilée Département de Mathématiques Licence 2ème année Informatique 2013-2014 Cours de Mathématiques pour l Informatique Des nombres aux structures Sylviane R. Schwer Leçon
Plus en détailASR1 TD7 : Un microprocesseur RISC 16 bits
{Â Ö Ñ º ØÖ Ý,È ØÖ ºÄÓ Ù,Æ ÓÐ ºÎ ÝÖ Ø¹ ÖÚ ÐÐÓÒ} Ò ¹ÐÝÓÒº Ö ØØÔ»»Ô Ö Óº Ò ¹ÐÝÓÒº Ö» Ö Ñ º ØÖ Ý»¼ Ö½» ASR1 TD7 : Un microprocesseur RISC 16 bits 13, 20 et 27 novembre 2006 Présentation générale On choisit
Plus en détailLogiciel de Base. I. Représentation des nombres
Logiciel de Base (A1-06/07) Léon Mugwaneza ESIL/Dépt. Informatique (bureau A118) mugwaneza@univmed.fr I. Représentation des nombres Codage et représentation de l'information Information externe formats
Plus en détailIV- Comment fonctionne un ordinateur?
1 IV- Comment fonctionne un ordinateur? L ordinateur est une alliance du hardware (le matériel) et du software (les logiciels). Jusqu à présent, nous avons surtout vu l aspect «matériel», avec les interactions
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étailCours d Informatique
Cours d Informatique 1ère année SM/SMI 2007/2008, Info 2 Département de Mathématiques et d Informatique, Université Mohammed V elbenani@hotmail.com sayah@fsr.ac.ma 2007/2008 Info2, 1ère année SM/SMI 1
Plus en détailLimites finies en un point
8 Limites finies en un point Pour ce chapitre, sauf précision contraire, I désigne une partie non vide de R et f une fonction définie sur I et à valeurs réelles ou complees. Là encore, les fonctions usuelles,
Plus en détailArchitecture matérielle des systèmes informatiques
Architecture matérielle des systèmes informatiques IDEC, Renens. Version novembre 2003. Avertissement : ce support de cours n est pas destiné à l autoformation et doit impérativement être complété par
Plus en détailVIII- Circuits séquentiels. Mémoires
1 VIII- Circuits séquentiels. Mémoires Maintenant le temps va intervenir. Nous avions déjà indiqué que la traversée d une porte ne se faisait pas instantanément et qu il fallait en tenir compte, notamment
Plus en détailPour l épreuve d algèbre, les calculatrices sont interdites.
Les pages qui suivent comportent, à titre d exemples, les questions d algèbre depuis juillet 003 jusqu à juillet 015, avec leurs solutions. Pour l épreuve d algèbre, les calculatrices sont interdites.
Plus en détailGéométrie dans l espace Produit scalaire et équations
Chapitre 11. 2ème partie Géométrie dans l espace Produit scalaire et équations Terminale S Ce que dit le programme : CONTENUS CAPACITÉS ATTENDUES COMMENTAIRES 2ème partie Produit scalaire Produit scalaire
Plus en dé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étailFormes quadratiques. 1 Formes quadratiques et formes polaires associées. Imen BHOURI. 1.1 Définitions
Formes quadratiques Imen BHOURI 1 Ce cours s adresse aux étudiants de niveau deuxième année de Licence et à ceux qui préparent le capes. Il combine d une façon indissociable l étude des concepts bilinéaires
Plus en dé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é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étailThéorie et codage de l information
Théorie et codage de l information Les codes linéaires - Chapitre 6 - Principe Définition d un code linéaire Soient p un nombre premier et s est un entier positif. Il existe un unique corps de taille q
Plus en détailI - PUISSANCE D UN POINT PAR RAPPORT A UN CERCLE CERCLES ORTHOGONAUX POLES ET POLAIRES
I - PUISSANCE D UN POINT PAR RAPPORT A UN CERCLE CERCLES ORTHOGONAUX POLES ET POLAIRES Théorème - Définition Soit un cercle (O,R) et un point. Une droite passant par coupe le cercle en deux points A et
Plus en détailEnoncé et corrigé du brevet des collèges dans les académies d Aix- Marseille, Montpellier, Nice Corse et Toulouse en 2000. Énoncé.
Enoncé et corrigé du brevet des collèges dans les académies d Aix- Marseille, Montpellier, Nice Corse et Toulouse en 2000. Énoncé. I- ACTIVITES NUMERIQUES (12 points) Exercice 1 (3 points) On considère
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étail3. Conditionnement P (B)
Conditionnement 16 3. Conditionnement Dans cette section, nous allons rappeler un certain nombre de définitions et de propriétés liées au problème du conditionnement, c est à dire à la prise en compte
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é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é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étailCours de Probabilités et de Statistique
Cours de Probabilités et de Statistique Licence 1ère année 2007/2008 Nicolas Prioux Université Paris-Est Cours de Proba-Stat 2 L1.2 Science-Éco Chapitre Notions de théorie des ensembles 1 1.1 Ensembles
Plus en détailCHAPITRE IV. L axiome du choix
CHAPITRE IV L axiome du choix Résumé. L axiome du choix AC affirme qu il est légitime de construire des objets mathématiques en répétant un nombre infini de fois l opération de choisir un élément dans
Plus en détailElectronique Numérique
Electronique Numérique 1er tome Systèmes combinatoires Etienne Messerli Yves Meyer Septembre 2010 Version 1.4 Mise à jour de ce manuel La base du présent manuel a été écrit par M. Yves Meyer de l'école
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étail201-105-RE SOLUTIONS CHAPITRE 1
Chapitre1 Matrices 1 201-105-RE SOLUTIONS CHAPITRE 1 EXERCICES 1.2 1. a) 1 3 Ë3 7 3 2 Ë 1 16 pas défini d) 16 30 17 3 e) Ë 7 68 22 16 13 Ë 5 18 6 2. a) 0 4 4 4 0 4 Ë4 4 0 Ë 0 4 32 4 4 0 4 32 32 4 0 4 4
Plus en détailLa maison Ecole d ' Amortissement d un emprunt Classe de terminale ES. Ce qui est demandé. Les étapes du travail
La maison Ecole d ' Amortissement d un emprunt Classe de terminale ES Suites géométriques, fonction exponentielle Copyright c 2004 J.- M. Boucart GNU Free Documentation Licence L objectif de cet exercice
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é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étail* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours
Exo7 Continuité (étude globale). Diverses fonctions Exercices de Jean-Louis Rouget. Retrouver aussi cette fiche sur www.maths-france.fr * très facile ** facile *** difficulté moyenne **** difficile *****
Plus en détailV- Manipulations de nombres en binaire
1 V- Manipulations de nombres en binaire L ordinateur est constitué de milliards de transistors qui travaillent comme des interrupteurs électriques, soit ouverts soit fermés. Soit la ligne est activée,
Plus en détailPatentamt JEuropaisches. European Patent Office Numéro de publication: 0 1 1 0 7 6 7 Office européen des brevets DEMANDE DE BREVET EUROPEEN
Patentamt JEuropaisches European Patent Office Numéro de publication: 0 1 1 0 7 6 7 Office européen des brevets ^ DEMANDE DE BREVET EUROPEEN Numéro de dépôt: 83402232.9 @ Int. Cl.3: G 06 F 7/52 Date de
Plus en détail- Instrumentation numérique -
- Instrumentation numérique - I.Présentation du signal numérique. I.1. Définition des différents types de signaux. Signal analogique: Un signal analogique a son amplitude qui varie de façon continue au
Plus en détailChapitre 3. Quelques fonctions usuelles. 1 Fonctions logarithme et exponentielle. 1.1 La fonction logarithme
Chapitre 3 Quelques fonctions usuelles 1 Fonctions logarithme et eponentielle 1.1 La fonction logarithme Définition 1.1 La fonction 7! 1/ est continue sur ]0, +1[. Elle admet donc des primitives sur cet
Plus en détailThéorie des Graphes Cours 3: Forêts et Arbres II / Modélisation
IFIPS S7 - informatique Université Paris-Sud 11 1er semestre 2009/2010 Théorie des Graphes Cours 3: Forêts et Arbres II / 1 Forêts et arbres II Théorème 1.1. Les assertions suivantes sont équivalentes
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é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é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é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étailLicence Sciences et Technologies Examen janvier 2010
Université de Provence Introduction à l Informatique Licence Sciences et Technologies Examen janvier 2010 Année 2009-10 Aucun document n est autorisé Les exercices peuvent être traités dans le désordre.
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étailIntroduction à la théorie des graphes. Solutions des exercices
CAHIERS DE LA CRM Introduction à la théorie des graphes Solutions des exercices Didier Müller CAHIER N O 6 COMMISSION ROMANDE DE MATHÉMATIQUE 1 Graphes non orientés Exercice 1 On obtient le graphe biparti
Plus en détailCORRIGE LES NOMBRES DECIMAUX RELATIFS. «Réfléchir avant d agir!»
Corrigé Cours de Mr JULES v3.3 Classe de Quatrième Contrat 1 Page 1 sur 13 CORRIGE LES NOMBRES DECIMAUX RELATIFS. «Réfléchir avant d agir!» «Correction en rouge et italique.» I. Les nombres décimaux relatifs.
Plus en détaildonnées en connaissance et en actions?
1 Partie 2 : Présentation de la plateforme SPSS Modeler : Comment transformer vos données en connaissance et en actions? SPSS Modeler : l atelier de data mining Large gamme de techniques d analyse (algorithmes)
Plus en détailInitiation à LabView : Les exemples d applications :
Initiation à LabView : Les exemples d applications : c) Type de variables : Créer un programme : Exemple 1 : Calcul de c= 2(a+b)(a-3b) ou a, b et c seront des réels. «Exemple1» nom du programme : «Exemple
Plus en détailPlus courts chemins, programmation dynamique
1 Plus courts chemins, programmation dynamique 1. Plus courts chemins à partir d un sommet 2. Plus courts chemins entre tous les sommets 3. Semi-anneau 4. Programmation dynamique 5. Applications à la bio-informatique
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étailRappels et compléments, première partie : Nombres complexes et applications à la géométrie
Rappels et compléments, première partie : Nombres complexes et applications à la géométrie 1 Définition des nombres complexes On définit sur les couples de réels une loi d addition comme suit : (x; y)
Plus en détailDéveloppement décimal d un réel
4 Développement décimal d un réel On rappelle que le corps R des nombres réels est archimédien, ce qui permet d y définir la fonction partie entière. En utilisant cette partie entière on verra dans ce
Plus en détailCOURS EULER: PROGRAMME DE LA PREMIÈRE ANNÉE
COURS EULER: PROGRAMME DE LA PREMIÈRE ANNÉE Le cours de la première année concerne les sujets de 9ème et 10ème années scolaires. Il y a bien sûr des différences puisque nous commençons par exemple par
Plus en détailExemples de problèmes et d applications. INF6953 Exemples de problèmes 1
Exemples de problèmes et d applications INF6953 Exemples de problèmes Sommaire Quelques domaines d application Quelques problèmes réels Allocation de fréquences dans les réseaux radio-mobiles Affectation
Plus en détailCorrection TD algorithmique
Affectation Correction TD algorithmique Exercice 1 algo affect1b b 5 a b+1 b 2 Il vaut faire passer la notion de variable et la notion de stockage mémoire. Une variable n a donc pas d historique et à un
Plus en détail108y= 1 où x et y sont des entiers
Polynésie Juin 202 Série S Exercice Partie A On considère l équation ( ) relatifs E :x y= où x et y sont des entiers Vérifier que le couple ( ;3 ) est solution de cette équation 2 Déterminer l ensemble
Plus en détailMicroprocesseur + Logiciel
Microprocesseur + Logiciel Robot EVALBOT MOHAMED AKIL BUREAU 5253 UNITE IGI 1001 PROGRAMMATION DES MICROPROCESSEURS Présentation [IGI1001] CONTEXTE SCIENTIFIQUE... 4 1. OBJECTIFS DE L UNITE... 6 2. OBJECTIFS
Plus en détailDU BINAIRE AU MICROPROCESSEUR - D ANGELIS CIRCUITS CONFIGURABLES NOTION DE PROGRAMMATION
145 NOTION DE PROGRAMMATION 1/ Complétons notre microprocesseur Nous avons, dans les leçons précédentes décrit un microprocesseur théorique, cependant il s inspire du 6800, premier microprocesseur conçu
Plus en détailCours d introduction à l informatique. Partie 2 : Comment écrire un algorithme? Qu est-ce qu une variable? Expressions et instructions
Cours d introduction à l informatique Partie 2 : Comment écrire un algorithme? Qu est-ce qu une variable? Expressions et instructions Qu est-ce qu un Une recette de cuisine algorithme? Protocole expérimental
Plus en détailExercices - Nombres complexes : corrigé. Formes algébriques et trigonométriques, module et argument
Formes algébriques et trigonométriques, module et argument Exercice - - L/Math Sup - On multiplie le dénominateur par sa quantité conjuguée, et on obtient : Z = 4 i 3 + i 3 i 3 = 4 i 3 + 3 = + i 3. Pour
Plus en détailSTAGE IREM 0- Premiers pas en Python
Université de Bordeaux 16-18 Février 2014/2015 STAGE IREM 0- Premiers pas en Python IREM de Bordeaux Affectation et expressions Le langage python permet tout d abord de faire des calculs. On peut évaluer
Plus en détailLes opérations binaires
Les opérations binaires Compétences associées A2 : Analyser et interpréter une information numérique Objectifs Etre capable: - De coder les nombres entiers en code complément à 2. - De résoudre les opérations
Plus en détail5 ème Chapitre 4 Triangles
5 ème Chapitre 4 Triangles 1) Médiatrices Définition : la médiatrice d'un segment est l'ensemble des points équidistants des extrémités du segment (cours de 6 ème ). Si M appartient à la médiatrice du
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étailModule 16 : Les fonctions de recherche et de référence
Module 16 : Les fonctions de recherche et de référence 16.0 Introduction L une des fonctions les plus importantes d Excel, c est la possibilité de chercher une valeur spécifique dans un grand nombre de
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étailTD Architecture des ordinateurs. Jean-Luc Dekeyser
TD Architecture des ordinateurs Jean-Luc Dekeyser Fiche 1 Nombres de l informatique Exercice 1 Une entreprise désire réaliser la sauvegarde de ses données sur un site distant. Le volume de données à sauvegarder
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étailFonctions de plusieurs variables : dérivés partielles, diérentielle. Fonctions composées. Fonctions de classe C 1. Exemples
45 Fonctions de plusieurs variables : dérivés partielles, diérentielle. Fonctions composées. Fonctions de classe C 1. Exemples Les espaces vectoriels considérés sont réels, non réduits au vecteur nul et
Plus en détailReprésentation géométrique d un nombre complexe
CHAPITRE 1 NOMBRES COMPLEXES 1 Représentation géométrique d un nombre complexe 1. Ensemble des nombres complexes Soit i le nombre tel que i = 1 L ensemble des nombres complexes est l ensemble des nombres
Plus en détailCryptographie et fonctions à sens unique
Cryptographie et fonctions à sens unique Pierre Rouchon Centre Automatique et Systèmes Mines ParisTech pierre.rouchon@mines-paristech.fr Octobre 2012 P.Rouchon (Mines ParisTech) Cryptographie et fonctions
Plus en détailREALISATION D UNE CALCULATRICE GRACE AU LOGICIEL CROCODILE CLIPS 3.
1 sur 6 REALISATION D UNE CALCULATRICE GRACE AU LOGICIEL CROCODILE CLIPS 3. OBJECTIF - PUBLIC - LOGICIEL - MATERIEL - METHODE - BIBLIOGRAPHIE - AVANTAGES - DIFFICULTES - AUTEUR DU DOCUMENT - LE DOCUMENT
Plus en détailGPA770 Microélectronique appliquée Exercices série A
GPA770 Microélectronique appliquée Exercices série A 1. Effectuez les calculs suivants sur des nombres binaires en complément à avec une représentation de 8 bits. Est-ce qu il y a débordement en complément
Plus en détailPriorités de calcul :
EXERCICES DE REVISION POUR LE PASSAGE EN QUATRIEME : Priorités de calcul : Exercice 1 : Calcule en détaillant : A = 4 + 5 6 + 7 B = 6 3 + 5 C = 35 5 3 D = 6 7 + 8 E = 38 6 3 + 7 Exercice : Calcule en détaillant
Plus en détail