理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- sequence of statistics
- sequence of stellar spectra
- sequence of sub-dwarfs
- sequence of sub-giants
- sequence of subsets
- sequence of supergiants
- sequence of symbols
- sequence of tests
- sequence of transfinite cardinals
- sequence of transfinite numbers
- sequence of Ulm factors
- sequence of white dwarfs
- sequence polymorphism
- sequencer
- sequence rank
- sequence regularity of polymer chains
- sequence rule
- sequence set
- sequence similarity
- sequence space
- sequence stratigraphy
- sequence structure
- sequence structure of macromolecular chains
- sequence-tagged site
- sequence-tagged sites