组合子逻辑
Sign in to savelogical formalism using combinators instead of variables
In the Vinony graph
Vinony's link graph records 85 inbound references to 组合子逻辑, and connects out to functional programming, Elsevier and first-order logic.
It is catalogued under topics including Combinatory logic, Lambda calculus and Logic in computer science.
Vinony links it to 22 Wikipedia language editions.
Wikidata facts
- Instance of
- academic discipline
- Subclass of
- logic
Show 3 more facts
- maintained by WikiProject
- WikiProject Mathematics
- Stack Exchange tag
- cstheory.stackexchange.com/tags/combinatory-logic
- topic's main category
- Category:Combinatory logic
Sources (3)
via Wikidata · CC0
Article · 中文
组合子逻辑是和哈斯凱爾·加里介入的一种符号系统，用来消除数理逻辑中对变量的需要。它最近在计算机科学中被用做计算的理论模型和设计函数式编程语言的基础。它所基于的组合子是只使用函数应用或早先定义的组合子来定义从它们的参数得出的结果的高阶函数。
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
functional programming
Entity
Elsevier
Entity
first-order logic
Entity
free and bound variables
Entity
Belgium
Country
YouTube
Concept
computer science
Entity
International Standard Book Number
Entity
digital object identifier
Entity
mathematical logic
Entity
Princeton University
Entity
Turing machine
Entity
OCLC, Inc.
Entity
subset
Entity
associativity
Entity
recursion
Entity
JSTOR
Organization
Oxford University Press
Entity
Willard Van Orman Quine
Entity
Alonzo Church
Entity