Mathématiques Discrètes Exercice 1 [3 points] Exercice 2 [4 points]
2015-2016. Mathématiques Discrètes. Devoir surveillé no 2— le 8 janvier 2016. Prenez le temps de lire ce sujet. Ce devoir comporte 5 exercices.
Cours de mathématiques discrètes
3 nov. 2010 Mathématiques pour l'informatique ... 22 Exercices sur les grammaires langages et automates ... Exercice (corrigé) 11.12.
Mathématiques discrètes 1ère année
25 oct. 2010 Les exercices doivent être préparés c'est à dire que l'on doit passer un certain temps à ... trouvées doivent être comparées et corrigées.
Cours de mathématiques discrètes
21 avr. 2008 Exercices corrigés. Exercice 4. En notant P et Q les affirmations suivantes : – P = (( Jean est fort en Maths )).
Mathématiques discrètes 1ère année
25 oct. 2010 Les exercices doivent être préparés c'est à dire que l'on doit passer un certain temps à ... trouvées doivent être comparées et corrigées.
Exercices de mathématiques - Exo7
Tous les exercices. Table des matières. 1 100.01 Logique 237 260.03 Variable aléatoire discrète ... Exercice 10 Le missionnaire et les cannibales.
MAT210 Logique et mathématiques discrètes : Cours 1
Ce document contient certains exercices qui seront faits en équipe lors de la deuxième semaine du cours de MAT210. 2.1 Raisonnements valides.
MATHÉMATIQUES DISCRÈTES
Pour prendre un exemple réel si l'on souhaite réaliser une application qui « corrige » les fautes de frappe au clavier
Mathématiques Discrètes 1
Mathématiques Discrètes 1. & Informatique Théorique. ESIAL 1 ere année. Livret pédagogique : cours et exercices d'entrainement 6.2 Corrigé 2007-2008 .
Cours de mathématiques discrètes
31 août 2020 Mathématiques pour l'informatique ... 21 Exercices sur les grammaires langages et automates ... Exercice (corrigé) 2.3.
Math´ematiques pour l'informatique
Christophe GUYEUX
guyeux@iut-bm.univ-fcomte.fr21 avril 2008
Table des mati`eres
I Th´eorie des ensembles13
1 Introduction`a la th´eorie des ensembles14
I. Rappels de th´eorie des ensembles. . . . . . . . . . . . . . . . . . . . 141 Notion premi`ere d'ensemble. . . . . . . . . . . . . . . . . . 14
2 R`egles de fonctionnement. . . . . . . . . . . . . . . . . . . 15
3 Sous-ensembles, ensemble des parties. . . . . . . . . . . . . 16
4 Repr´esentation graphique. . . . . . . . . . . . . . . . . . . . 16
5 Exercices. . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
II. Op´erations sur les ensembles. . . . . . . . . . . . . . . . . . . . . . 181´Egalite de deux ensembles. . . . . . . . . . . . . . . . . . . 18
2 R´eunion, intersection. . . . . . . . . . . . . . . . . . . . . . 18
3 Compl´ementation. . . . . . . . . . . . . . . . . . . . . . . . 20
4 Produit cart´esien. . . . . . . . . . . . . . . . . . . . . . . . 20
III. Exercices. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 202 Relations binaires entre ensembles23
I. D´efinitions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 231 D´efinition. . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2 Remarques. . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3 Exercices. . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
II. Application d'un ensemble dans un autre. . . . . . . . . . . . . . . . 241 D´efinition d'une application, d'une relation fonctionnelle. . . 24
2 Image et ant´ec´edent d'un ´el´ement. . . . . . . . . . . . . . . 25
3 Applications injectives. . . . . . . . . . . . . . . . . . . . . 26
4 Applications surjectives. . . . . . . . . . . . . . . . . . . . 27
5 Applications bijectives. . . . . . . . . . . . . . . . . . . . . 29
III. Cardinal et puissance d'un ensemble. . . . . . . . . . . . . . . . . . 301 Cas des ensembles finis. . . . . . . . . . . . . . . . . . . . . 30
2 Cas des ensembles infinis. . . . . . . . . . . . . . . . . . . 31
3 Nombre d'infinis. . . . . . . . . . . . . . . . . . . . . . . . 32
IV. Relations d'ordre. . . . . . . . . . . . . . . . . . . . . . . . . . . . 331 D´efinition. . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2 Ordre partiel, ordre total. . . . . . . . . . . . . . . . . . . . 35
13 Exercices. . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
4´El´ements maximaux. . . . . . . . . . . . . . . . . . . . . . 37
5 Treillis. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
V. Relations d'´equivalence. . . . . . . . . . . . . . . . . . . . . . . . . 411 D´efinition. . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
2 Classes d'´equivalence. . . . . . . . . . . . . . . . . . . . . 42
3 Ensemble-quotient. . . . . . . . . . . . . . . . . . . . . . . 44
4 Exercices. . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
VI. Compatibilit´e entre une op´eration et une relation binaire. . . . . . . 463 Relationsn-aires48
I. D´efinitions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 481 Relations orient´ees et non orient´ees. . . . . . . . . . . . . . 48
2 Relations ´equivalentes, relations ´egales. . . . . . . . . . . . 50
3 Interpr´etation fonctionnelle. . . . . . . . . . . . . . . . . . . 51
4 SGBD. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
II. Projections. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 511 D´efinitions. . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2 Th´eor`eme des projections. . . . . . . . . . . . . . . . . . . 52
III. Op´erations sur les relationsn-aires. . . . . . . . . . . . . . . . . . . 521 Somme et produit. . . . . . . . . . . . . . . . . . . . . . . . 52
2 R´eunion et intersection. . . . . . . . . . . . . . . . . . . . . 53
3 Produit cart´esien. . . . . . . . . . . . . . . . . . . . . . . . 53
IV. S´election d'une relationn-aire. . . . . . . . . . . . . . . . . . . . . 53 V. D´ependances fonctionnelles et cl´es. . . . . . . . . . . . . . . . . . . 541 D´ependances fonctionnelles. . . . . . . . . . . . . . . . . . 54
2 Th´eor`eme des d´ependances fonctionnelles. . . . . . . . . . . 55
3 Cl´es. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
II Arithm´etique57
4 Ensembles de nombres entiers58
I. Nombres entiers naturels (N). . . . . . . . . . . . . . . . . . . . . . 581 D´efinition. . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
2 Op´erations et relation d'ordre dansN. . . . . . . . . . . . . 60
3 Nombres premiers. . . . . . . . . . . . . . . . . . . . . . . 60
4 Relation de divisibilit´e. . . . . . . . . . . . . . . . . . . . . 62
5 Entiers relatifs. . . . . . . . . . . . . . . . . . . . . . . . . 63
II. Division euclidienne dansZet applications. . . . . . . . . . . . . . 641 D´efinition. . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
2 Repr´esentation des nombres entiers. . . . . . . . . . . . . . 65
3 Arithm´etique modulon. . . . . . . . . . . . . . . . . . . . . 67
24 Division??enti`ere??informatique et division euclidienne. . . 70
5 Arithm´etique modulo2ndans les ordinateurs. . . . . . . . . 71
III. Algorithmes d'Euclide et applications. . . . . . . . . . . . . . . . . 751 PGCD de deux entiers. . . . . . . . . . . . . . . . . . . . . 75
2 Algorithme d'Euclide. . . . . . . . . . . . . . . . . . . . . . 75
3 Th´eor`eme de B´ezout. . . . . . . . . . . . . . . . . . . . . . 77
4 Algorithme d'Euclide g´en´eralis´e. . . . . . . . . . . . . . . . 78
5 Repr´esentation des nombres r´eels en machine81
I. Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81 II. Les formats IEEE. . . . . . . . . . . . . . . . . . . . . . . . . . . . 821 La norme IEEE 754. . . . . . . . . . . . . . . . . . . . . . 82
2 Format??single??. . . . . . . . . . . . . . . . . . . . . . . . 83
3 Format??double??. . . . . . . . . . . . . . . . . . . . . . . . 83
4 Format??extended??. . . . . . . . . . . . . . . . . . . . . . 83
5 D'une mani`ere g´en´erale.... . . . . . . . . . . . . . . . . . . 84
6 Format??extended??des microprocesseurs.. . . . . . . . . . 86
III. R´eels repr´esentables et pr´ecision. . . . . . . . . . . . . . . . . . . . 866 Cryptologie et arithm´etique90
I. M´ethodes de cryptage??`a cl´e publique??. . . . . . . . . . . . . . . . 901 Principe. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
2 Utilisation de l'indicatrice d'Euler. . . . . . . . . . . . . . . 91
II. Choix d'un nombre n. . . . . . . . . . . . . . . . . . . . . . . . . . 931 Nombres premiers. . . . . . . . . . . . . . . . . . . . . . . 93
2 D´ecomposition en facteurs premiers. . . . . . . . . . . . . . 94
7 Tests de primalit´e95
I. Th´eor`eme de Fermat. . . . . . . . . . . . . . . . . . . . . . . . . . 95 II. Test de Miller-Rabin. . . . . . . . . . . . . . . . . . . . . . . . . . 96 III. Tests de Lucas, Selfridge et Pocklington. . . . . . . . . . . . . . . . 968 D´ecomposition en facteurs premiers98
I. Divisions successives. . . . . . . . . . . . . . . . . . . . . . . . . . 98 II. Algorithme de Monte-Carlo (1975). . . . . . . . . . . . . . . . . . . 991 Pr´esentation. . . . . . . . . . . . . . . . . . . . . . . . . . . 99
2 L'algorithme. . . . . . . . . . . . . . . . . . . . . . . . . . 99
3 Discussion. . . . . . . . . . . . . . . . . . . . . . . . . . . 100
III. Algorithme du crible quadratique QS de Pomerance. . . . . . . . . . 100 IV. Algorithme(p-1)de Pollard. . . . . . . . . . . . . . . . . . . . . 101 V. Algorithme de Lenstra (courbes elliptiques). . . . . . . . . . . . . . 1031 Introduction aux courbes elliptiques. . . . . . . . . . . . . . 103
2 Algorithme de Lenstra. . . . . . . . . . . . . . . . . . . . . 104
3III Logique105
9 Alg`ebre de Boole106
I. Propri´et´es g´en´erales. . . . . . . . . . . . . . . . . . . . . . . . . . . 1061 D´efinition. . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
2 R`egles de calcul dans une alg`ebre de Boole. . . . . . . . . . 108
II. Fonctions bool´eennes. . . . . . . . . . . . . . . . . . . . . . . . . . 1101 D´efinitions. . . . . . . . . . . . . . . . . . . . . . . . . . . 110
2 Fonctions bool´eennes ´el´ementaires. . . . . . . . . . . . . . . 111
3 Correspondance entre maxtermes et mintermes. . . . . . . . 113
4 Principaux r´esultats concernant mintermes et maxtermes. . . 114
5 Formes canoniques d'une fonction bool´eenne. . . . . . . . . 115
III. Repr´esentation et simplification des fonctions. . . . . . . . . . . . . 1181 Diagrammes de Karnaugh. . . . . . . . . . . . . . . . . . . 118
2 M´ethode des consensus. . . . . . . . . . . . . . . . . . . . . 121
IV. Compl´ement : R´esolution d'´equations bool´eennes. . . . . . . . . . . 1291 Pr´esentation de la m´ethode. . . . . . . . . . . . . . . . . . . 129
2 Exercice. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
V. Exercices. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13010 Calcul Propositionnel133
I. Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1331 Objets de la logique. . . . . . . . . . . . . . . . . . . . . . 133
2 Production automatique. . . . . . . . . . . . . . . . . . . . 133
3 Des probl`emes de l'´evidence. . . . . . . . . . . . . . . . . . 134
II. Les fondements de la logique des Propositions. . . . . . . . . . . . . 1341 Les Propositions. . . . . . . . . . . . . . . . . . . . . . . . 134
2 Les connecteurs logiques. . . . . . . . . . . . . . . . . . . . 136
3 Variables et Formes Propositionnelles. . . . . . . . . . . . . 143
III. Premier point de vue : la Logique des valeurs de v´erit´e. . . . . . . . 1481 Fonctions de v´erit´e. . . . . . . . . . . . . . . . . . . . . . . 148
2 Tautologies, antilogies, cons´equences logiques. . . . . . . . 150
3 Simplification du calcul des fonctions de v´erit´e. . . . . . . . 155
4 Conclusion. . . . . . . . . . . . . . . . . . . . . . . . . . . 158
5 Exercices. . . . . . . . . . . . . . . . . . . . . . . . . . . . 159
IV. Deuxi`eme point de vue : th´eorie de la d´emonstration. . . . . . . . . 1621 Pr´esentation. . . . . . . . . . . . . . . . . . . . . . . . . . . 162
2 Les axiomes logiques. . . . . . . . . . . . . . . . . . . . . . 163
3 Les r`egles d'inf´erence. . . . . . . . . . . . . . . . . . . . . 164
4 D´emonstrations et d´eductions sous hypoth`eses. . . . . . . . 165
5 Th´eor`eme de la d´eduction. . . . . . . . . . . . . . . . . . . 167
6 Quelques th´eor`emes classiques et quelques r`egles d'inf´erence
annexes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 170 47 Technique de l'hypoth`ese suppl´ementaire. . . . . . . . . . . 173
8 M´ethodes de d´emonstration. . . . . . . . . . . . . . . . . . 175
9 Exercices. . . . . . . . . . . . . . . . . . . . . . . . . . . . 176
10 Tableaux de Beth. . . . . . . . . . . . . . . . . . . . . . . . 179
V. Compl´etude du calcul propositionnel. . . . . . . . . . . . . . . . . . 1801 Th´eor`eme de compl´etude. . . . . . . . . . . . . . . . . . . . 180
2 Th´eor`eme de compl´etude g´en´eralis´e. . . . . . . . . . . . . . 184
11 Calcul des pr´edicats185
I. Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1851 Insuffisances de la formalisation en Calcul Propositionnel. . 185
2 Univers du discours, sujets et individus. . . . . . . . . . . . 187
3 Groupes op´eratoires et termes. . . . . . . . . . . . . . . . . 187
4 Groupes relationnels et atomes. . . . . . . . . . . . . . . . . 189
5 Les quantificateurs. . . . . . . . . . . . . . . . . . . . . . . 190
6 Formules du calcul des pr´edicats. . . . . . . . . . . . . . . . 194
7 Champ d'un quantificateur. . . . . . . . . . . . . . . . . . . 194
II. Th´eorie de la validit´e en calcul des pr´edicats. . . . . . . . . . . . . . 1951 Extension des valeurs de v´erit´e au calcul des pr´edicats. . . . 195
2´Equivalences classiques entre formules. . . . . . . . . . . . 199
3 Substitutions libres. . . . . . . . . . . . . . . . . . . . . . . 200
4´Elimination et introduction des quantificateurs. . . . . . . . 201
III. Th´eorie de la d´emonstration en calcul des pr´edicats. . . . . . . . . . 2021 Axiomes et r`egles d'inf´erence. . . . . . . . . . . . . . . . . 202
2 Validit´e des r´esultats ´etablis en calcul propositionnel. . . . . 202
3 Le ( m´eta- ) th´eor`eme de la d´eduction. . . . . . . . . . . . . 202
IV. Le syst`eme formel??PR??. . . . . . . . . . . . . . . . . . . . . . . 2031 D´efinition. . . . . . . . . . . . . . . . . . . . . . . . . . . . 203
2 Calcul des pr´edicats ´egalitaire. . . . . . . . . . . . . . . . . 203
3 Interpr´etations de??PR??. . . . . . . . . . . . . . . . . . . . 204
4 (M´eta-)Th´eor`eme de compl´etude. . . . . . . . . . . . . . . . 204
5 Satisfiabilit´e et insatisfiabilit´e. . . . . . . . . . . . . . . . . 204
V. Traitement des formules de??PR??. . . . . . . . . . . . . . . . . . . 2051 Forme pr´enexe. . . . . . . . . . . . . . . . . . . . . . . . . 205
2 Forme de Skolem. . . . . . . . . . . . . . . . . . . . . . . . 207
3 Forme clausale. . . . . . . . . . . . . . . . . . . . . . . . . 208
VI. Syst`eme de Herbrand. . . . . . . . . . . . . . . . . . . . . . . . . . 2091 Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . 209
2 Univers, atomes, syst`eme de Herbrand. . . . . . . . . . . . . 209
3 Th´eor`eme de Herbrand. . . . . . . . . . . . . . . . . . . . . 210
quotesdbs_dbs10.pdfusesText_16[PDF] mathématiques discrètes livre
[PDF] mathématiques discrètes pdf
[PDF] mathématiques discrètes pour l'informatique
[PDF] Mathématiques Dm 4éme
[PDF] mathématiques dm 5
[PDF] Mathematiques dm n1
[PDF] Mathématiques DM pour le 18/09/2015
[PDF] Mathematiques dur besoins de vous
[PDF] mathématiques ecriture scientifque urgent c pour demin g controle SVP
[PDF] mathématiques en économie
[PDF] mathématiques en économie-gestion pdf
[PDF] mathematiques en factorisation ^^
[PDF] mathematiques en geoétrie cned 3eme
[PDF] Mathématiques en option ES (terminale) Matrices