文学 语义学 释 Formal Semantics 形式语义学 语言学中采用形式化的方法来刻画自然语言语义的一个分支。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- polar mounting
- polar net
- polar night
- polar normal
- polar nucleus
- polar oblateness
- polar observation
- polar of a gauge function
- polar of aircraft
- polar of a nonnegative convex function
- polar of a point
- polar of a pole
- polar of a set
- polar of a subset
- polarogram
- polarograph
- polarographic analysis
- polarographic analysis method
- polarographic catalytic wave
- polarographic electrode
- polarographic maximum
- polarographic maximum suppressor
- polarographic wave
- polarography
- polarography and voltametry