Combinatory Logic: Lambda calculus, Moses Schönfinkel, Haskell Curry, Variable (mathematics), Mathematical logic, Computer science, Computation, ... function, SKI combinator calculus - Tapa blanda

 
9786130627645: Combinatory Logic: Lambda calculus, Moses Schönfinkel, Haskell Curry, Variable (mathematics), Mathematical logic, Computer science, Computation, ... function, SKI combinator calculus

Sinopsis

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It has more recently been used in computer science as a theoretical model of computation and also as a basis for the design of functional programming languages. It is based on combinators. A combinator is a higher-order function that uses only function application and earlier defined combinators to define a result from its arguments.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It has more recently been used in computer science as a theoretical model of computation and also as a basis for the design of functional programming languages. It is based on combinators. A combinator is a higher-order function that uses only function application and earlier defined combinators to define a result from its arguments.

"Sobre este título" puede pertenecer a otra edición de este libro.