combinatory logic

Get Babylon's Translation Software! Free Download Now!
Babylon 8 - Your all-in-one solution
Award winning translation software trusted by millions. Translate from any language to any language.
View Demo


Wikipedia 维基中文 免费百科全书Download this dictionary
组合子逻辑
组合子逻辑是 Moses Schönfinkel 和 Haskell Curry 介入的一种符号系统，用来消除数理逻辑中对变量的需要。它最近在计算机科学中被用做计算的理论模型和设计函数式编程语言的基础。它所基于的组合子是只使用函数应用或早先定义的组合子来定义从它们的参数得出的结果的高阶函数。
访问 Wikipedia.org... 网页

本文章的材料选自维基百科(R), 并有 GNU 免费文件许

Define combinatory logic

Translate combinatory logic





| combinatory logic in 英语 | combinatory logic in 法语 | combinatory logic in 西班牙语 | combinatory logic in 德语 | combinatory logic in 俄语 | combinatory logic in Serbian