我們這一節要介紹的就是數學家原本用來表示函數的方法,也就是Lambda'λ'. 符號的使用。 (17)Lambda 表達法I a. λ的句法: (i) [λx : x∈Dα. Predicate(x)] ...
確定! 回上一頁