理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- inverse filter
- inverse form
- inverse formula for norms
- inverse Fourier transform
- inverse fraction
- inverse function
- inverse-function element
- inverse-function integration
- inverse-function theorem
- inverse Galois problem
- inverse gas chromatography
- inverse gas chromatography (IGC)
- inverse Gaussian distribution
- inverse geochemical modeling
- inverse Gudermannian
- inverse Gumbel distribution
- inverse haversine
- inverse Holder inequality
- inverse homomorphism
- inverse homothety
- inverse hyperbolic cosecant
- inverse hyperbolic cosine
- inverse hyperbolic cotangent
- inverse hyperbolic function
- inverse hyperbolic secant