理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- uniformly bounded below
- uniformly bounded sequence
- uniformly bounded series
- uniformly bounded set
- uniformly Cauchy
- uniformly Cauchy series
- uniformly closed space
- uniformly compact space
- uniformly consistent test
- uniformly continuity
- uniformly continuous
- uniformly continuous function
- uniformly continuous mapping
- uniformly continuous operator
- uniformly continuous set
- uniformly convergent
- uniformly convergent algebra
- uniformly convergent product
- uniformly convergent sequence
- uniformly convergent series
- uniformly convergent theorem
- uniformly convex
- uniformly convex Banach space
- uniformly convex [Banach] space
- uniformly convex space