Tipos de Turing booleanas

En informática, tipos booleanos se utilizan a menudo para representar los valores de verdad de la lógica, siguiendo las ideas algorítmicas de matemático Alan Turing. La lógica booleana, que emplea la conjunción, disyunción y negación conectivas familiares para los programadores de hoy, se desarrolló en realidad muchos años antes de los ordenadores electrónicos lleguen al mercado. George Boole, el homónimo de la lógica booleana, descubrió una manera de expresar los problemas lógicos en una fórmula simbólica, teniendo así el estudio de la lógica de la filosofía y en el reino de las matemáticas. Esas fórmulas simbólicas, como se expresa mediante conectores booleanos, resultaría ser extremadamente útiles para la manipulación de dígitos binarios, o bits, que siguen siendo los componentes básicos de cualquier programa de ordenador utilizado en la actualidad. Turing es el hombre acreditado para hacer que importante salto.

Tipos de Boole

tipos booleanos sólo pueden tomar uno de dos valores posibles - verdadera o falsa, lo que en informática, se expresan numéricamente como 1 y 0. Todos los equipos - desde las máquinas de Turing voluminosos primeras a las últimas tabletas y teléfonos inteligentes - bits de uso de hacer todo. De hecho, los términos tales como "gigabyte" y "megabyte" son simplemente múltiplos de "byte", que a su vez significa que 8 bits.

Los operadores de comparación

En los lenguajes de programación que se han incorporado en el tipo de datos Boolean, operadores de comparación se utilizan para generar expresiones booleanas de 1 o 0. Estos operadores - con significados similares en matemáticas básicas - son: = (es igual a); no = (no es igual a); <(Es menor que); > (Es mayor que); > = (Es mayor que o igual a).

El uso de estos operadores de comparación, se puede generar una respuesta verdadera o falsa basándose en la entrada. Por ejemplo, si los números se utilizan en la entrada, una fórmula simple de 4> 5 genera el resultado de falso o 0 como se expresa en términos binarios.

Logica booleana

La mayoría de los lenguajes de programación, incluso los que no tienen una función de los tipos de Boole, usan la lógica booleana. Esto se refiere al cálculo de los valores de verdad (1 y 0) mediante procesos similares a las matemáticas tradicional con números reales. Las operaciones utilizados en estas fórmulas son: conjunción (Y, & *), disyunción (OR, |, +), la equivalencia (EQV, =, ==), exclusiva o / no equivalencia (XOR, NEQV, ^,! =), y no (nO, ~,!).

máquina de Turing

La máquina de Turing es un dispositivo conceptual imaginado por Turing; es descrito como un trozo de cinta que es infinitamente larga con una cabeza que puede leer y escribir símbolos. La máquina puede mover la cinta hacia adelante y hacia atrás y escribir nuevos símbolos según reglas preestablecidas. Turing y otros científicos construyeron los primeros modelos de la máquina de Turing usando la lógica de Boole, que dio lugar al nacimiento de la computadora digital. La máquina de Turing sigue siendo hoy en día una descripción exacta de cómo funciona la computación.