Logotyp
Unionpedia
Kommunikation
Ladda ned på Google Play
Ny! Ladda ner Unionpedia på din Android™-enhet!
Installera
Snabbare tillgång än webbläsare!
 

Sheffers streck

Index Sheffers streck

Sheffers streck är ett logiskt konnektiv, som symboliseras med tecknet | eller alternativt ↑.

7 relationer: Binär operator, Digitalteknik, Henry M. Sheffer, Logisk operator, NAND, Principia Mathematica, Satslogik.

Binär operator

En binär operator, dyadisk operator, inre komposition eller binär operation är inom matematiken en kalkylering eller en operation med två indatakvantiteter, d.v.s. en operator med aritet 2.

Ny!!: Sheffers streck och Binär operator · Se mer »

Digitalteknik

En signal i ett digitalt system ligger i något av två spänningsintervall. De i övre intervallet representerar logiskt 1 och signaler i det undre logiskt 0. Intervallen är väl åtskilda med ett mellanliggande förbjudet område där signalen är odefinierad. grindar per kapsel är vanligt. Digitalteknik är ett område inom både elektroniken och datavetenskapen som handlar om analys och konstruktion av digitala nät.

Ny!!: Sheffers streck och Digitalteknik · Se mer »

Henry M. Sheffer

Henry M. Sheffer, född 1882, död 1964, amerikansk logiker, inskriven i logikhistorien som upphovsman till det så kallade Sheffers streck.

Ny!!: Sheffers streck och Henry M. Sheffer · Se mer »

Logisk operator

En logisk operator är ett konnektiv inom satslogiken, vilket används för att sammanfoga två eller flera satser.

Ny!!: Sheffers streck och Logisk operator · Se mer »

NAND

NAND, not-AND, är en logisk operator, en logisk funktion som är negation av logisk konjunktion.

Ny!!: Sheffers streck och NAND · Se mer »

Principia Mathematica

Principia Mathematica är ett monumentalt verk om matematikens grunder, författat av Alfred North Whitehead och Bertrand Russell, som publicerades i tre volymer 1910–1913.

Ny!!: Sheffers streck och Principia Mathematica · Se mer »

Satslogik

Satslogiken är ett formellt logiskt system med väldefinierad syntax, avsett att symboliskt hantera språkliga satser, vilka uttrycker påståenden, och från dessa med giltiga slutledningar, dra slutsatser.

Ny!!: Sheffers streck och Satslogik · Se mer »

UtgåendeInkommande
Hallå! Vi är på Facebook nu! »