Kalábovi

Kalábovic wikina

Uživatelské nástroje

Nástroje pro tento web

Historie: • Práce v lambda kalkulu
pitel:msz:lambda2

Práce v lambda kalkulu

Church encoding

T λxy.x
F λxy.y
NOT λx.xFT
AND λxy.xyF
OR λxy.xTy
XOR λxy.x(NOT y)y
EQ λxy.xy(NOT y)
0, 1, 2, 3, … λfx.x
λfx.fx
λfx.f(fx)
λfx.f(f(fx))
λfx.fⁿx
succ λnfx.f(nfx)
add λmnfx.mf(nfx)
mult λmnf.m(nf)
mⁿ λmn.nm
iszero λm.m(λv.FALSE)TRUE
if then else λctf.ctf
tuple λfse.efs
first λp.p(λab.a)1)
second λp.p(λab.b)2)
1)
TRUE
2)
FALSE
/var/www/wiki/data/pages/pitel/msz/lambda2.txt · Poslední úprava: 30. 12. 2022, 13.43:01 autor: 127.0.0.1

Nástroje pro stránku

Kromě míst, kde je explicitně uvedeno jinak, je obsah této wiki licencován pod následující licencí: CC Attribution-Share Alike 4.0 International
CC Attribution-Share Alike 4.0 International Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki