Bezmaksas piegāde pasūtījumiem virs 29€

  • check 10+ miljoni grāmatu
  • check Jaunumi katru dienu
  • check Vairāk nekā 1 miljons klientu mums uzticas
  • check Labas cenas un atlaides
  • check Piegāde visā Eiropā

SKI Combinator Calculus: Model of Computation, Binary Trees, Lambda Calculus, Boolean Logic, Sentential Logic -

angļu valoda
2026-03-17
157,17 € 224,53 €

-30% ar kodu BOOKS

Piegādātāja noliktavā

Piegāde 15-21 darba dienu laikā

30 dienu atgriešanas politika

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. SKI combinator calculus is a computational system that may be perceived as a reduced version of untyped Lambda calculus. All operations in Lambda calculus are expressed in SKI as binary trees whose leaves are one of the three symbols S, K, and I (called combinators). In fact, the s ... Pilns apraksts

Jums varētu patikt arī

Aprašymas

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. SKI combinator calculus is a computational system that may be perceived as a reduced version of untyped Lambda calculus. All operations in Lambda calculus are expressed in SKI as binary trees whose leaves are one of the three symbols S, K, and I (called combinators). In fact, the symbol I is added only for convenience, and just the other two suffice for all of the purposes of the SKI system. Although the most formal representation of the objects in this system requires binary trees, they are usually represented, for typesettability, as parenthesized expressions, either with all the subtrees parenthesized, or only the right-side children subtrees parenthesized. So, the tree whose left subtree is the tree KS and whose right subtree is the tree SK is usually typed as ((KS)(SK)), or more simply as KS(SK), instead of being fully drawn as a tree (as formality and readability would require).

Vairāk informācijas

Izdevējs OmniScriptum
Izlaides gads 2026
Vāka tips Mīkstais vāks
EAN 9786130581015
Rakstiet savu atsauksmi
Jūs vērtējat: SKI Combinator Calculus: Model of Computation, Binary Trees, Lambda Calculus, Boolean Logic, Sentential Logic
Jūsu novērtējums:

Goodreads atsauksmes

157,17 € 224,53 €