Booleanul Bisericii

Această intrare pe subiectele informatică și matematică este doar o schiță . Contribuiți la îmbunătățirea acestuia în conformitate cu convențiile Wikipedia . Urmați sfaturile din desenele de referință 1 , 2 .

În informatică , un Boolean bisericesc este o funcție conceptuală care ia în considerare doi parametri de evaluare leneși (cum ar fi blocurile sau lambdas) și evaluează fie unul, fie celălalt. Conceptul este numit după biserica Alonzo , inventatorul calculului lambda . Există doar doi booleni ai Bisericii: adevărat și fals .

Unele limbaje de programare le folosesc ca model de implementare pentru aritmetica booleană: exemple sunt Smalltalk și Pico .

Definiție formală în calcul lambda :

• vero=λab.a
• falso=λab.b

Portal IT

Portalul de matematică