L1 – Option Math´emathiques pour l’informatique – Mme J.Cohen – D´ecembre 2009 1
Correction du partiel Option Math´ematiques pour l’informatique
1`ere session 2009-2010
1. Ensembles et Fonctions – Induction
1.1 Soit Eun ensemble fini de cardinal 4.
•Quel est le cardinal de P(E)×B?
r´eponse 24×2 = 32
•Quel est le nombre d’applications de l’ensemble Bdans l’ensemble P(E) ?
r´eponse (24)2= 28= 256
1.2 Soit E={0,1,00,01,10,11,000,· · · } l’ensemble des suites finies de 0 et de 1. On d´efinit
inductivement le sous-ensemble Lde la fa¸con suivante :
•0∈ L • si x∈ L alors 1x0∈ L et x1∈ L
Donner tous les ´el´ements de Lde longueur 5 (s’´ecrivant avec 5 symboles au total).
r´eponse en partant de 0 on obtient 100 et 01. Puis on obtient 11000, 1001, 1010 et 011. Puis
on obtient 1110000, 110001, 110010, 10011, 110100, 10101, 10110, 0111, puis en partant de 0111
on a 101110 et 01111. Il est inutile de continuer car sinon on n’aurait que des mots de longueur
sup´erieure `a 5.
Donc en r´esum´e les ´el´ements de Lde longueur 5 sont
11000, 10011, 10101, 10110 et 01111.
2. Calcul Bool´een et Logique
2.1 Soit (E, 0,1,+, .,¯ ) une alg`ebre de Boole.
Soient x, y ∈Etels que x+y=y. Montrer alors que
(x·y) = x
r´eponse x·y=x·(x+y) par hypoth`ese
x·(x+y) = (x·x)+(x·y) par distributivit´e
(x·x)+(x·y) = x+ (x·y) par idempotence
x+ (x·y) = (x·1) + (x·y) car 1 est neutre pour ·
(x·1) + (x·y) = x·(1 + y) par distributivit´e
x·(1 + y) = x·1 = xcar 1 est absorbant pour + et neutre pour ·