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

 
9786130627645: Combinatory Logic: Lambda calculus, Moses Schönfinkel, Haskell Curry, Variable (mathematics), Mathematical logic, Computer science, Computation, ... function, SKI combinator calculus
Brossura
ISBN 10: 6130627645 ISBN 13: 9786130627645
Casa editrice: Alphascript Publishing, 2010

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Alphascript Publishing
Data di pubblicazione
2010
Lingua
Inglese
ISBN 10 
6130627645
ISBN 13 
9786130627645
Rilegatura
Copertina flessibile
Numero di pagine
96
Redattore
Miller Frederic P., Vandome Agnes F., McBrewster John
Contatto del produttore
non disponibile
Persona responsabile
non disponibile