Microsoft Store
 

Combinatory logic


 

:This article is about a topic in mathematical logic and theoretical computer science, and is not to be confused with combinatorial logic, a topic in electronics.

(S I (K x) y)

◄ Combinatory logic: (K (S I) x (K x) y)
Combinatory logic: (I y (K x y)) ►

~ Table of Content ~

►Introduction
►Combinatory logic in mathematics
►Combinatory logic in computing
►Summary of the lambda calculus
►Combinatory calculi
►:T] (by 5)
►(S λx.E1 λx.E2 a)
►((S λx.E1 λx.E2) a)
►...
►(S (K (S I)) T)
►(S (K (S I)) K) (by η-reduction)
►(K (S I) x (K x) y)
►(S I (K x) y)
►(I y (K x y))
►(y (K x y))
►(y x)
►T]
►T x)] (by rule 7)
►T
►(C I) (η-reduction)
►C*(traditional canonical notation : X* X I)
►I'(traditional canonical notation: X' C X)
►(I y x)
►(I (S I I) (I (S I I)))
►(S I I (I (S I I)))
►(S I I (S I I))
►(I Z (I Z))
►(Z (I Z))
►(Z Z)
►(C (C (B N (S I I)) Ω) I Z) (definition of Z)
►(C (B N (S I I)) Ω Z I)
►(B N (S I I) Z Ω I)
►(N (S I I Z) Ω I)
►(K Ω I) (definition of N)
►Ω
►(K I Ω I) (definition of N)
►(I I)

 

 

~ What's Hot ~

500 Days Of Summer, Ninja Assassin, The Boondock Saints Ii All Saints Day, 2012, My Sister S Keeper, The Hangover, Clash Of The Titans, The Mummy 4 Rise Of The Aztec, Invictus, Alvin And The Chipmunks The Squeakquel, Twilight, Sorority Row, Avatar, The Princess And The Frog, The Blind Side, The Goods Live Hard Sell Hard, New Moon, The Ugly Truth, Dear John, This Is It,

~ Community ~

►History Forum
Come and discuss about History, Civilizations, Historical Events and Figures
►History Web-Ring
A community of sites, blogs and forums dedicated to History. Do not hesitate to submit your site.

Some of the information on this page come from a Wikipedia article
and are licensed under the GNU Free Documentation License.
Lexicon - Privacy Policy - Spiritus-Temporis.com ©2005.