理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- micro-oscillation
- micro oscillator
- micropackage
- micropaleontology
- micropaleontology analysis
- micro particle image velocimetry
- microparticle nonlinear optics
- micro-pattern gas detector
- micropayment
- micropayments
- micro-penetration hardness
- micro perforated panel absorption
- micro-perforated panel sound absorber
- micro-perforated silencer
- microperiodic
- microperoxisome
- micro-PET
- microphage
- microphase domain
- microphase region
- microphase separation of block copolymers
- microphone
- microphone array
- microphone calibration
- microphone for speech communications