所有数学知识-数学辞典

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

00IsPossibleAndHasAnAnswer	0/0 is possible and has an answer	0ne1AsRealNumbers	0≠1 as real numbers	1011LimitsAndColimits
10.1.1 Limits and colimits	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	11.1 The field of rational numbers	1121PathInduction	1.12.1 Path Induction	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	11.4 Comparison of Cauchy and Dedekind reals
115CompactnessOfTheInterval	11.5 Compactness of the interval	116TheSurrealNumbers	11.6 The surreal numbers	11nnIsAnIncreasingSequence
(1+1/n)^n is an increasing sequence	11RealNumbers	11. Real numbers	11TypeTheoryVersusSetTheory	1.1 Type theory versus set theory
12FunctionTypes	1.2 Function types	13UniversesAndFamilies	1.3 Universes and Families	14DependentFunctionTypes
1.4 Dependent function types	15ProductTypes	1.5 Product types	15Puzzle	15 Puzzle
16DependentPairTypes	1.6 Dependent pair types	17CoproductTypes	1.7 Coproduct types	18TheTypeOfBooleans
1.8 The type of booleans	196sReverseAndAddSequenceTo1000Terms	196’s reverse and add sequence to 1000 terms	19TheNaturalNumbers	1.9 The natural numbers
1fracalphannIsMonotoneForLargeN	1Introduction	1. Introduction	1 Notes on the Preface	(1+α/n)^n is monotone for large n
210UniversesAndTheUnivalenceAxiom	2.10 Universes and the univalence axiom	211IdentityType	2.11 Identity type	212Coproducts
2.12 Coproducts	213NaturalNumbers	2.13 Natural numbers	2141LiftingEquivalences	2.14.1 Lifting equivalences
2142EqualityOfSemigroups	2.14.2 Equality of semigroups	214ExampleEqualityOfStructures	2.14 Example: equality of structures	215UniversalProperties
2.15 Universal properties	21TypesAreHigherGroupoids	2.1 Types are higher groupoids	22FunctionsAreFunctors	2.2 Functions are functors
23Tree	2-3 tree	23TypeFamiliesAreFibrations	2.3 Type families are fibrations	24HomotopiesAndEquivalences
[首页] [上一页] [1] [2] [3] [4] [5] [6] [7] [下一页] [末页] 共有 18232 条记录页次: 1/152