Lambda-rekening is 'n formele stelsel in wiskundige logika vir die uitdrukking van abstraksie-gebaseerde berekeninge en die toepassing van funksies deur gebruik te maak van binding en veranderlike substitusie. Dit is 'n universele model wat toegepas kan word op die ontwerp van enige Turing-masjien. Die lambda-rekening is die eerste keer in die 1930's deur Cherem, 'n bekende wiskundige, bekendgestel
Die muskuloskeletale stelsel van die menslike liggaam is 'n ware wonderwerk van die natuur. Dit ondersteun alle dele van die liggaam in die regte posisie, beskerm die lewensbelangrike organe en bied ongelooflike beweeglikheid aan die hele liggaam. Die gordel van die boonste ledemate is verantwoordelik vir die heg van die arms aan die aksiale skelet