Types de Turing booléennes

June 21

Types de Turing booléennes


En informatique, les types booléens sont souvent utilisés pour représenter les valeurs de vérité de la logique, suivant les idées algorithmiques du mathématicien Alan Turing. la logique booléenne, qui emploie la conjonction, disjonction et la négation conjonctions familières aux programmeurs d'aujourd'hui, a été effectivement mis au point de nombreuses années avant que les ordinateurs électroniques ont frappé le marché. George Boole, l'homonyme de la logique booléenne, a découvert un moyen d'exprimer des problèmes logiques dans une formule symbolique, prenant ainsi l'étude de la logique de la philosophie et dans le domaine des mathématiques. Ces formules symboliques, telle qu'elle est exprimée en utilisant conjonctions booléennes, se révélera être extrêmement utile pour manipuler des chiffres binaires, ou bits, qui restent les éléments constitutifs de chaque programme informatique utilisé aujourd'hui. Turing est l'homme crédité pour faire ce saut importante.

Types booléens

types booléennes ne peuvent prendre l'une des deux valeurs possibles - vrai ou faux, qui, dans la science informatique, sont exprimés numériquement comme 1 et 0. Tous les ordinateurs - des premières machines de Turing encombrants aux dernières tablettes et smartphones - utilisation bits faire tout. En fait, les termes tels que «giga-octet" et "méga-octet" sont simplement des multiples de "byte", qui lui-même des moyens 8 bits.

opérateurs de comparaison

Dans les langages informatiques qui ont intégré dans le type de données booléen, les opérateurs de comparaison sont utilisés pour générer des expressions booléennes de 1 ou 0. Ces opérateurs - avec des significations similaires dans les mathématiques de base - sont: = (est égal à); = non (pas est égal à); <(Inférieur); > (Est supérieure); > = (Est supérieur ou égal à).

L'utilisation de ces opérateurs de comparaison, on peut générer une réponse vraie ou fausse basée sur l'entrée. Par exemple, si les numéros sont utilisés dans l'entrée, une formule simple de 4> 5 génère le résultat de faux, ou 0 exprimée en termes binaires.

logique booléenne

La plupart des langages de programmation, même ceux sans intégré types booléens, utilisent la logique booléenne. Ceci se rapporte au calcul des valeurs de vérité (1 et 0) en utilisant des procédés similaires à mathématique classique avec des nombres réels. Les opérations utilisées dans ces formules sont: conjonction (ET, &, *), disjonction (OR, |, +), l'équivalence (BQE, =, ==), ou exclusif / non-équivalence (XOR, NEQV, ^,! =), et non (NOT, ~,!).

machine de turing

La machine de Turing est un dispositif conceptuel imaginé par Turing; il est décrit comme un morceau de ruban adhésif qui est infiniment long avec une tête qui peut lire et écrire des symboles. La machine peut déplacer la bande vers l'avant et en arrière et écrire de nouveaux symboles selon des règles préétablies. Turing et d'autres scientifiques ont construit les premiers modèles de la machine de Turing en utilisant la logique booléenne, qui a conduit à la naissance de l'ordinateur numérique. La machine de Turing reste aujourd'hui une description précise de la façon dont fonctionne le calcul.


          

Post a comment: