| 释义 |
combinatory, a.|kəmˈbaɪnətərɪ|
[ad. L. type *combīnātōri-us, f. combīnātor: see above and -ory.]
1. Of or pertaining to a combinator or combination; combinative.
1647Maids' Petition 4 Not by way of combinatory siding but down-right honestly intending the increase of the City force. 1669Phil. Trans. IV. 1093 His Combinatory Art..shows how often and how many ways they may be combined together. 1753Chambers Cycl. Supp., Combinatory music, that part of music which teaches the manner of combining sounds variously. 1834Whewell in Todhunter Acc. W.'s Writ. (1876) II. 186 Combinatory modes of conception.
2. combinatory logic, a branch of symbolic logic, concerned especially with the analysis of the processes of substitution and with the elimination of variables.
1929H. B. Curry in Amer. Jrnl. Math. LI. 362 Logical substitution; its relation to a combinatory problem. 1946Mind LV. 281 The first instalment of a new synthesis of combinatory logic. |