April 6
In informatica, i tipi booleani sono spesso utilizzati per rappresentare i valori di verità della logica, seguendo le intuizioni algoritmiche del matematico Alan Turing. logica booleana, che impiega la congiunzione, disgiunzione e negazione connettivi familiare ai programmatori di oggi, è stato effettivamente sviluppato molti anni prima che i calcolatori elettronici ha colpito il mercato. George Boole, l'omonimo di logica booleana, ha scoperto un modo per esprimere problemi logici in una formula simbolica, prendendo in tal modo lo studio della logica di filosofia e nel regno della matematica. Quelle formule simboliche, come espresso utilizzando connettivi booleani, sarebbero rivelarsi estremamente utile per la manipolazione di cifre binarie, o bit, che rimangono gli elementi costitutivi di ogni programma per computer usato oggi. Turing è l'uomo accreditato per fare quel salto importante.
tipi booleani possono assumere solo uno dei due valori possibili - vero o falso, che in informatica, sono espressi in cifre come 1 e 0. Tutti i computer - da prime macchine ingombranti di Turing alle ultime tablet e smartphone - uso bit per fare tutto. Infatti, termini quali "gigabyte" e "megabyte" sono semplicemente multipli di "byte" che si significa 8 bit.
In linguaggi di programmazione che sono incorporati tipo di dati booleano, operatori di confronto sono usati per generare espressioni booleane di 1 o 0. Questi operatori - con significati simili in matematica di base - sono: = (è uguale a); Non = (non è uguale); <(È minore di); > (È maggiore di); > = (È maggiore o uguale a).
Utilizzando questi operatori di confronto, si può generare una risposta vera o falsa base all'input. Ad esempio, se i numeri sono usati in ingresso, una semplice formula 4> 5 genera il risultato di falso o 0 come espresso in termini binari.
La maggior parte dei linguaggi di programmazione, anche quelli senza built-in tipi booleani, utilizzare la logica booleana. Questo si riferisce al calcolo dei valori di verità (1 e 0) usando processi simili a matematica tradizionale con numeri reali. Le operazioni utilizzati in queste formule sono: congiunzione (AND, &, *), disgiunzione (OR, |, +), l'equivalenza (EQV, =, ==), esclusiva o / non equivalenza (XOR, NEQV, ^,! =), e non (NOT, ~,!).
La macchina di Turing è un dispositivo concettuale immaginata da Turing; è descritto come un pezzo di nastro che è infinitamente lungo con una testa che può leggere e scrivere simboli. La macchina può spostare il nastro avanti e indietro e scrivere nuovi simboli secondo regole predefinite. Turing e altri scienziati costruiti i primi modelli della Macchina di Turing utilizzando la logica booleana, che ha portato alla nascita del computer digitale. La macchina di Turing rimane oggi una descrizione accurata di come funziona il calcolo.