“sequent”的概念、定义、习题解题方法及翻译-数学辞典

单词	sequent
释义	SeeSequent
随便看	1121TheAlgebraicStructureOfDedekindReals 11.2.1 The algebraic structure of Dedekind reals 1122DedekindRealsAreCauchyComplete 11.2.2 Dedekind reals are Cauchy complete 1122EquivalenceOfPathInductionAndBasedPathInduction 1.12.2 Equivalence of path induction and based path induction 1123DedekindRealsAreDedekindComplete 11.2.3 Dedekind reals are Dedekind complete 1123Disequality 1.12.3 Disequality 112DedekindReals 11.2 Dedekind reals 112IdentityTypes 1.12 Identity types 1131ConstructionOfCauchyReals 11.3.1 Construction of Cauchy reals 1132InductionAndRecursionOnCauchyReals 11.3.2 Induction and recursion on Cauchy reals 1133TheAlgebraicStructureOfCauchyReals 11.3.3 The algebraic structure of Cauchy reals 1134CauchyRealsAreCauchyComplete 11.3.4 Cauchy reals are Cauchy complete 113CauchyReals 11.3 Cauchy reals 114ComparisonOfCauchyAndDedekindReals

数学辞典收录了18232条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。