Combinatory logic lambda calculus (6 risultati)

Taschenbuch. Condizione: Neu. Combinatory Logic | Lambda calculus, Moses Schönfinkel, Haskell Curry, Variable (mathematics), Mathematical logic, Computer science, Computation, Functional programming, Higher-order function, SKI combinator calculus | Frederic P. Miller (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786130627645 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.…

Taschenbuch. Condizione: Neu. Iota and Jot | Lambda Calculus, Combinatory Logic, Esoteric Programming Language | Lambert M. Surhone (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786133167865 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.…

Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. Iota and itssuccessor Jot (from Greek iota, Hebrew yodh, the smallest letters inthose two alphabets) are Turing tarpits, esoteric programming languagesthat are designed to be as small as possible but still Turing-complete.Each uses two symbols and involves two operations, with simpledenotational semantics defined in terms of lambda calculus. Zot is acontinuized version of Iota that includes input and output.…

Taschenbuch. Condizione: Neu. To Mock a Mockingbird | Mathematician, Raymond Smullyan, Logician, Combinatory Logic, Metamathematics, Ornithological, Metaphor, Lambda Calculus | Lambert M. Surhone (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786131041792 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.…

Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Unlambda is a minimal, 'nearly pure' functional programming language invented by David Madore. It is based on combinatory logic, a version of the lambda calculus that omits the lambda operator. It relies mainly on two built-in functions (s and k) and an 'apply' operator (written ', the backquote character). These alone make it Turing-complete, but there are also some I/O functions to make it possible to interact with the user, some shortcut functions and a function for lazy evaluation. There are no variables in the language.…

Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic is a book by the mathematician and logician Raymond Smullyan. It contains many nontrivial recreational puzzles of the sort for which Smullyan is well-known. It is also a gentle and humorous introduction to combinatory logic and the associated metamathematics, built on an elaborate ornithological metaphor.Combinatory logic, functionally equivalent to the lambda calculus, is a branch of symbolic logic having the expressive power of set theory, and with deep connections to questions of computability and provability.…