In de informatica , Booleaanse soorten worden vaak gebruikt om de waarheid waarden van de logica vertegenwoordigen , naar aanleiding van de algoritmische inzichten van wiskundige Alan Turing . Booleaanse logica , die de conjunctie , disjunctie en negatie connectieven vertrouwd voor programmeurs vandaag telt , was eigenlijk vele jaren ontwikkeld voor elektronische computers op de markt kwam . George Boole , de naamgever van Booleaanse logica , een manier ontdekt om logische problemen uit te drukken in een symbolische formule , waardoor de studie van de logica nemen uit van de filosofie en in het rijk van de wiskunde . Die symbolische formules , zoals uitgedrukt met behulp van Booleaanse connectieven , zou blijken zeer nuttig voor het manipuleren van binaire cijfers , of stukjes , die de bouwstenen van elke gebruikte computerprogramma's blijven vandaag te zijn . Turing is de man gecrediteerd voor het maken van die belangrijke sprong . Boolean Soorten
Boolean types
kan slechts op een van twee mogelijke waarden - waar of onwaar , die in de informatica , numeriek worden uitgedrukt als 1 en 0 . Alle computers - van Turing's vroegste volumineuze machines naar de nieuwste tablets en smartphones - gebruik beetjes om alles te doen . In feite , termen als " gigabyte " en " megabyte " zijn gewoon een veelvoud van " byte ", dat zelf betekent 8 bits .
Vergelijkingsoperatoren
in computertalen die ingebouwd gegevenstype Boolean hebben , worden vergeleken operators gebruikt om Booleaanse uitdrukkingen van 1 of 0 te genereren . Deze operatoren - met gelijke betekenis in elementaire wiskunde - zijn : = ( gelijk aan ) = niet ( niet gelijk aan ) , < ( kleiner dan ) > ( groter dan ) , > = ( groter dan of gelijk aan ) .
Met deze vergelijking operators , kan men een waar of onwaar antwoord basis van de input genereren . Bijvoorbeeld, als nummers worden gebruikt in de input , een eenvoudige formule van 4 > 5 genereert het resultaat van valse , of 0 als uitgedrukt in binaire termen .
Logica
< br meeste programmeertalen > , ook die zonder ingebouwde Booleaanse soorten , gebruik Booleaanse logica . Dit heeft betrekking op de berekening van waarheidswaarden ( 1 en 0 ) procedes Soortgelijke traditionele math met reële getallen . De activiteiten die in deze formules zijn : conjunctie ( AND , & , * ) , disjunctie ( OR , | , + ) , gelijkwaardigheid ( EQV , = , == ) , exclusief of /non - equivalentie ( XOR , NEQV , ^ , ! . = ) , en niet ( nIET , ~ , )
Turing Machine
De Turing Machine is een conceptueel apparaat bedacht door Turing , het is beschreven als een stuk van tape , dat is oneindig lang met een hoofd dat kan lezen en schrijven symbolen . De machine kan de tape vooruit en terug te gaan en schrijf nieuwe symbolen basis van vooraf ingestelde regels . Turing en andere wetenschappers bouwde vroege modellen van de Turing Machine met Booleaanse logica , wat leidde tot de geboorte van de digitale computer . De Turing Machine blijft vandaag een nauwkeurige beschrijving van de wijze waarop berekeningen werkt .
|
