Application du théorème de compacité
Preuve du théorème de compacité à partir du théorème de complétude et de celui de correction.\rPuis application aux graphes : un graphe est k-coloriable ssi tout sous graphe fini l'est.
| Qualité | Numéro | Titre |
|---|---|---|
| 5 | 28 | Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.2022 |
| 3 | 925 | Graphes : représentations et algorithmes.2021 |
Utilisateur : Gayral
Preuve maison, par induction transfinie sur les ordinaux.
Application aux pavages du réseau $\mathbb{Z}^2$.
Références :