| 释义 |
irredundant, a. Math.|ɪrɪˈdʌndənt|
[f. ir-2 + redundant a.]
Containing no redundant elements.
1925A. Church in Trans. Amer. Math. Soc. XXVII. 318 A set of postulates is irredundant if the postulates are independent and no one of them can be weakened with respect to the set. 1957IBM Jrnl. Res. & Devel. I. 175/2 To be irredundant the statement has to involve the complete list of reasons which are necessary and sufficient to make this prime implicant dispensable. 1965R. E. Miller Switching Theory I. 195 An ‘irredundant cover’ of a complex has the property that if any cube is eliminated from the cover, the resulting set of cubes is no longer a cover. 1966Math. Rev. XXXI. 37/1 A factorization a = a1 a2{ddd}am of a into simple factors is irredundant if no product ai ai + 1{ddd}ai+ p, p > 0, is simple.
Hence irreˈdundance, irreˈdundancy ns., the property of being irredundant.
1925Trans. Amer. Math. Soc. XXVII. 320 (heading) A criterion for irredundance. 1952Proc. Amer. Catholic Philos. Assoc. XXVI. 112, f fulfills the irredundancy requirement. 1960IRE Trans. Electronic Computers IX. 248/2 Comparing all the resulting implications for irredundancy. |