組合子邏輯

出自維基百科,自由嘅百科全書
Jump to navigation Jump to search

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