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.

(C (C (B N (S I I)) Ω) I Z) (definition of Z)

◄ Combinatory logic: (Z Z)
Combinatory logic: (C (B N (S I I)) Ω Z I) ►

~ 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 ~

Cloudy With A Chance Of Meatballs, Alvin And The Chipmunks The Squeakquel, My Sister S Keeper, The Hangover, The Princess And The Frog, I Love You Beth Cooper, Sorority Row, The Mummy 4 Rise Of The Aztec, 500 Days Of Summer, The Boondock Saints Ii All Saints Day, Up In The Air, Terminator 5, Dear John, Avatar, New Moon, Clash Of The Titans, Hannah Montana The Movie, The Goods Live Hard Sell Hard, The Blind Side, The Time Traveler S Wife,

~ 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.