組合子邏輯

出自維基百科,自由嘅百科全書
跳去導覽 跳去搵嘢

組合子邏輯combinatory logic)係 Moses Schönfinkel哈斯凱爾·加里介入嘅一種符號系統,用嚟消除數理邏輯當中對變量嘅需要。