理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- defective
- defective ejaculation
- defective equation
- defective hyperbola
- defective matrix
- defective mutant
- defective number
- defective parabola
- defective rubber
- defective sample
- defective sampling
- defective space
- defective subspace
- defective unit
- defective value
- defect lattice
- defect level
- defect localized state
- defect mode
- defect number
- defect of a function
- defect of a matrix
- defect of anal canal skin
- defect of an operator
- defect of a quadratic form