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.

(I y x)

◄ Combinatory logic: I'(traditional canonical notation: X' C X)
Combinatory logic: (I (S I I) (I (S I 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 ~

The Boondock Saints Ii All Saints Day, The Blind Side, Fantastic Mr Fox, The Ugly Truth, New Moon, 2012, Twilight, The Time Traveler S Wife, Transylmania, Avatar, Sorority Row, Percy Jackson The Olympians The Lightning Thief, The Princess And The Frog, The Goods Live Hard Sell Hard, Hannah Montana The Movie, Ninja Assassin, 500 Days Of Summer, My Sister S Keeper, The Mummy 4 Rise Of The Aztec, Alvin And The Chipmunks The Squeakquel,

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