Chapitre 1,2,3,4 - Intro, Théorie des ensembles, ensembles ordonnées, Graphes
Texte intégral
Documents relatifs
différents relativement à o>^ dans leur décomposition est un ensemble définis- sable dans OT^ formé d'ordinaux standards donc de rang standard ; donc il est vraiment fini.. 6
Théorème .— (Knaer-Tarski) Soit (E, ≤ ) un ensemble complet supérieurement (resp. Quel théorème vient-on de prouver?.. On considère les axiomes suivants : S..
Alors, on peut conclure que la proposition est vraie pour tout nombre naturel n (on peut faire tomber toute la chaîne en faisant tomber le premier
Si ces points ne sor- tent pas du carré ^2 où nous avons pris 62, nous passerons à la troi- sième subdivision €3, nous prendrons les carrés ^3 de cette subdi- vision qui
Il développe les notions de produit cartésien, de relation et d’application en liaison avec les nombreuses utilisations qui en sont faites en informatique (codage,
Dire comment on peut construire sur Q une relation d'ordre et donner les 10 premiers éléments pour cette relation..
[r]
Montrer qu’on peut lister les éléments de P (E) de sorte que la liste commence par ∅ , se termine par {x n } et que chaque nouveau terme de la liste est obtenu depuis le précédent