请输入您要查询的字词:
单词
pseudometric topology
释义
See
PseudometricTopology
随便看
2.9 Π-types and the function extensionality axiom
2groupoid
2-groupoid
2HomotopyTypeTheory
2. Homotopy Type Theory
2omeganletaunle2Omegan
2StochasticMaps
2. Stochastic maps
2^{ω(n)}≤τ(n)≤2^{Ω(n)}
310WhenArePropositionsTruncated
3.10 When are propositions truncated?
311Contractibility
3.11 Contractibility
31SetsAndNtypes
3.1 Sets and n-types
32PropositionsAsTypes
3.2 Propositions as types?
33MerePropositions
3.3 Mere propositions
34ClassicalVsIntuitionisticLogic
3.4 Classical vs. intuitionistic logic
35SubsetsAndPropositionalResizing
3.5 Subsets and propositional resizing
36TheLogicOfMerePropositions
3.6 The logic of mere propositions
数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。
Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 16:37:44