理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- non-stationary universe
- non-steady flow
- non-steady state
- non-steady state water influx
- non-ST elevation myocardial infarction
- non-stellar object
- nonsteroidal antiinflammatory drugs
- non-steroid anti-inflammatory drug，NSAID
- non-stiff
- non stoichiometric compound
- non-stoichiometric compound
- nonstoichiometric compound
- nonstoichiometric crystal
- nonstoichiometry
- nonstop computing
- non-straightness
- non-strategic game
- non-stretching mapping
- non-strict
- non-strictly determined game
- non-strict maximum point
- non-strict minimum point
- non-structural adhesive
- non-structural glulam
- non structural members