理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- saturation magnetostriction
- saturation mutagenesis
- saturation order
- saturation phenomenon of approximation
- saturation point
- saturation pressure of reservoir-crude
- saturation pump
- saturation scale
- saturation spectroscopy
- saturation transfer
- saturation value of dyeing
- saturation vapour pressure
- saturator
- Saturday Night and Sunday Morning
- Saturday Review
- saturex
- saturite
- Saturn
- Saturn-crossing asteroid
- Saturn exploration
- Saturnian ring
- Saturnian ringlet
- Saturnian satellite
- saturnicentric coordinate
- saturnicentric latitude