開主選單
頭版
隨機
附近
簽到
自定喜好
捐畀維基百科
關於維基百科
免責聲明
搵嘢
組合子邏輯
其他文嘅版本
監視
改
組合子邏輯
(
combinatory logic
)係
Moses Schönfinkel
同
哈斯凱爾·加里
介入嘅一種
符號系統
,用嚟消除數理邏輯當中對變量嘅需要。
呢篇
組合子邏輯
係關於
邏輯
嘅
楔位文章
,重未完成嘅。麻煩你幫手
補充
佢嘅內容。