文学 语义学 释 Formal Semantics 形式语义学 语言学中采用形式化的方法来刻画自然语言语义的一个分支。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- law of cancellation
- law of categorical syllogism
- law of causation
- law of chance
- law of closure
- law of collision
- law of combination
- law of combining volume of gas
- law of combining weight
- law of combustion heat release
- law of common fate
- law of commutation
- law of commutativity
- law of complementation
- law of composition
- law of compound transposition
- law of conservation and transformation of energy
- law of conservation of angular momentum
- law of conservation of charge
- law of conservation of energy
- law of conservation of mass
- law of conservation of matter
- law of conservation of mechanical energy
- law of conservation of moment of momentum
- law of conservation of momentum