L'informatique, c'est logique!
|
|
- Marianne St-Denis
- il y a 8 ans
- Total affichages :
Transcription
1 L'informatique, c'est logique! Sylvain Conchon Universite Paris-Sud 11 INRIA Saclay { ^Ile-de-France Olympiades Academiques de Mathematiques juin 2010 Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
2 Une enigme de logique Sur l'^le des purs, qui disent toujours la verite, et des pires, qui mentent toujours, vous rencontrez deux habitants, Remi et Jacques. Remi vous dit : "Au moins l'un de nous deux est un pire" Que sont Remi et Jacques? Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
3 Reponse a l'aide d'un petit raisonnement logique Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
4 Une autre maniere de raisonner Une autre maniere de trouver la solution consiste a enumerer toutes les reponses possibles, puis a verier celles qui sont correctes. Remi Jacques \au moins un de nous deux est un pire" Pur Pur phrase fausse Pur Pire phrase vraie Pire Pur phrase vraie Pire Pire phrase vraie Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
5 Une autre maniere de raisonner Une autre maniere de trouver la solution consiste a enumerer toutes les reponses possibles, puis a verier celles qui sont correctes. Remi Jacques \au moins un de nous deux est un pire" Pur Pur phrase fausse Pur Pire phrase vraie Pire Pur phrase vraie Pire Pire phrase vraie Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
6 Une autre maniere de raisonner Une autre maniere de trouver la solution consiste a enumerer toutes les reponses possibles, puis a verier celles qui sont correctes. Remi Jacques \au moins un de nous deux est un pire" Pur Pur phrase fausse Pur Pire phrase vraie Pire Pur phrase vraie Pire Pire phrase vraie Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
7 Une autre maniere de raisonner Une autre maniere de trouver la solution consiste a enumerer toutes les reponses possibles, puis a verier celles qui sont correctes. Remi Jacques \au moins un de nous deux est un pire" Pur Pur phrase fausse Pur Pire phrase vraie Pire Pur phrase vraie Pire Pire phrase vraie Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
8 Une autre maniere de raisonner Une autre maniere de trouver la solution consiste a enumerer toutes les reponses possibles, puis a verier celles qui sont correctes. Remi Jacques \au moins un de nous deux est un pire" Pur Pur phrase fausse Pur Pire phrase vraie Pire Pur phrase vraie Pire Pire phrase vraie Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
9 Une autre maniere de raisonner Une autre maniere de trouver la solution consiste a enumerer toutes les reponses possibles, puis a verier celles qui sont correctes. Remi Jacques \au moins un de nous deux est un pire" Pur Pur phrase fausse Pur Pire phrase vraie Pire Pur phrase vraie Pire Pire phrase vraie Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
10 Une autre maniere de raisonner Une autre maniere de trouver la solution consiste a enumerer toutes les reponses possibles, puis a verier celles qui sont correctes. Remi Jacques \au moins un de nous deux est un pire" Pur Pur phrase fausse Pur Pire phrase vraie Pire Pur phrase vraie Pire Pire phrase vraie Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
11 Une autre maniere de raisonner Une autre maniere de trouver la solution consiste a enumerer toutes les reponses possibles, puis a verier celles qui sont correctes. Remi Jacques \au moins un de nous deux est un pire" Pur Pur phrase fausse Pur Pire phrase vraie Pire Pur phrase vraie Pire Pire phrase vraie Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
12 Vers un raisonnement mathematique Le calcul des propositions permet de denir mathematiquement ce qu'est un raisonnement logique. Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
13 Vers un raisonnement mathematique Le calcul des propositions permet de denir mathematiquement ce qu'est un raisonnement logique. Ce calcul est base sur des propositions, qui prennent les valeurs de verite vrai ou faux \le ciel est bleu" \il fait beau" \Remi est un pur" et des connecteurs qui relient les propositions \il fait beau" et \Remi est un pur" \Remi est un pur" ou \le ciel est bleu" non \le ciel est bleu" George Boole ( ) Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
14 Tables de verite Les sens des connecteurs et, ou et non sont denis par des tables de verite. A vrai faux non A faux vrai non A est vraie, si A est faux. Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
15 Tables de verite Les sens des connecteurs et, ou et non sont denis par des tables de verite. A vrai faux non A faux vrai non A est vraie, si A est faux. A et B est vraie, si les deux propositions sont vraies. A B A et B vrai vrai vrai vrai faux faux faux vrai faux faux faux faux Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
16 Tables de verite Les sens des connecteurs et, ou et non sont denis par des tables de verite. A vrai faux non A faux vrai non A est vraie, si A est faux. A et B est vraie, si les deux propositions sont vraies. A B A ou B vrai vrai vrai vrai faux vrai faux vrai vrai faux faux faux A B A et B vrai vrai vrai vrai faux faux faux vrai faux faux faux faux A ou B est vraie, si au moins une des deux propositions est vraie. Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
17 Reformulation de l'enigme On peut reformuler l'enigme logique dans le calcul des propositions Soit la proposition A : \Remi est un pur" Soit la proposition B : \Jacques est un pur" Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
18 Reformulation de l'enigme On peut reformuler l'enigme logique dans le calcul des propositions Soit la proposition A : \Remi est un pur" Soit la proposition B : \Jacques est un pur" La proposition \Remi est un pire" est identique a non \Remi est un pur" Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
19 Reformulation de l'enigme On peut reformuler l'enigme logique dans le calcul des propositions Soit la proposition A : \Remi est un pur" Soit la proposition B : \Jacques est un pur" La proposition \Remi est un pire" est identique a non \Remi est un pur" A (Remi est un pur) non A Remi est un pire vrai faux faux faux vrai vrai Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
20 Reformulation de l'enigme \Au moins l'un de nous deux est pire" est identique a \Remi est un pire ou Jacques est un pire" On peut donc reformuler la phrase de Remi en (non A) ou (non B). A B (non A) ou (non B) vrai vrai faux vrai faux vrai faux vrai vrai faux faux vrai Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
21 Reformulation de l'enigme \Au moins l'un de nous deux est pire" est identique a \Remi est un pire ou Jacques est un pire" On peut donc reformuler la phrase de Remi en (non A) ou (non B). A B (non A) ou (non B) vrai vrai faux vrai faux vrai faux vrai vrai faux faux vrai Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
22 Reformulation de l'enigme \Au moins l'un de nous deux est pire" est identique a \Remi est un pire ou Jacques est un pire" On peut donc reformuler la phrase de Remi en (non A) ou (non B). A B (non A) ou (non B) vrai vrai faux vrai faux vrai faux vrai vrai faux faux vrai Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
23 Reformulation de l'enigme \Au moins l'un de nous deux est pire" est identique a \Remi est un pire ou Jacques est un pire" On peut donc reformuler la phrase de Remi en (non A) ou (non B). A B (non A) ou (non B) vrai vrai faux vrai faux vrai faux vrai vrai faux faux vrai Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
24 Reformulation de l'enigme \Au moins l'un de nous deux est pire" est identique a \Remi est un pire ou Jacques est un pire" On peut donc reformuler la phrase de Remi en (non A) ou (non B). A B (non A) ou (non B) vrai vrai faux vrai faux vrai faux vrai vrai faux faux vrai Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
25 Reformulation de l'enigme \Au moins l'un de nous deux est pire" est identique a \Remi est un pire ou Jacques est un pire" On peut donc reformuler la phrase de Remi en (non A) ou (non B). A B (non A) ou (non B) vrai vrai faux vrai faux vrai faux vrai vrai faux faux vrai Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
26 Reformulation de l'enigme \Au moins l'un de nous deux est pire" est identique a \Remi est un pire ou Jacques est un pire" On peut donc reformuler la phrase de Remi en (non A) ou (non B). A B (non A) ou (non B) vrai vrai faux vrai faux vrai faux vrai vrai faux faux vrai Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
27 Reformulation de l'enigme \Au moins l'un de nous deux est pire" est identique a \Remi est un pire ou Jacques est un pire" On peut donc reformuler la phrase de Remi en (non A) ou (non B). A B (non A) ou (non B) vrai vrai faux vrai faux vrai faux vrai vrai faux faux vrai Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
28 Encore une enigme Toujours avec Remi et Jacques, Remi cette fois vous dit : \je suis un pire ou Jacques est un pur" Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
29 Encore une enigme Toujours avec Remi et Jacques, Remi cette fois vous dit : \je suis un pire ou Jacques est un pur" Remi dit en fait simplement (non A) ou B Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
30 Encore une enigme Toujours avec Remi et Jacques, Remi cette fois vous dit : \je suis un pire ou Jacques est un pur" Remi dit en fait simplement (non A) ou B A B (non A) ou B vrai vrai vrai vrai faux faux faux vrai vrai faux faux vrai Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
31 La folie des grandeurs Supposons que vous souhaitiez calculer la table de verite pour une enigme avec 300 variables. Savez-vous (approximativement) quelle quantite de memoire il vous faudrait pour stocker cette table dans un ordinateur? combien de temps serait necessaire pour calculer toutes les lignes de la table? Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
32 Preliminaire : la notation exponentielle Les grandeurs mises en jeux pour ce calcul sont tres grandes. Les grands nombres s'expriment habituellement a l'aide de la notation exponentielle. 10 n = {z } n fois 100 = = = = = 10 6 (1million) = 10 9 (1milliard) Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
33 Quelques ordres de grandeur 107 diam etre de la terre (en m etre) 1011 distance terre - soleil (en m etre) 1030 masse du soleil (en kg) 1041 superce de la voie lact ee (en m2 ) 1060 masse de l'univers (en kg) 1080 nombre d'atomes dans l'univers Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
34 Quantite de memoire necessaire pour stocker la table Une table de verite avec Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
35 Quantite de memoire necessaire pour stocker la table Une table de verite avec 1 variable a 2 combinaisons possibles (lignes) ; Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
36 Quantite de memoire necessaire pour stocker la table Une table de verite avec 1 variable a 2 combinaisons possibles (lignes) ; 2 variables a 2 2 = 4 combinaisons possibles ; Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
37 Quantite de memoire necessaire pour stocker la table Une table de verite avec 1 variable a 2 combinaisons possibles (lignes) ; 2 variables a 2 2 = 4 combinaisons possibles ; 3 variables a = 8 combinaisons possibles ; Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
38 Quantite de memoire necessaire pour stocker la table Une table de verite avec 1 variable a 2 combinaisons possibles (lignes) ; 2 variables a 2 2 = 4 combinaisons possibles ; 3 variables a = 8 combinaisons possibles ; 4 variables a = 16 combinaisons possibles etc. Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
39 Quantite de memoire necessaire pour stocker la table Une table de verite avec 1 variable a 2 combinaisons possibles (lignes) ; 2 variables a 2 2 = 4 combinaisons possibles ; 3 variables a = 8 combinaisons possibles ; 4 variables a = 16 combinaisons possibles etc. Le nombre de lignes d'une table de verite de 300 variables est donc de {z } 300 fois Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
40 Quantite de memoire necessaire pour stocker la table Une table de verite avec 1 variable a 2 combinaisons possibles (lignes) ; 2 variables a 2 2 = 4 combinaisons possibles ; 3 variables a = 8 combinaisons possibles ; 4 variables a = 16 combinaisons possibles etc. Le nombre de lignes d'une table de verite de 300 variables est donc de {z } 300 fois Il nous faudrait donc plus que le nombre d'atomes dans l'univers (10 80 )! Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
41 Un super ordinateur pour calculer les lignes de la table On peut tenter de calculer cette table de verite sur un (super)ordinateur. Celui du CNRS a une puissance de calcul de 207 Tera Flops ( milliards d'operations par seconde) operations/seconde!!! Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
42 et maintenant, calculons... En supposant que le super calculateur du CNRS calcule milliards de lignes de la table de verite par seconde il faudrait environ Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
43 et maintenant, calculons... En supposant que le super calculateur du CNRS calcule milliards de lignes de la table de verite par seconde il faudrait environ Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
44 et maintenant, calculons... En supposant que le super calculateur du CNRS calcule milliards de lignes de la table de verite par seconde il faudrait environ Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
45 et maintenant, calculons... En supposant que le super calculateur du CNRS calcule milliards de lignes de la table de verite par seconde il faudrait environ ( ) Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
46 et maintenant, calculons... En supposant que le super calculateur du CNRS calcule milliards de lignes de la table de verite par seconde il faudrait environ ( ) = annees Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
47 L'eternite pour un calcul En supposant que l'on ait 1 milliard d'ordinateurs comme celui du CNRS, chacun testant milliards de lignes de la table de verite par seconde. Si le calcul de la table avait commence au moment de la naissance de l'univers (il y a 13; 7 milliards d'annees), on aurait fait a ce jour seulement... Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
48 L'eternite pour un calcul En supposant que l'on ait 1 milliard d'ordinateurs comme celui du CNRS, chacun testant milliards de lignes de la table de verite par seconde. Si le calcul de la table avait commence au moment de la naissance de l'univers (il y a 13; 7 milliards d'annees), on aurait fait a ce jour seulement... 0, % du calcul car cela represente seulement de lignes testees! Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
49 Et pourtant... Aujourd'hui, on sait resoudre avec des ordinateurs des \enigmes" qui impliquent plusieurs centaines de milliers de variables! Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
50 Et pourtant... Aujourd'hui, on sait resoudre avec des ordinateurs des \enigmes" qui impliquent plusieurs centaines de milliers de variables! Les logiciels qui permettent de resoudre ces problemes ont de nombreuses applications dans : la conguration des cha^nes de production complexes des entreprises le contr^ole du trac aerien le routage des informations dans les reseaux informatique l'organisation de tournois sportifs la cryptographie la verication de circuits electroniques la preuve automatique de theoremes mathematiques etc... Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
51 La logique dans les microprocesseurs La calcul des propositions est au cur de l'architecture des microprocesseurs. Les valeurs de verite vrai et faux sont remplacees par les valeurs 1 et 0 (chires binaires binary digit ). Les connecteurs logiques sont les operations de base qui servent a construire les operateurs arithmetiques. Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
52 Les transistors Les connecteurs logiques sont construits a partir d'interrupteurs electroniques appeles transistors. Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
53 Les transistors Les connecteurs logiques sont construits a partir d'interrupteurs electroniques appeles transistors. Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
54 Les transistors Les connecteurs logiques sont construits a partir d'interrupteurs electroniques appeles transistors. Aujourd'hui, les microprocesseurs sont constitues de plusieurs milliards de transistors! Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
55 Les transistors Les connecteurs logiques sont construits a partir d'interrupteurs electroniques appeles transistors. Aujourd'hui, les microprocesseurs sont constitues de plusieurs milliards de transistors! Pour realiser des connecteurs logiques, on utilise egalement des transistors inverses. Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
56 Les transistors Les connecteurs logiques sont construits a partir d'interrupteurs electroniques appeles transistors. Aujourd'hui, les microprocesseurs sont constitues de plusieurs milliards de transistors! Pour realiser des connecteurs logiques, on utilise egalement des transistors inverses. Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
57 Realisation du connecteur NON A non A representation symbolique du connecteur non Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
58 Realisation du connecteur NON A non A representation symbolique du connecteur non Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
59 Realisation du connecteur NON A non A representation symbolique du connecteur non Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
60 Realisation du connecteur NON A non A representation symbolique du connecteur non Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
61 Realisation du connecteur ET A B A et B representation symbolique du connecteur et Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
62 Realisation du connecteur ET A B A et B representation symbolique du connecteur et Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
63 Realisation du connecteur ET A B A et B representation symbolique du connecteur et Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
64 Realisation du connecteur ET A B A et B representation symbolique du connecteur et Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
65 Realisation du connecteur ET A B A et B representation symbolique du connecteur et Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
66 Realisation du connecteur ET A B A et B representation symbolique du connecteur et Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
67 Encore des connecteurs L'operateur Ou exculsif (xor) est le \ou" de \fromage ou dessert" au restaurant A B A xor B representation symbolique du connecteur xor L'operateur ou se represente a l'aide du symbole suivant Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
68 Entiers en base 2 Les nombres entiers manipules par un ordinateur sont uniquement composes des chires 0 et 1. On dit que ces nombres sont en base 2 ou simplement que ce sont des nombres binaires. Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
69 Entiers en base 2 Les nombres entiers manipules par un ordinateur sont uniquement composes des chires 0 et 1. On dit que ces nombres sont en base 2 ou simplement que ce sont des nombres binaires. Ainsi, un nombre binaire a n chires a n a n 1 : : : a 2 a 1 a 0 vaut la somme a n 2 n + a n 1 2 n 1 a a a Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
70 Entiers en base 2 Les nombres entiers manipules par un ordinateur sont uniquement composes des chires 0 et 1. On dit que ces nombres sont en base 2 ou simplement que ce sont des nombres binaires. Ainsi, un nombre binaire a n chires a n a n 1 : : : a 2 a 1 a 0 vaut la somme a n 2 n + a n 1 2 n 1 a a a Par exemple, le nombre 13 sera represente en binaire par le nombre = en decimal = = 1101 en binaire Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
71 Decomposition d'un nombre entier en binaire Pour trouver la representation binaire d'un entier, il sut de le diviser par 2 tant que le quotient n'est pas 0. Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
72 Decomposition d'un nombre entier en binaire Pour trouver la representation binaire d'un entier, il sut de le diviser par 2 tant que le quotient n'est pas 0. quotient reste 13=2 = 6 1 Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
73 Decomposition d'un nombre entier en binaire Pour trouver la representation binaire d'un entier, il sut de le diviser par 2 tant que le quotient n'est pas 0. quotient reste 13=2 = 6 1 6=2 = 3 0 Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
74 Decomposition d'un nombre entier en binaire Pour trouver la representation binaire d'un entier, il sut de le diviser par 2 tant que le quotient n'est pas 0. quotient reste 13=2 = 6 1 6=2 = 3 0 3=2 = 1 1 Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
75 Decomposition d'un nombre entier en binaire Pour trouver la representation binaire d'un entier, il sut de le diviser par 2 tant que le quotient n'est pas 0. quotient reste 13=2 = 6 1 6=2 = 3 0 3=2 = 1 1 1=2 = 0 1 Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
76 Decomposition d'un nombre entier en binaire Pour trouver la representation binaire d'un entier, il sut de le diviser par 2 tant que le quotient n'est pas 0. quotient reste 13=2 = 6 1 6=2 = 3 0 3=2 = 1 1 1=2 = 0 1 Le nombre binaire correspondant a cette decomposition correspond aux restes de ces divisions, mais pris a l'envers Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
77 Decomposition d'un nombre entier en binaire Pour trouver la representation binaire d'un entier, il sut de le diviser par 2 tant que le quotient n'est pas 0. quotient reste 13=2 = 6 1 6=2 = 3 0 3=2 = 1 1 1=2 = 0 1 Le nombre binaire correspondant a cette decomposition correspond aux restes de ces divisions, mais pris a l'envers Pour 13, cela donne donc 1101 Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
78 L'addition binaire L'addition de deux nombres binaires est analogue a l'addition avec le systeme decimal Il sut de conna^tre l'addition de deux chires binaires et de propager la retenue retenue = = = = 0 1 Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
79 L'addition binaire L'addition de deux nombres binaires est analogue a l'addition avec le systeme decimal Il sut de conna^tre l'addition de deux chires binaires et de propager la retenue retenue = = = = 0 1 Exemples d'additions avec des nombres de 4 chires binaires : = = = 1010 Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
80 (demi)additionneur binaire En combinant des connecteurs et, ou et xor de la maniere suivante, on obtient le schema d'un demi-additionneur pour 1 chire binaire Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
81 (demi)additionneur binaire En combinant des connecteurs et, ou et xor de la maniere suivante, on obtient le schema d'un demi-additionneur pour 1 chire binaire Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
82 (demi)additionneur binaire En combinant des connecteurs et, ou et xor de la maniere suivante, on obtient le schema d'un demi-additionneur pour 1 chire binaire Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
83 (demi)additionneur binaire En combinant des connecteurs et, ou et xor de la maniere suivante, on obtient le schema d'un demi-additionneur pour 1 chire binaire Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
84 (demi)additionneur binaire En combinant des connecteurs et, ou et xor de la maniere suivante, on obtient le schema d'un demi-additionneur pour 1 chire binaire Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
85 Addition avec retenue Pour realiser un additionneur complet, il faut propager la retenue. Ceci revient a construire une table pour un additionneur a 3 entrees : retenue + a + b retenue en entree retenue en sortie = = = = = = = = 1 1 Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
86 Additionneur complet Un additionneur complet pour calculer la somme r e compose de deux demi-additionneurs : + a + b est le premier calcule la somme x = a+b ainsi que la retenue r 1 le deuxieme calcule la somme y = r e + x ainsi que la retenue r 2 la retenue sortante r S vaut 1 si l'une des deux retenues r 1 ou r 2 vaut 1 Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
87 L'informatique, c'est logique! La logique, et en particulier la logique des propositions, est au cur des ordinateurs les valeurs de verite vrai (1) et faux (0) sont les seuls chires manipules pas les ordinateurs les transistors, veritables briques de base des micro-processeurs, sont utilises pour construire les connecteurs logiques (et, ou, non etc.) toutes les operations arithmetiques sont fabriquees a partir de ces connecteurs Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
88 Pour en savoir plus Pour ceux qui souhaitent decouvrir de nouvelles enigmes logiques Pour ceux qui souhaitent en savoir plus sur l'architecture des ordinateurs Raymond Smullyan Andrew Tanenbaum Sylvain Conchon (LRI, INRIA) L'informatique, c'est logique! 16 Juin / 30
UEO11 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é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é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é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é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é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é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é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é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é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é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étailLe chiffre est le signe, le nombre est la valeur.
Extrait de cours de maths de 6e Chapitre 1 : Les nombres et les opérations I) Chiffre et nombre 1.1 La numération décimale En mathématique, un chiffre est un signe utilisé pour l'écriture des nombres.
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étailPuissances d un nombre relatif
Puissances d un nombre relatif Activités 1. Puissances d un entier relatif 1. Diffusion d information (Activité avec un tableur) Stéphane vient d apprendre à 10h, la sortie d une nouvelle console de jeu.
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é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é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é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étailCalculons avec Albert!
Calculons avec Albert! Par : Guy Lefebvre, 1257 rue Principale, St-Prime, G8J 1V2, 418-251-2170 Guillaume Rainville, 610 8 e rue, St-Prime, G8J 1P6, 418-251-8290 Résumé : Lefebvre G. et Rainville G., 2001,
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étailChapitre 1 I:\ Soyez courageux!
Chapitre 1 I:\ Soyez courageux! Pour ne rien vous cacher, le langage d'assembleur (souvent désigné sous le terme "Assembleur", bien que ce soit un abus de langage, puisque "Assembleur" désigne le logiciel
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étailUne version javascript sera disponible directement dans le cours prochainement.
Author : Cédric Vanconingsloo Ce cours est principalement axé sur la compréhension du fonctionnement d'un ordinateur et l'étude du seul langage qu'il connaisse, le binaire. De ce fait, le cours est relativement
Plus en détailDate : 18.11.2013 Tangram en carré page
Date : 18.11.2013 Tangram en carré page Titre : Tangram en carré Numéro de la dernière page : 14 Degrés : 1 e 4 e du Collège Durée : 90 minutes Résumé : Le jeu de Tangram (appelé en chinois les sept planches
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étailSécurité de l'information
Sécurité de l'information Sylvain Duquesne Université Rennes 1, laboratoire de Mathématiques 24 novembre 2010 Les Rendez-Vous Mathématiques de l'irem S. Duquesne (Université Rennes 1) Sécurité de l'information
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étailLa fonction exponentielle
DERNIÈRE IMPRESSION LE 2 novembre 204 à :07 La fonction exponentielle Table des matières La fonction exponentielle 2. Définition et théorèmes.......................... 2.2 Approche graphique de la fonction
Plus en détailCodage d information. Codage d information : -Définition-
Introduction Plan Systèmes de numération et Représentation des nombres Systèmes de numération Système de numération décimale Représentation dans une base b Représentation binaire, Octale et Hexadécimale
Plus en détailFonction inverse Fonctions homographiques
Fonction inverse Fonctions homographiques Année scolaire 203/204 Table des matières Fonction inverse 2. Définition Parité............................................ 2.2 Variations Courbe représentative...................................
Plus en détailGlossaire des nombres
Glossaire des nombres Numérisation et sens du nombre (4-6) Imprimeur de la Reine pour l'ontario, 008 Nombre : Objet mathématique qui représente une valeur numérique. Le chiffre est le symbole utilisé pour
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étail- un jeu de K cartes représentées par des nombres C 1, C 2 à C K avec K entier strictement
- 0 - - 1 - Domaine technique : Lorsque des personnes jouent aux cartes, ils ont habituellement recours à un tas de cartes mélangées, un joueur tire une carte dans le tas, il ne la voit pas, mais il sait
Plus en détailExercices de dénombrement
Exercices de dénombrement Exercice En turbo Pascal, un entier relatif (type integer) est codé sur 6 bits. Cela signifie que l'on réserve 6 cases mémoires contenant des "0" ou des "" pour écrire un entier.
Plus en détail2. RAPPEL DES TECHNIQUES DE CALCUL DANS R
2. RAPPEL DES TECHNIQUES DE CALCUL DANS R Dans la mesure où les résultats de ce chapitre devraient normalement être bien connus, il n'est rappelé que les formules les plus intéressantes; les justications
Plus en dé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é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é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étailTP 1 : 1 Calculs en binaire, octal et hexadécimal
Univ. Lille 1 - Licence Informatique 2ème année 2013-14 Objectifs du TP Ce TP a pour but Codage de l'information TP 1 : 1. de découvrir quelques opérations logiques sur les nombres 2. et quelques formats
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étailTP 10.3.5a Notions de base sur le découpage en sous-réseaux
TP 10.3.5a Notions de base sur le découpage en sous-réseaux Objectif Identifier les raisons pour lesquelles utiliser un masque de sous-réseau. Faire la distinction entre un masque de sous-réseau par défaut
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étailCalculateur quantique: factorisation des entiers
Calculateur quantique: factorisation des entiers Plan Introduction Difficulté de la factorisation des entiers Cryptographie et la factorisation Exemple RSA L'informatique quantique L'algorithme quantique
Plus en détailSeconde Généralités sur les fonctions Exercices. Notion de fonction.
Seconde Généralités sur les fonctions Exercices Notion de fonction. Exercice. Une fonction définie par une formule. On considère la fonction f définie sur R par = x + x. a) Calculer les images de, 0 et
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é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étailChapitre 1. Une porte doit être ouverte et fermée. 1.1 Les enjeux de l'informatique quantique
Chapitre Une porte doit être ouverte et fermée Crois et tu comprendras ; la foi précède, l'intelligence suit. Saint Augustin. Les enjeux de l'informatique quantique La puissance de calcul des ordinateurs
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étailCours Informatique 1. Monsieur SADOUNI Salheddine
Cours Informatique 1 Chapitre 2 les Systèmes Informatique Monsieur SADOUNI Salheddine Un Système Informatique lesystème Informatique est composé de deux parties : -le Matériel : constitué de l unité centrale
Plus en détailLe poids et la taille des fichiers
Le poids et la taille des fichiers Au tout départ des 0 et des 1 En français et en anglais on appelle cela un bit 8 bit donne un octet (ou byte en anglais) Exemple d octet : 11111111 10111010 00001000
Plus en détailSOCLE COMMUN - La Compétence 3 Les principaux éléments de mathématiques et la culture scientifique et technologique
SOCLE COMMUN - La Compétence 3 Les principaux éléments de mathématiques et la culture scientifique et technologique DOMAINE P3.C3.D1. Pratiquer une démarche scientifique et technologique, résoudre des
Plus en détailL'INTÉRÊT COMPOSÉ. 2.1 Généralités. 2.2 Taux
L'INTÉRÊT COMPOSÉ 2.1 Généralités Un capital est placé à intérêts composés lorsque les produits pendant la période sont ajoutés au capital pour constituer un nouveau capital qui, à son tour, portera intérêt.
Plus en détailCours 1 : Qu est-ce que la programmation?
1/65 Introduction à la programmation Cours 1 : Qu est-ce que la programmation? Yann Régis-Gianas yrg@pps.univ-paris-diderot.fr Université Paris Diderot Paris 7 2/65 1. Sortez un appareil qui peut se rendre
Plus en détailIntroduction à l'informatique. Vincent Boyer et Jean Méhat
Introduction à l'informatique Vincent Boyer et Jean Méhat 19 février 2010 Copyright (C) 2009 Jean Méhat Permission is granted to copy, distribute and/or modify this document under the terms of the GNU
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étailPrécision d un résultat et calculs d incertitudes
Précision d un résultat et calculs d incertitudes PSI* 2012-2013 Lycée Chaptal 3 Table des matières Table des matières 1. Présentation d un résultat numérique................................ 4 1.1 Notations.........................................................
Plus en détailLa polarisation des transistors
La polarisation des transistors Droite de charge en continu, en courant continu, statique ou en régime statique (voir : le transistor) On peut tracer la droite de charge sur les caractéristiques de collecteur
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étailPlan. 5 Actualisation. 7 Investissement. 2 Calcul du taux d intérêt 3 Taux équivalent 4 Placement à versements fixes.
Plan Intérêts 1 Intérêts 2 3 4 5 6 7 Retour au menu général Intérêts On place un capital C 0 à intérêts simples de t% par an : chaque année une somme fixe s ajoute au capital ; cette somme est calculée
Plus en détailLes puissances 4. 4.1. La notion de puissance. 4.1.1. La puissance c est l énergie pendant une seconde CHAPITRE
4. LES PUISSANCES LA NOTION DE PUISSANCE 88 CHAPITRE 4 Rien ne se perd, rien ne se crée. Mais alors que consomme un appareil électrique si ce n est les électrons? La puissance pardi. Objectifs de ce chapitre
Plus en détailEXPLOITATIONS PEDAGOGIQUES DU TABLEUR EN STG
Exploitations pédagogiques du tableur en STG Académie de Créteil 2006 1 EXPLOITATIONS PEDAGOGIQUES DU TABLEUR EN STG Commission inter-irem lycées techniques contact : dutarte@club-internet.fr La maquette
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é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étailavec des nombres entiers
Calculer avec des nombres entiers Effectuez les calculs suivants.. + 9 + 9. Calculez. 9 9 Calculez le quotient et le rest. : : : : 0 :. : : 9 : : 9 0 : 0. 9 9 0 9. Calculez. 9 0 9. : : 0 : 9 : :. : : 0
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étailNOTATIONS PRÉLIMINAIRES
Pour le Jeudi 14 Octobre 2010 NOTATIONS Soit V un espace vectoriel réel ; l'espace vectoriel des endomorphismes de l'espace vectoriel V est désigné par L(V ). Soit f un endomorphisme de l'espace vectoriel
Plus en détailFactorisation Factoriser en utilisant un facteur commun Fiche méthode
Factorisation Factoriser en utilisant un facteur commun Fiche méthode Rappel : Distributivité simple Soient les nombres, et. On a : Factoriser, c est transformer une somme ou une différence de termes en
Plus en dé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étailS entraîner au calcul mental
E F C I - R E H S E S O S A PHOTOCOPIER S R U C Une collection dirigée par Jean-Luc Caron S entraîner au calcul mental CM Jean-François Quilfen Illustrations : Julie Olivier Sommaire Introduction au calcul
Plus en détailItems étudiés dans le CHAPITRE N5. 7 et 9 p 129 D14 Déterminer par le calcul l'antécédent d'un nombre par une fonction linéaire
CHAPITRE N5 FONCTIONS LINEAIRES NOTION DE FONCTION FONCTIONS LINEAIRES NOTION DE FONCTION FONCTIONS LINEAIRES NOTION DE FONCTION Code item D0 D2 N30[S] Items étudiés dans le CHAPITRE N5 Déterminer l'image
Plus en détailCarl-Louis-Ferdinand von Lindemann (1852-1939)
Par Boris Gourévitch "L'univers de Pi" http://go.to/pi314 sai1042@ensai.fr Alors ça, c'est fort... Tranches de vie Autour de Carl-Louis-Ferdinand von Lindemann (1852-1939) est transcendant!!! Carl Louis
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é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étailComplexité. Licence Informatique - Semestre 2 - Algorithmique et Programmation
Complexité Objectifs des calculs de complexité : - pouvoir prévoir le temps d'exécution d'un algorithme - pouvoir comparer deux algorithmes réalisant le même traitement Exemples : - si on lance le calcul
Plus en détailNombre de marches Nombre de facons de les monter 3 3 11 144 4 5 12 233 5 8 13 377 6 13 14 610 7 21 15 987 8 34 16 1597 9 55 17 2584 10 89
Soit un escalier à n marches. On note u_n le nombre de façons de monter ces n marches. Par exemple d'après l'énoncé, u_3=3. Pour monter n marches, il faut d'abord monter la première. Soit on la monte seule,
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é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étailRecherche dans un tableau
Chapitre 3 Recherche dans un tableau 3.1 Introduction 3.1.1 Tranche On appelle tranche de tableau, la donnée d'un tableau t et de deux indices a et b. On note cette tranche t.(a..b). Exemple 3.1 : 3 6
Plus en détailAlchin Couderc Flambard TBSEID 2
Alchin Couderc Flambard Lycée Charles Blanc TBSEID 2 2008/2009 Depuis le début de notre formation en électronique en lycée professionnel nous avons vu plusieurs domaines d'intervention tel que le brun,
Plus en détailDéfinition : On obtient les nombres entiers en ajoutant ou retranchant des unités à zéro.
Chapitre : Les nombres rationnels Programme officiel BO du 8/08/08 Connaissances : Diviseurs communs à deux entiers, PGCD. Fractions irréductibles. Opérations sur les nombres relatifs en écriture fractionnaire.
Plus en détailFONCTION EXPONENTIELLE ( ) 2 = 0.
FONCTION EXPONENTIELLE I. Définition Théorème : Il eiste une unique fonction f dérivable sur R telle que f ' = f et f (0) =. Démonstration de l'unicité (eigible BAC) : L'eistence est admise - Démontrons
Plus en détailDéfinition 0,752 = 0,7 + 0,05 + 0,002 SYSTÈMES DE NUMÉRATION POSITIONNELS = 7 10 1 + 5 10 2 + 2 10 3
8 Systèmes de numération INTRODUCTION SYSTÈMES DE NUMÉRATION POSITIONNELS Dans un système positionnel, le nombre de symboles est fixe On représente par un symbole chaque chiffre inférieur à la base, incluant
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étailCommun à tous les candidats
EXERCICE 3 (9 points ) Commun à tous les candidats On s intéresse à des courbes servant de modèle à la distribution de la masse salariale d une entreprise. Les fonctions f associées définies sur l intervalle
Plus en dé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étailUnités, mesures et précision
Unités, mesures et précision Définition Une grandeur physique est un élément mesurable permettant de décrire sans ambiguïté une partie d un phénomène physique, chacune de ces grandeurs faisant l objet
Plus en détailMICROINFORMATIQUE NOTE D APPLICATION 1 (REV. 2011) ARITHMETIQUE EN ASSEMBLEUR ET EN C
Haute Ecole d Ingénierie et de Gestion Du Canton du Vaud MICROINFORMATIQUE NOTE D APPLICATION 1 (REV. 2011) ARITHMETIQUE EN ASSEMBLEUR ET EN C Programmation en mode simulation 1. DOCUMENTS DE RÉFÉRENCE...
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é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étailINITIATION AU LANGAGE C SUR PIC DE MICROSHIP
COURS PROGRAMMATION INITIATION AU LANGAGE C SUR MICROCONTROLEUR PIC page 1 / 7 INITIATION AU LANGAGE C SUR PIC DE MICROSHIP I. Historique du langage C 1972 : naissance du C dans les laboratoires BELL par
Plus en détailLa question est : dans 450 combien de fois 23. L opération est donc la division. Le diviseur. Le quotient
par un nombre entier I La division euclidienne : le quotient est entier Faire l activité division. Exemple Sur une étagère de 4mm de large, combien peut on ranger de livres de mm d épaisseur? La question
Plus en détailChimie et physique informatiques
Chimie et physique informatiques 1 ère partie Information et ordinateurs 2 ème partie Programmation en Turbo Pascal 1 ère partie Information et ordinateurs Objectif de la 1 ère partie 1) Introduction 2)
Plus en détailChapitre 5. Calculs financiers. 5.1 Introduction - notations
Chapitre 5 Calculs financiers 5.1 Introduction - notations Sur un marché économique, des acteurs peuvent prêter ou emprunter un capital (une somme d argent) en contrepartie de quoi ils perçoivent ou respectivement
Plus en détailOPÉRATIONS SUR LES FRACTIONS
OPÉRATIONS SUR LES FRACTIONS Sommaire 1. Composantes d'une fraction... 1. Fractions équivalentes... 1. Simplification d'une fraction... 4. Règle d'addition et soustraction de fractions... 5. Règle de multiplication
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étailLES NOMBRES DECIMAUX. I. Les programmes
LES NOMBRES DECIMAUX I. Les programmes Au cycle des approfondissements (Cours Moyen), une toute première approche des fractions est entreprise, dans le but d aider à la compréhension des nombres décimaux.
Plus en détailChapitre 7. Récurrences
Chapitre 7 Récurrences 333 Plan 1. Introduction 2. Applications 3. Classification des récurrences 4. Résolution de récurrences 5. Résumé et comparaisons Lectures conseillées : I MCS, chapitre 20. I Rosen,
Plus en détaila)390 + 520 + 150 b)702 + 159 +100
Ex 1 : Calcule un ordre de grandeur du résultat et indique s il sera supérieur à 1 000 L addition est une opération qui permet de calculer la somme de plusieurs nombres. On peut changer l ordre de ses
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