Comptez les variables distinctes : la table de vérité a 2ⁿ lignes, la première avec toutes les variables à 1.
Donnez à chaque sous-formule sa propre colonne et remplissez les colonnes de l’intérieur vers l’extérieur.
Appliquez la règle de chaque connecteur : → n’est 0 que pour 1 → 0, ↔ vaut 1 quand les deux côtés sont égaux.
Pour des équivalences, comparez les colonnes finales ligne par ligne ; pour un raisonnement, regardez seulement les lignes où toutes les prémisses valent 1.
Pour nier un énoncé quantifié, faites passer ¬ vers l’intérieur, échangez ∀ et ∃, et niez la formule intérieure.
Dessinez un diagramme de Venn et décidez région par région ce qui appartient à l’expression ensembliste.
Pour les problèmes de dénombrement, remplissez les régions du centre vers l’extérieur : tous les ensembles, puis les paires, puis les ensembles seuls, puis l’extérieur.
Utilisez le principe d’inclusion-exclusion comme vérification : |A ∪ B| = |A| + |B| − |A ∩ B|.
Pour une relation, testez chaque propriété sur chaque paire et donnez un contre-exemple quand elle échoue.
Pour une fonction, comptez les flèches qui arrivent à chaque élément de B : au plus une signifie injective, au moins une surjective.
Théorie des graphes
Lemme des poignées de main
Σ deg(v) = 2|E|
Graphes complets
|E(Kn)| = n(n − 1)/2, |E(Km,n)| = m·n
Graphe régulier
|E| = n·k/2
Arbre et forêt
|E| = n − 1, |E| = n − c
Feuilles d’un arbre
L = 2 + Σ (deg(v) − 2) over deg(v) ≥ 3
Euler
circuit : tous les degrés pairs ; chemin : exactement 2 degrés impairs
Circuits hamiltoniens dans Kn
(n − 1)!/2
Mise à jour de Dijkstra
d(v) = min(d(v), d(u) + w(u, v))
Marches de longueur L
(Mᴸ)ij
Méthode
Notez le degré de chaque sommet ; la somme des degrés vaut deux fois le nombre d’arêtes.
Pour les questions d’Euler, vérifiez que le graphe est connexe et comptez les sommets de degré impair.
Pour les arbres, utilisez n − 1 arêtes et le lemme des poignées de main.
Pour Dijkstra, tenez un tableau des distances provisoires et fixez à chaque tour le sommet non fixé de plus petite distance.
Pour un arbre couvrant minimal, triez les arêtes par poids et sautez toute arête qui ferme un cycle (Kruskal), ou faites croître un arbre à partir d’un sommet de départ (Prim).
Théorie des nombres et arithmétique modulaire
Division avec reste
a = q·n + r, 0 ≤ r < n
Euclide
gcd(a, b) = gcd(b, a mod b)
Plus petit commun multiple
lcm(a, b) = a·b/gcd(a, b)
Inverse
a·a⁻¹ ≡ 1 (mod n), gcd(a, n) = 1
Congruence linéaire
a·x ≡ b → x ≡ a⁻¹·b (mod n)
Indicatrice d’Euler
φ(n) = n·∏(1 − 1/p), φ(pᵏ) = pᵏ − pᵏ⁻¹
Fermat
aᵖ⁻¹ ≡ 1 (mod p)
RSA
n = pq, φ = (p − 1)(q − 1), d = e⁻¹ mod φ, c = mᵉ mod n, m = cᵈ mod n
Méthode
Réduisez d’abord chaque nombre modulo n ; les restes sont compris entre 0 et n − 1.
Pour un pgcd, divisez plusieurs fois avec l’algorithme d’Euclide ; le dernier reste non nul est le pgcd.
Pour un inverse, appliquez l’algorithme étendu et gardez le coefficient de a ; ajoutez n s’il est négatif.
Résolvez a·x ≡ b en multipliant par a⁻¹ ; combinez deux congruences en écrivant x = r₁ + m₁k.
Pour les puissances, écrivez l’exposant en binaire et élevez au carré à répétition ; en RSA, d = e⁻¹ mod φ(n) avec φ(n) = (p − 1)(q − 1).
2Exercices
1.Logique propositionnelle et preuvesMoyen
Quelle formule est logiquement équivalente à a → c ? Cliquez dessus.
a → c
1¬a ∧ c
2¬a ∨ c
3c → a
4a ∨ ¬c
2.Logique propositionnelle et preuvesDifficile
Le raisonnement de prémisses p → q; q et de conclusion p est invalide. Cliquez sur la ligne de la table de vérité qui est un contre-exemple.
p → qq∴ p
1p = 1, q = 1
2p = 1, q = 0
3p = 0, q = 1
4p = 0, q = 0
3.Ensembles, relations et fonctionsMoyen
Sur 52 étudiants de première année, 24 ont réussi les mathématiques (M), 22 ont réussi la physique (P) et 4 ont réussi les deux. Combien sont dans exactement un des deux ensembles ?
|U| = 52|M| = 24|P| = 22|M ∩ P| = 4
|(M − P) ∪ (P − M)| =
4.Ensembles, relations et fonctionsDifficile
Sur X = {1, 2, …, 12}, la relation R est vérifiée quand x ≡ y (mod 4). Combien de couples ordonnés R contient-elle ? Appelez ce nombre |R|.
X = {1, …, 12}x R y ⟺ 4 | (x − y)
|R| =
5.Théorie des graphesMoyen
Le graphe connexe a-t-il un circuit eulérien, un chemin eulérien qui n’est pas un circuit, ou ni l’un ni l’autre ? Cliquez sur votre réponse.
|V| = 5|E| = 5
1Circuit eulérien
2Chemin eulérien, pas de circuit
3ni l’une ni l’autre
6.Théorie des graphesDifficile
L’algorithme de Dijkstra part de A. Cliquez sur le sommet qui est fixé (rendu définitif) au tour 5 ; A lui-même est le tour 1.
départ : Atour 5
1A
2B
3C
4D
5E
6F
7.Théorie des nombres et arithmétique modulaireMoyen
Trouvez le plus petit entier positif x tel que x ≡ 5 (mod 7) et x ≡ 11 (mod 12).
x ≡ 5 (mod 7)x ≡ 11 (mod 12)
x =
8.Théorie des nombres et arithmétique modulaireDifficile
Utilisez le carré répété pour trouver 3556 mod 53.
a = 35k = 56n = 53
3556 mod 53 =
3Solutions
1.Logique propositionnelle et preuves
Réponse: ¬a ∨ c
Équivalence logique : deux formules sont équivalentes (≡) quand elles ont la même valeur dans chaque ligne de la table de vérité. Une tautologie vaut 1 dans toutes les lignes, une contradiction 0 dans toutes les lignes, et une contingence n’est ni l’une ni l’autre. Lois utiles : De Morgan, ¬(a ∧ b) ≡ ¬a ∨ ¬b et ¬(a ∨ b) ≡ ¬a ∧ ¬b ; a → b ≡ ¬a ∨ b ≡ ¬b → ¬a (contraposée) ; ¬(a → b) ≡ a ∧ ¬b ; et les lois de distributivité, a ∨ (b ∧ c) ≡ (a ∨ b) ∧ (a ∨ c).
La loi
a → b vaut 0 seulement quand a = 1 et b = 0, donc c’est la même chose que ¬a ∨ b.
a → c ≡ ¬a ∨ c
Vérifier avec la table de vérité
a = 1, c = 1: 1 | 0 1 1 1
a = 1, c = 0: 0 | 0 0 1 1
a = 0, c = 1: 1 | 1 1 0 0
a = 0, c = 0: 1 | 0 1 1 1
Réponse
¬a ∨ c
Les colonnes après la barre sont les options dans l’ordre affiché.
2.Logique propositionnelle et preuves
Réponse: p = 0, q = 1
Quantificateurs et raisonnements : ¬∀x P(x) ≡ ∃x ¬P(x) et ¬∃x P(x) ≡ ∀x ¬P(x). Faites passer une négation vers l’intérieur, échangez chaque quantificateur qu’elle traverse, et niez la formule intérieure avec les lois propositionnelles, comme ¬(a → b) ≡ a ∧ ¬b. Un raisonnement est valide quand la conclusion vaut 1 dans toutes les lignes où toutes les prémisses valent 1. Une seule ligne avec des prémisses vraies et une conclusion fausse est un contre-exemple et montre que le raisonnement est invalide.
Prémisses et conclusion ligne par ligne
p = 1, q = 1: 1 1 | 1
p = 1, q = 0: 0 0 | 1
p = 0, q = 1: 1 1 | 0
p = 0, q = 0: 1 0 | 0
Contre-exemple
p = 0, q = 1
Réponse
p = 0, q = 1
Un raisonnement de cette forme ressemble à une règle valide, mais une seule ligne suffit à montrer qu’il ne l’est pas.
3.Ensembles, relations et fonctions
Réponse: |(M − P) ∪ (P − M)| = 38
Ensembles et diagrammes de Venn : A ∪ B contient les éléments de A ou de B (ou des deux), A ∩ B les éléments des deux, A − B les éléments de A qui ne sont pas dans B, et le complémentaire A′ tout ce qui est dans U sans être dans A. Dans un diagramme de Venn, toute expression ensembliste est une réunion de régions, donc dénombre-la région par région. Inclusion-exclusion : |A ∪ B| = |A| + |B| − |A ∩ B|, et |A ∪ B ∪ C| = |A| + |B| + |C| − |A ∩ B| − |A ∩ C| − |B ∩ C| + |A ∩ B ∩ C|.
Régions
M ∩ P: 4
M − P: 24 − 4 = 20
P − M: 22 − 4 = 18
(M ∪ P)′: 52 − (20 + 18 + 4) = 10
Réponse
|(M − P) ∪ (P − M)| = 38
Réponse
|(M − P) ∪ (P − M)| = 38
4.Ensembles, relations et fonctions
Réponse: |R| = 36
Relations : une relation R sur un ensemble X est un ensemble de couples ordonnés (x, y). R est réflexive quand (x, x) ∈ R pour tout x de X ; symétrique quand (x, y) ∈ R vient toujours avec (y, x) ∈ R ; antisymétrique quand (x, y) et (y, x) sont tous deux dans R seulement si x = y ; et transitive quand (x, y) et (y, z) dans R imposent (x, z) ∈ R. Une relation d’équivalence est réflexive, symétrique et transitive, et découpe X en classes disjointes.
Classes
reste 0: 3
reste 1: 3
reste 2: 3
reste 3: 3
Couples
|R| = 3² + 3² + 3² + 3² = 36
Réponse
|R| = 36
5.Théorie des graphes
Réponse: Chemin eulérien, pas de circuit
Euler, Hamilton et arbres : un graphe connexe a un circuit eulérien (chaque arête une fois, retour au départ) quand tous les sommets ont un degré pair, et un chemin eulérien qui n’est pas un circuit quand exactement deux sommets ont un degré impair ; le chemin va alors d’un sommet impair à l’autre. Un circuit hamiltonien visite chaque sommet une fois ; Kn en a (n − 1)!/2. Un arbre à n sommets a n − 1 arêtes, et un graphe connexe à m arêtes conserve un arbre couvrant après suppression de m − n + 1 arêtes.
Le chemin eulérien commence à un sommet impair et finit à l’autre.
6.Théorie des graphes
Réponse: F
Plus courts chemins et arbres couvrants : l’algorithme de Dijkstra fixe un sommet par tour : le sommet non fixé de plus petite distance provisoire. Sa distance est alors définitive, et chaque voisin v reçoit d(v) = min(d(v), d(u) + w(u, v)). L’algorithme de Kruskal construit un arbre couvrant minimal en prenant les arêtes de la plus légère à la plus lourde et en sautant toute arête qui fermerait un cycle ; l’algorithme de Prim fait croître un arbre à partir d’un sommet de départ en ajoutant toujours l’arête la plus légère qui en sort. Un arbre couvrant à n sommets a n − 1 arêtes.
Dijkstra tour par tour
1. A (0): B: 6, C: 13
2. B (6): D: 19, E: 9
3. E (9): F: 16
4. C (13)
5. F (16)
6. D (19)
tour 5
F
Réponse
F
7.Théorie des nombres et arithmétique modulaire
Réponse: x = 47
Inverses et congruences : a a un inverse modulo n exactement quand pgcd(a, n) = 1. L’algorithme d’Euclide étendu écrit 1 = s·n + t·a, et alors a⁻¹ ≡ t (mod n). Une congruence a·x ≡ b (mod n) avec pgcd(a, n) = 1 a pour solution x ≡ a⁻¹·b. Deux congruences x ≡ r₁ (mod m₁) et x ≡ r₂ (mod m₂) à modules premiers entre eux ont une solution modulo m₁·m₂ (théorème des restes chinois). L’indicatrice d’Euler φ(n) compte les nombres de 1 à n premiers avec n : φ(n) = n·∏(1 − 1/p).
Première congruence
x = 5 + 7k
Deuxième congruence
5 + 7k ≡ 11 (mod 12) → 7k ≡ 6 (mod 12)
k ≡ 7·6 ≡ 6 (mod 12)
Résultat
x = 5 + 7·6 = 47
x = 47
vérification: 47 mod 7 = 5, 47 mod 12 = 11
Réponse
x = 47
8.Théorie des nombres et arithmétique modulaire
Réponse: 3556 mod 53 = 36
Puissances modulaires et RSA : calculez aᵏ mod n par carrés répétés : écrivez k en binaire, élevez au carré, réduisez après chaque étape et multipliez les puissances dont le bit vaut 1. Fermat : aᵖ⁻¹ ≡ 1 (mod p) pour un nombre premier p ne divisant pas a, donc l’exposant peut être réduit modulo p − 1. RSA : choisissez des nombres premiers p et q, n = p·q et φ(n) = (p − 1)(q − 1) ; l’exposant public e est premier avec φ(n), et l’exposant privé est d = e⁻¹ mod φ(n). Chiffre avec c = mᵉ mod n et déchiffrez avec m = cᵈ mod n.