Booléens
- Booléens
-
Booléen
Un booléen en logique et en programmation informatique est un type de variable à deux états. Les variables de ce type sont ainsi soit à l'état vrai soit à l'état faux (en anglais true et false).
Généralement les conditions sont de type booléen, car elles nécessitent une réponse binaire du type oui ou non.
- bouton enfoncé : une condition booléenne
- lumière allumée : une variable booléenne
- Si bouton enfoncé
- alors lumière allumée = vrai
- sinon lumière allumée = faux
Certains langages utilisent le bit pour représenter des booléens : ainsi un 0 représentera la valeur faux et un 1 représentera la valeur vrai (ou l'inverse, selon les conventions). D'autres langages préfèreront utiliser l'anglais TRUE (vrai) et FALSE (faux) traditionnellement en majuscules.
Voir aussi
Portail de l’informatique
Catégories : Programmation informatique | Logique
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Booléens de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Systeme F — Système F Pour les articles homonymes, voir System F (homonymie). Le système F (également connu sous le nom de lambda calcul polymorphe ou de lambda calcul du second ordre) est une extension du lambda calcul simplement typé introduite… … Wikipédia en Français
Système F — Pour les articles homonymes, voir System F (homonymie). Le système F (également connu sous le nom de lambda calcul polymorphe ou de lambda calcul du second ordre) est une extension du lambda calcul simplement typé introduite indépendamment par le … Wikipédia en Français
Lambda-Calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. » Stephen Kleene, in Origins of Recursive Function … Wikipédia en Français
Lambda-calcul — Le lambda calcul (ou λ calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d application. Il a été le premier formalisme utilisé pour définir et caractériser les fonctions récursives … Wikipédia en Français
Lambda calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. » Stephen Kleene, in Origins of Recursive Function … Wikipédia en Français
Λ-calcul — Lambda calcul « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. » Stephen Kleene, in Origins of… … Wikipédia en Français
Syntaxe JavaScript — Traduction à relire JavaScript syntax → … Wikipédia en Français
Syntaxe Javascript — Traduction à relire JavaScript syntax → … Wikipédia en Français
Tool Command Language — Pour les articles homonymes, voir Tcl. Tcl Apparu en … Wikipédia en Français
Logicien — Logique Gregor Reisch, « La logique présente ses thèmes centraux », Margarita Philosophica, 1503/08 (?). Les deux chiens veritas et falsitas courent derrière le lièvre problema, la logique se presse armée de son épée syllogismus. En bas … Wikipédia en Français
