Turing boolske Typer

I informatikk, er boolske typer ofte brukt til å representere sannhetsverdier av logikk, etter algoritmisk innsikt av matematikeren Alan Turing. Boolsk logikk, som syssels konjunksjonen, disjunksjon og negasjon connectives kjent for programmerere i dag, ble faktisk utviklet mange år før elektroniske datamaskiner truffet markedet. George Boole, navnebror av boolsk logikk, oppdaget en måte å uttrykke logiske problemer i en symbolsk formel, og dermed tar studiet av logikk ut av filosofi og inn i riket av matematikk. De symbolske formler, som uttrykkes ved hjelp av boolske connectives, skulle vise seg å være svært nyttig for å manipulere binære siffer, eller biter, som forblir byggesteinene i alle dataprogram som brukes i dag. Turing er mannen kreditert for å gjøre det viktig sprang.

boolske Typer

Boolske typer kan bare ta på en av to mulige verdier - sant eller usant, som i informatikk, er uttrykt numerisk som 1 og 0. Alle datamaskiner - fra Turing tidligste store maskiner til de nyeste nettbrett og smarttelefoner - bruk bits til gjøre alt. Faktisk begreper som "GB" og "MB", er ganske enkelt multiplum av "byte", som i seg selv betyr at 8 biter.

sammenligning Operators

I programmeringsspråk som har innebygd boolsk variabel, blir sammenligningsoperatorer brukes til å generere boolske uttrykk for 1 eller 0. Disse operatørene - med tilsvarende betydninger i grunnleggende matematikk - er: = (er lik); ikke = (er ikke lik); <(Mindre enn); > (Større enn); > = (Er større enn eller lik).

Ved hjelp av disse sammenligningsoperatorer, kan man generere en sann eller usann svar basert på input. For eksempel, hvis nummer brukes i inngangs, en enkel formel av 4> 5 genererer et resultat av falske, eller 0 som uttrykt i binære betingelser.

boolsk logikk

De fleste programmeringsspråk, selv de uten innebygd boolske typer, bruke boolsk logikk. Dette refererer til beregning av sannhetsverdier (1 og 0) ved anvendelse av fremgangsmåter som ligner på tradisjonelle matte med reelle tall. Operasjonene som brukes i disse formlene er: forbindelse (AND, & *), disjunksjon (OR, |, +), ekvivalens (ekv, =, ==), eksklusive eller / ikke-ekvivalens (XOR, NEQV, ^,! =), og ikke (NOT, ~!).

Turing Machine

Turing Machine er en konseptuell enhet forestilt av Turing; det er beskrevet som et stykke tape som er uendelig lang med et hode som kan lese og skrive symboler. Maskinen kan bevege båndet frem og tilbake, og skrive nye symboler i henhold til forhåndsdefinerte regler. Turing og andre forskere bygget tidlige modeller av Turing Machine bruker boolsk logikk, noe som førte til fødselen av den digitale datamaskinen. Turing Machine fortsatt i dag en nøyaktig beskrivelse av hvordan beregningen fungerer.