请输入您要查询的字词:
单词
commutative language
释义
See
CommutativeLanguage
随便看
1012Images
10.1.2 Images
1013Quotients
10.1.3 Quotients
1014SetIsAPimathsfWpretopos
10.1.4 Set is a Π𝖶-pretopos
1015TheAxiomOfChoiceImpliesExcludedMiddle
10.1.5 The axiom of choice implies excluded middle
101TheCategoryOfSets
10.1 The category of sets
102CardinalNumbers
10.2 Cardinal numbers
103OrdinalNumbers
10.3 Ordinal numbers
104ClassicalWellorderings
10.4 Classical well-orderings
105TheCumulativeHierarchy
10.5 The cumulative hierarchy
10SetTheory
10. Set theory
110PatternMatchingAndRecursion
1.10 Pattern matching and recursion
111PropositionsAsTypes
1.11 Propositions as types
111TheFieldOfRationalNumbers
数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。
Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 8:14:58