Discussion:Forcing

Le contenu de la page n’est pas pris en charge dans d’autres langues.
Une page de Wikipédia, l'encyclopédie libre.
Autres discussions [liste]
  • Admissibilité
  • Neutralité
  • Droit d'auteur
  • Article de qualité
  • Bon article
  • Lumière sur
  • À faire
  • Archives
  • Commons

Remarques[modifier le code]

Je ne comprends pas ce qu'est la méthode de l'analyse des valeurs booléennes (la méthode des modèles à valeur booléenne ? autre chose ?).

Pour le dernier paragraphe : je ne comprend pas bien le statut, est-ce une analogie (si oui, je vois à peu près) ? Quelque chose de plus précis ? L'original anglais n'est pas clair. Proz (d) 24 janvier 2010 à 20:39 (CET)[répondre]