Logique ? TD n?11 - DENIF
12?) Soient ? et ? deux ordinaux et f : ??? une application strictement croissante. Montrer que ? ? ? et ? ? f(?) pour tout ???. 13?) Soient ? et ? deux ...
TD n?11 : corrigé - Normale Sup(n + 12)(1n ? 12n2. +. 1. 3n3+ o(. 1 n3 ))?1=1 ... (plutôt logique puisqu'on tire la moitié des boules de l'urne). ... 10 × 11 < 120 mais 11 × 12 > ... TD de Logique 11 : Axiome du choix ; cardinaux (corrigé)... tel ? existe). Alors 2<? = 2?, et par la question précédente : 2? = (2<?)cof(?). = (2?)cof(kappa) = 2?. D'où ? = µ. 12. On pourra trouver un historique de la ... TD numéro 1 - CNRSTD numéros 11 et 12 : logique. Exercice 1 : fonctions booléennes en Scheme. ? Soit expr une expression booléenne, évaluer : ? (not (or expr true)). ? (not (and ...
Autres Cours:
