沃新书屋 - Combinatory logic Volume 1 - 出版社:North-Holland Pub. Co

North-Holland Pub. Co

出版社信息:

类型:

成立时间:

出版社特色:

出版社简介:

暂无相关内容,正在全力查找中


Combinatory logic Volume 1书籍相关信息

Combinatory logic Volume 1精美图片
  • ISBN:9780720422085
  • 作者:Haskell B Curry / Robert Feys / William Craig
  • 出版社:North-Holland Pub. Co
  • 出版时间:1958
  • 页数:425
  • 价格:暂无价格
  • 纸张:暂无纸张
  • 装帧:Hardcover
  • 开本:暂无开本
  • 语言:暂无语言
  • 适合人群:Mathematicians, Logicians, Computer Scientists, Philosophers, Students of Semiotics, and anyone interested in the foundations of mathematics and computation
  • TAG:Philosophy / Computer Science / Mathematics / Semiotics / Logic
  • 豆瓣评分:暂无豆瓣评分
  • 更新时间:2025-05-20 20:57:48

内容简介:

Combinatory logic is a notation to eliminate the need for quantified variables in mathematical logic. It was introduced by Moses Schönfinkel and Haskell Curry, and 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.