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.

(K Ω I) (definition of N)

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

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

Avatar, Alvin And The Chipmunks The Squeakquel, The Princess And The Frog, New Moon, Cedar Boys, Hannah Montana The Movie, Twilight, Madagascar 3, Ninja Assassin, The Ugly Truth, 500 Days Of Summer, The Mummy 4 Rise Of The Aztec, Dear John, Sorority Row, Fantastic Mr Fox, Cloudy With A Chance Of Meatballs, The Boondock Saints Ii All Saints Day, The Goods Live Hard Sell Hard, The Blind Side, My Sister S Keeper,

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