术语 · Terminology

术语翻译表

每个英文术语下可以有几个数学义项。本站译名都有外文出处或参考链接，采用中文教材的通行写法；觉得译名不妥可以在义项页建议改译，缺少的出处可以在左侧「资料补充」里筛出来补充。

全部术语

分类按义项归入，词形出现在它各义项所属的分类下，查看分类说明

共 2515 个术语

术语

中文译名

2371 realizability 具现 1

2372 rewriting 重写 1

2373 semi-axiomatic sequent calculus 半公理化相继式演算 1

2374 sequent 相继式 1

2375 sequent calculus 相继式演算 1

2376 snip rule 剪规则 1

2377 structural logic 结构逻辑 1

2378 structural rule 结构性规则 1

2379 subformula 子公式 1

2380 substructural logic 亚结构逻辑 1

2381 succedent 后件 1

2382 term 项 1

2383 true 真 1

2384 truth value 真值 1

2385 weakening rule 弱化规则 1

2386 well-formed 良形式 1

2387 formal grammar 形式文法 1

2388 realizer 具现子 1

2389 reduction 归约 1

2390 abstract type 抽象类型 1

2391 axiom of resizing 降级公理 1

2392 bottom type 底类型 1

2393 capture-avoiding substitution 避免捕获的替换 1

2394 computation rule 计算规则 1

2395 constructor 构造子 1

2396 context 语境 1

2397 coproduct type 余积类型 1

2398 cubical type theory 立方类型论 1

2399 currying Curry 化 1

2400 dependent sum 依值和 1