文学 语义学 释 Formal Semantics 形式语义学 语言学中采用形式化的方法来刻画自然语言语义的一个分支。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- sigma-function
- sigma-group
- Sigma hypernucleus
- sigma hypernucleus
- Sigma hyperon
- sigma hyperon
- sigma-ideal
- Sigma index method
- sigma-locally finite family
- sigma measure
- sigma-measure
- sigma meson
- sigma model
- Sigma_n-form
- Sigma_n/Pi_n/Delta_n-complete set
- Sigma_n/Pi_n/Delta_n-完全集
- Sigma_n/Pi_n/Delta_n完全集
- Sigma_n形式
- sigma orbital
- Sigma photo lens
- sigma pi coordination bond
- sigma-pi coordination bond
- sigma pi配键
- sigma-pi配键
- Sigma^p_k class