- logique booléenne
- ● loc. f. ►LOGIQUE Voir algèbre booléenne.
Dictionnaire d'informatique francophone. 2013.
logique booléenne
Regardez d'autres dictionnaires:
Logique booléenne — Algèbre de Boole (logique) Pour les articles homonymes, voir Algèbre de Boole. L algèbre de Boole, ou calcul booléen, est la partie des mathématiques, de la logique et de l électronique qui s intéresse aux opérations et aux fonctions sur les… … Wikipédia en Français
Logique Floue — La logique floue (fuzzy logic, en anglais) est une technique utilisée en intelligence artificielle. Elle a été formalisée par Lotfi Zadeh en 1965 et utilisée dans des domaines aussi variés que l automatisme (freins ABS), la robotique… … Wikipédia en Français
Logique binaire — Algèbre de Boole (logique) Pour les articles homonymes, voir Algèbre de Boole. L algèbre de Boole, ou calcul booléen, est la partie des mathématiques, de la logique et de l électronique qui s intéresse aux opérations et aux fonctions sur les… … Wikipédia en Français
Logique floue — La logique floue (fuzzy logic, en anglais) est une technique utilisée en intelligence artificielle. Elle a été formalisée par Lotfi Zadeh en 1965 et utilisée dans des domaines aussi variés que l automatisme (freins ABS), la robotique… … Wikipédia en Français
logique — 1. logique [ lɔʒik ] n. f. • XIIIe; lat. logica, gr. logikê, de logos « raison » I ♦ 1 ♦ Science ayant pour objet l étude, surtout formelle, des normes de la vérité; « analyse formelle de la connaissance » (Piaget). Logique formelle, logique pure … Encyclopédie Universelle
logique floue — ● loc. f. ►LOGIQUE Logique dans laquelle la véracité d une proposition est un nombre réel de l intervalle [0,1]. Le faux booléen est à un bout (0), le vrai booléen à l autre (1). Avec ce système, on peut dire par exemple si quelque chose est… … Dictionnaire d'informatique francophone
LOGIQUE MATHÉMATIQUE — La logique au sens étroit du terme, c’est à dire la logique formelle par opposition à l’épistémologie ou à la théorie de la connaissance, se propose de donner une théorie de l’inférence formellement valide. Elle considère comme valide toute… … Encyclopédie Universelle
Logique des propositions — Calcul des propositions Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C… … Wikipédia en Français
Logique propositionnelle — Calcul des propositions Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C… … Wikipédia en Français
Logique ternaire — La logique ternaire, ou logique 3 états, est une branche du calcul des propositions qui étend l algèbre de Boole, en considérant en plus des états VRAI et FAUX l état INCONNU. Sommaire 1 Tables de vérité 2 En électronique 3 En informatique … Wikipédia en Français
